| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| 0-README-FIRST | 18-Aug-2010 10:27 | 291 | ||
| 2010-Even-Odd-DeMorg..> | 25-Oct-2010 09:06 | 604 | ||
| 20100830-HW1.txt | 27-Sep-2010 15:49 | 705 | ||
| 20100830-WelcomeMsg.txt | 30-Aug-2010 13:09 | 1.9K | ||
| 20100831-FreeDiscret..> | 31-Aug-2010 10:17 | 756 | ||
| 20100901-1to1Corr-Co..> | 01-Sep-2010 20:26 | 1.1K | ||
| 20100901-HW1--CORREC..> | 01-Sep-2010 13:54 | 357 | ||
| 20100901-LectureNote..> | 01-Sep-2010 14:42 | 942 | ||
| 20100902-RealNumbers..> | 02-Sep-2010 10:50 | 709 | ||
| 20100904-HW1.txt | 04-Sep-2010 09:32 | 1.3K | ||
| 20100907-HW1.txt | 08-Sep-2010 09:01 | 733 | ||
| 20100908-HW1-Barber.txt | 08-Sep-2010 21:21 | 729 | ||
| 20100908-HW1-Consist..> | 08-Sep-2010 21:29 | 6.0K | ||
| 20100908-HW1-Convers..> | 08-Sep-2010 21:29 | 815 | ||
| 20100908-HW1-IfThen.txt | 08-Sep-2010 21:19 | 1.3K | ||
| 20100908-HW1.txt | 08-Sep-2010 09:06 | 500 | ||
| 20100908-SyllabusUpd..> | 08-Sep-2010 14:11 | 212 | ||
| 20100909-Consistency..> | 09-Sep-2010 20:36 | 1.1K | ||
| 20100909-HW1-Barber.txt | 09-Sep-2010 20:08 | 686 | ||
| 20100909-HW1-IfThen.txt | 09-Sep-2010 18:16 | 1.9K | ||
| 20100910-HW2-PageCor..> | 10-Sep-2010 19:58 | 357 | ||
| 20100912-HW2-FnlComp..> | 12-Sep-2010 19:42 | 6.4K | ||
| 20100913-LectureNote..> | 13-Sep-2010 10:22 | 348 | ||
| 20100913-Syllabus Up..> | 13-Sep-2010 13:56 | 214 | ||
| 20100914-Alg-Logical..> | 14-Sep-2010 10:08 | 917 | ||
| 20100914-HW2-FnlComp..> | 14-Sep-2010 20:09 | 1.9K | ||
| 20100915-HW2-Functio..> | 15-Sep-2010 09:51 | 3.3K | ||
| 20100915-RapaportOff..> | 15-Sep-2010 16:02 | 329 | ||
| 20100916-HW2-No.2-p...> | 16-Sep-2010 20:05 | 664 | ||
| 20100916-LogicalEqui..> | 16-Sep-2010 10:36 | 2.3K | ||
| 20100917-EmailAttach..> | 17-Sep-2010 08:33 | 277 | ||
| 20100917-Proposition..> | 17-Sep-2010 18:52 | 563 | ||
| 20100918-HW2-Answers..> | 18-Sep-2010 19:49 | 286 | ||
| 20100919-FOL-Transla..> | 19-Sep-2010 20:38 | 2.3K | ||
| 20100919-ProgVerific..> | 19-Sep-2010 16:43 | 1.9K | ||
| 20100920-HW1-Barber.txt | 20-Sep-2010 09:15 | 598 | ||
| 20100921-FINAL_EXAM.txt | 21-Sep-2010 10:16 | 363 | ||
| 20100921-HW3.txt | 21-Sep-2010 10:53 | 922 | ||
| 20100922-HW2-Functio..> | 23-Sep-2010 10:55 | 778 | ||
| 20100922-HW3.txt | 23-Sep-2010 11:26 | 1.1K | ||
| 20100922-LectureNote..> | 23-Sep-2010 11:27 | 430 | ||
| 20100922-SyllabusUpd..> | 22-Sep-2010 13:49 | 185 | ||
| 20100923-Barber.txt | 23-Sep-2010 13:19 | 1.9K | ||
| 20100923-Domains.txt | 23-Sep-2010 11:36 | 1.1K | ||
| 20100923-FOL.txt | 23-Sep-2010 11:29 | 1.2K | ||
| 20100923-HW2-Functio..> | 23-Sep-2010 14:33 | 2.9K | ||
| 20100923-HW2.txt | 24-Sep-2010 10:45 | 1.0K | ||
| 20100923-HW3.txt | 24-Sep-2010 10:44 | 3.3K | ||
| 20100923-ToyGuns.txt | 23-Sep-2010 14:43 | 435 | ||
| 20100924-HW3.txt | 24-Sep-2010 10:54 | 5.4K | ||
| 20100924-Meeting-Off..> | 24-Sep-2010 10:56 | 409 | ||
| 20100924-SyllabusUpd..> | 24-Sep-2010 13:41 | 214 | ||
| 20100925-HW1.txt | 27-Sep-2010 08:42 | 10K | ||
| 20100925-HW2.txt | 27-Sep-2010 08:35 | 808 | ||
| 20100926-HW1.txt | 27-Sep-2010 08:58 | 15K | ||
| 20100926-HW4.txt | 30-Sep-2010 10:26 | 3.2K | ||
| 20100927-FOL.txt | 27-Sep-2010 15:48 | 425 | ||
| 20100927-HW-Papers.txt | 27-Sep-2010 15:50 | 251 | ||
| 20100927-HW4.txt | 27-Sep-2010 14:49 | 1.9K | ||
| 20100928-HW3.txt | 28-Sep-2010 08:52 | 294 | ||
| 20100928-HW4.txt | 28-Sep-2010 08:50 | 700 | ||
| 20100928-OfficeHours..> | 28-Sep-2010 08:51 | 918 | ||
| 20100929-FOL-LewisCa..> | 29-Sep-2010 10:01 | 515 | ||
| 20100929-FOL-Sect.1...> | 29-Sep-2010 13:07 | 3.0K | ||
| 20100929-HW4.txt | 30-Sep-2010 10:27 | 846 | ||
| 20100930-HW4.txt | 30-Sep-2010 10:28 | 1.2K | ||
| 20100930-HWformat.txt | 30-Sep-2010 13:03 | 853 | ||
| 20101001-HW4.txt | 01-Oct-2010 08:50 | 3.1K | ||
| 20101001-HWformat.txt | 01-Oct-2010 13:21 | 2.1K | ||
| 20101001-Quizzes.txt | 04-Oct-2010 08:36 | 2.0K | ||
| 20101002-HW5.txt | 04-Oct-2010 08:47 | 3.5K | ||
| 20101002-HWformat.txt | 04-Oct-2010 08:37 | 516 | ||
| 20101002-Quizzes.txt | 04-Oct-2010 08:44 | 1.1K | ||
| 20101004-HW4-1g.txt | 04-Oct-2010 13:20 | 247 | ||
| 20101004-HW5.txt | 15-Oct-2010 20:50 | 3.4K | ||
| 20101004-LewisCarrol..> | 05-Oct-2010 08:41 | 1.4K | ||
| 20101004-NegatingNes..> | 05-Oct-2010 08:51 | 1.9K | ||
| 20101004-NoDogsAreNo..> | 04-Oct-2010 14:54 | 1.0K | ||
| 20101004-ProofFormat..> | 04-Oct-2010 16:44 | 1.8K | ||
| 20101004-SyllabusUpd..> | 04-Oct-2010 14:02 | 213 | ||
| 20101004-Syntax-Sema..> | 04-Oct-2010 16:49 | 970 | ||
| 20101004-Validity.txt | 11-Oct-2010 08:59 | 5.1K | ||
| 20101006-HW5-Proving..> | 06-Oct-2010 13:52 | 1.0K | ||
| 20101006-HW5.txt | 06-Oct-2010 08:41 | 627 | ||
| 20101007-HW5-Validit..> | 08-Oct-2010 09:05 | 4.4K | ||
| 20101007-TruthPfsThm..> | 07-Oct-2010 21:18 | 4.9K | ||
| 20101008-AxiomsVsNat..> | 08-Oct-2010 10:19 | 5.7K | ||
| 20101008-HW5.txt | 08-Oct-2010 09:03 | 1.5K | ||
| 20101008-Validity.txt | 08-Oct-2010 10:26 | 1.0K | ||
| 20101009-HW6.txt | 11-Oct-2010 08:58 | 393 | ||
| 20101009-Validity.txt | 11-Oct-2010 08:57 | 1.8K | ||
| 20101010-FOL-AI.txt | 10-Oct-2010 20:52 | 2.3K | ||
| 20101010-Validity.txt | 11-Oct-2010 08:59 | 443 | ||
| 20101011-AllTriangle..> | 11-Oct-2010 14:14 | 696 | ||
| 20101011-Midterm-FOL..> | 12-Oct-2010 08:29 | 1.6K | ||
| 20101011-Midterm-Thm..> | 11-Oct-2010 09:05 | 594 | ||
| 20101011-Midterm.txt | 12-Oct-2010 08:34 | 715 | ||
| 20101013-SyllabusUpd..> | 14-Oct-2010 10:31 | 213 | ||
| 20101014-Bicondition..> | 14-Oct-2010 10:34 | 1.0K | ||
| 20101014-PlainASCIIt..> | 14-Oct-2010 10:40 | 617 | ||
| 20101015-Midterm-Thm..> | 15-Oct-2010 08:55 | 446 | ||
| 20101015-Midterm-Thm..> | 14-Oct-2010 14:34 | 4.1K | ||
| 20101015-Simplificat..> | 18-Oct-2010 09:31 | 726 | ||
| 20101017-Sect.1.3.txt | 18-Oct-2010 09:35 | 3.8K | ||
| 20101017-Sect.1.4.txt | 18-Oct-2010 09:40 | 1.0K | ||
| 20101017-Sects.1.4-1..> | 18-Oct-2010 09:38 | 3.1K | ||
| 20101018-RecitSched.txt | 18-Oct-2010 16:32 | 446 | ||
| 20101019-MidtermExam..> | 20-Oct-2010 19:54 | 3.0K | ||
| 20101019-Username-Pa..> | 20-Oct-2010 08:49 | 794 | ||
| 20101021-Midsemester..> | 21-Oct-2010 14:33 | 11K | ||
| 20101021-MidtermQues..> | 22-Oct-2010 08:40 | 3.3K | ||
| 20101021-OfficeHours..> | 21-Oct-2010 13:11 | 504 | ||
| 20101021-RevisedAlgM..> | 21-Oct-2010 17:07 | 1.4K | ||
| 20101022-Sect.1.7.txt | 22-Oct-2010 08:41 | 640 | ||
| 20101024-HW7.txt | 25-Oct-2010 09:07 | 3.5K | ||
| 20101024-ProofByCase..> | 25-Oct-2010 09:02 | 1.0K | ||
| 20101025-HW7.txt | 25-Oct-2010 10:49 | 1.8K | ||
| 20101025-NonConstruc..> | 25-Oct-2010 09:21 | 3.7K | ||
| 20101028-UnivQfrPfs.txt | 28-Oct-2010 10:20 | 2.2K | ||
| 20101029-HW7.txt | 29-Oct-2010 09:04 | 791 | ||
| 20101101-HW8.txt | 01-Nov-2010 13:21 | 687 | ||
| 20101102-FOL-Applica..> | 02-Nov-2010 10:13 | 852 | ||
| 20101102-HW8.txt | 03-Nov-2010 08:29 | 804 | ||
| 20101102-SetTheory.txt | 02-Nov-2010 09:53 | 1.9K | ||
| 20101103-HW8.txt | 03-Nov-2010 10:57 | 321 | ||
| 20101103-Pigeonholes..> | 03-Nov-2010 15:50 | 747 | ||
| 20101104-Functions.txt | 04-Nov-2010 12:48 | 917 | ||
| 20101105-HW8Answers.txt | 05-Nov-2010 13:13 | 708 | ||
| 20101107-HW9.txt | 08-Nov-2010 08:37 | 2.1K | ||
| 20101108-XKCD.txt | 08-Nov-2010 13:21 | 1.6K | ||
| 20101110-HW9.txt | 11-Nov-2010 09:35 | 1.4K | ||
| 20101110-Thursday.txt | 11-Nov-2010 09:33 | 272 | ||
| 20101112-NatNos-Indu..> | 12-Nov-2010 09:00 | 1.9K | ||
| 20101112-Random Func..> | 12-Nov-2010 08:56 | 1.1K | ||
| 20101113-FunctionNot..> | 15-Nov-2010 08:44 | 1.1K | ||
| 20101113-HW10.txt | 15-Nov-2010 08:42 | 447 | ||
| 20101114-Gauss.txt | 14-Nov-2010 19:02 | 2.3K | ||
| 20101116-HW10.txt | 16-Nov-2010 08:55 | 706 | ||
| 20101118-WhatIsAI.txt | 18-Nov-2010 14:48 | 2.7K | ||
| 20101118-WhatIsCS.txt | 18-Nov-2010 13:11 | 7.8K | ||
| 20101119-WhatIsAI.txt | 19-Nov-2010 09:01 | 1.5K | ||
| 20101122-Recursion-D..> | 22-Nov-2010 09:11 | 2.2K | ||
| 20101122-Recursion-E..> | 22-Nov-2010 14:26 | 617 | ||
| 20101122-TuesA1Recit..> | 22-Nov-2010 14:34 | 242 | ||
| 20101123-FibonacciMu..> | 23-Nov-2010 09:26 | 176 | ||
| 20101126-FOL.txt | 29-Nov-2010 08:31 | 527 | ||
| 20101128-HW11.txt | 29-Nov-2010 08:37 | 1.2K | ||
| 20101201-SyllabusUpd..> | 01-Dec-2010 15:13 | 229 | ||
| 20101201-TvalFunctio..> | 02-Dec-2010 10:19 | 584 | ||
| 20101202-Factorial.txt | 02-Dec-2010 13:52 | 1.4K | ||
| 20101202-HW11.txt | 02-Dec-2010 13:40 | 478 | ||
| 20101202-SnowedIn.txt | 03-Dec-2010 08:25 | 837 | ||
| 20101205-FinalExam.txt | 06-Dec-2010 09:49 | 708 | ||
| 20101205-HW12.txt | 06-Dec-2010 09:53 | 635 | ||
| 20101205-Relations.txt | 06-Dec-2010 09:52 | 4.8K | ||
| 20101206-Paradoxical..> | 06-Dec-2010 11:30 | 718 | ||
| 20101207-DirectoryOf..> | 07-Dec-2010 10:53 | 258 | ||
| 20101209-GradeEstima..> | 10-Dec-2010 08:57 | 2.0K | ||
| 20101209-Relations.txt | 10-Dec-2010 08:56 | 787 | ||
| 20101209-WhatIsCS.txt | 10-Dec-2010 09:00 | 1.6K | ||
| 20101210-WhatIsCS.txt | 10-Dec-2010 09:07 | 3.1K | ||
| 20101212-Relations.txt | 14-Dec-2010 11:27 | 1.8K | ||
| 20101213-CeilingFunc..> | 14-Dec-2010 11:30 | 804 | ||
| 20101213-Definitions..> | 14-Dec-2010 11:31 | 681 | ||
| 20101213-FinalExam.txt | 14-Dec-2010 11:32 | 641 | ||
| 20101213-Sets.txt | 14-Dec-2010 11:29 | 1.2K | ||
| 20101213-Validity.txt | 14-Dec-2010 11:28 | 338 | ||
| 20101216-FinalGrades..> | 16-Dec-2010 13:27 | 3.3K | ||
| = | 24-Aug-2009 21:46 | 73 | ||
| == | 24-Aug-2009 21:46 | 73 | ||
| x.txt | 10-Dec-2010 09:06 | 883 | ||