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