![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/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 | 24-Aug-2009 20:31 | 282 | |
| 20090825-NewRecitSec..> | 09-Sep-2009 08:32 | 498 | |
| 20090831-NoRecits1st..> | 19-Oct-2009 10:36 | 474 | |
| 20090831-WelcomeMsg.txt | 01-Sep-2009 08:53 | 1.9K | |
| 20090901-1-1CorrAndC..> | 09-Sep-2009 08:32 | 1.0K | |
| 20090903-HW1.txt | 09-Sep-2009 08:32 | 911 | |
| 20090904-Infinity.txt | 09-Sep-2009 08:32 | 278 | |
| 20090907-HW1-Barber.txt | 09-Sep-2009 08:32 | 927 | |
| 20090907-WhereIsHW1.txt | 09-Sep-2009 08:33 | 470 | |
| 20090908-HW1-Symbols..> | 09-Sep-2009 08:31 | 598 | |
| 20090908-NewRoom.txt | 09-Sep-2009 08:33 | 299 | |
| 20090909-Translation..> | 10-Sep-2009 10:20 | 513 | |
| 20090910-RecitationS..> | 10-Sep-2009 10:20 | 1.0K | |
| 20090911-ContinuousV..> | 11-Sep-2009 10:46 | 538 | |
| 20090912-Equivalence..> | 12-Sep-2009 12:43 | 1.2K | |
| 20090913-RapaportOff..> | 17-Sep-2009 13:21 | 648 | |
| 20090914-FunctionalC..> | 15-Sep-2009 08:41 | 1.9K | |
| 20090914-HTML4NotEqu..> | 14-Sep-2009 13:59 | 949 | |
| 20090915-BooleanSati..> | 15-Sep-2009 14:22 | 768 | |
| 20090915-FogelOffice..> | 20-Oct-2009 14:48 | 592 | |
| 20090916-LogEquiv.txt | 16-Sep-2009 08:49 | 781 | |
| 20090916-LogicalReas..> | 16-Sep-2009 10:59 | 380 | |
| 20090916-NecCond.txt | 16-Sep-2009 20:22 | 1.4K | |
| 20090916-OfficeHours..> | 17-Sep-2009 13:20 | 295 | |
| 20090916-SeyedOffice..> | 21-Sep-2009 13:19 | 1.0K | |
| 20090917-NegnOfDisjn..> | 18-Sep-2009 09:56 | 3.1K | |
| 20090919-BarberParad..> | 21-Sep-2009 09:04 | 249 | |
| 20090919-HW3.txt | 21-Sep-2009 09:02 | 1.0K | |
| 20090919-HWAnswers.txt | 21-Sep-2009 09:03 | 345 | |
| 20090919-ProgVerific..> | 21-Sep-2009 09:06 | 2.0K | |
| 20090919-PropnlLogic..> | 21-Sep-2009 09:05 | 430 | |
| 20090921-StudySugges..> | 21-Sep-2009 09:54 | 942 | |
| 20090923-HW-Answers.txt | 23-Sep-2009 11:12 | 481 | |
| 20090923-HW3.txt | 24-Sep-2009 10:07 | 1.0K | |
| 20090927-DistQfrsOve..> | 29-Sep-2009 10:53 | 695 | |
| 20090927-TransEng2FO..> | 29-Sep-2009 10:55 | 611 | |
| 20091001-HW3.txt | 01-Oct-2009 11:33 | 1.3K | |
| 20091001-QuantifierO..> | 01-Oct-2009 10:49 | 669 | |
| 20091003-AdditionRul..> | 05-Oct-2009 10:27 | 486 | |
| 20091003-BarberParad..> | 03-Oct-2009 14:43 | 1.8K | |
| 20091003-FinalExam.txt | 05-Oct-2009 10:26 | 199 | |
| 20091003-LewisCarrol..> | 05-Oct-2009 10:28 | 432 | |
| 20091003-LewisCarrol..> | 03-Oct-2009 15:02 | 1.5K | |
| 20091003-NegatingNes..> | 03-Oct-2009 14:57 | 1.9K | |
| 20091005-Countabilit..> | 05-Oct-2009 10:42 | 352 | |
| 20091006-HW5.txt | 07-Oct-2009 08:36 | 882 | |
| 20091007-AxiomsVsNat..> | 07-Oct-2009 20:52 | 5.4K | |
| 20091007-HW5.txt | 08-Oct-2009 10:31 | 811 | |
| 20091007-TruthPfsThm..> | 07-Oct-2009 09:31 | 4.5K | |
| 20091007-WhoIsMyTA.txt | 08-Oct-2009 10:32 | 515 | |
| 20091012-OfficeHours..> | 12-Oct-2009 09:21 | 247 | |
| 20091012-Thms2Prove.txt | 14-Oct-2009 08:42 | 751 | |
| 20091014-NonConstruc..> | 14-Oct-2009 20:37 | 3.0K | |
| 20091014-PredLogicAI..> | 14-Oct-2009 20:30 | 2.3K | |
| 20091014-ProofStrate..> | 15-Oct-2009 11:18 | 319 | |
| 20091014-ProofsAndTh..> | 14-Oct-2009 20:23 | 13K | |
| 20091015-Proofs.txt | 16-Oct-2009 08:38 | 422 | |
| 20091015-Thanksgivin..> | 16-Oct-2009 08:31 | 292 | |
| 20091015-Thms2ProveP..> | 15-Oct-2009 21:30 | 6.1K | |
| 20091017-MidtermExam..> | 19-Oct-2009 08:51 | 578 | |
| 20091019-FogelOffice..> | 20-Oct-2009 14:47 | 359 | |
| 20091019-LogicQuesti..> | 20-Oct-2009 14:43 | 364 | |
| 20091019-NoRecitThis..> | 19-Oct-2009 10:37 | 546 | |
| 20091020-SeyedOffice..> | 21-Oct-2009 10:23 | 229 | |
| 20091021-MidtermExam..> | 21-Oct-2009 10:21 | 2.7K | |
| 20091022-Midsemester..> | 22-Oct-2009 20:34 | 11K | |
| 20091028-HW7-AreNumb..> | 30-Oct-2009 09:47 | 545 | |
| 20091101-SetTheory.txt | 02-Nov-2009 09:13 | 1.8K | |
| 20091104-HW8.txt | 09-Nov-2009 11:41 | 1.4K | |
| 20091106-HW8.txt | 06-Nov-2009 08:47 | 725 | |
| 20091109-OfficeHours..> | 09-Nov-2009 10:46 | 279 | |
| 20091109-SyllabusUpd..> | 10-Nov-2009 08:50 | 791 | |
| 20091110-HW9.txt | 11-Nov-2009 11:19 | 1.1K | |
| 20091110-Mathematica..> | 11-Nov-2009 11:18 | 194 | |
| 20091111-FinalExam.txt | 12-Nov-2009 10:33 | 1.4K | |
| 20091111-Gauss.txt | 11-Nov-2009 21:25 | 2.4K | |
| 20091113-Empty Sets.txt | 16-Nov-2009 11:20 | 1.2K | |
| 20091113-IsLogicEver..> | 13-Nov-2009 09:18 | 197 | |
| 20091115-Syllabus Up..> | 16-Nov-2009 11:25 | 360 | |
| 20091116-HWAnswersAg..> | 16-Nov-2009 11:07 | 539 | |
| 20091117-RecursiveDe..> | 18-Nov-2009 08:32 | 1.2K | |
| 20091117-RecursiveDe..> | 17-Nov-2009 11:41 | 1.9K | |
| 20091117-WhatIsSophi..> | 18-Nov-2009 08:30 | 651 | |
| 20091118-Factorial.txt | 18-Nov-2009 19:57 | 1.3K | |
| 20091119-Recursion.txt | 19-Nov-2009 10:35 | 7.4K | |
| 20091121-SEASSeniorS..> | 23-Nov-2009 09:00 | 1.3K | |
| 20091121-SyllabusUpd..> | 23-Nov-2009 09:02 | 675 | |
| 20091123-RecurrenceR..> | 29-Nov-2009 13:18 | 615 | |
| 20091129-RecurrenceR..> | 29-Nov-2009 13:25 | 3.0K | |
| 20091129-RecurrenceR..> | 30-Nov-2009 08:59 | 925 | |
| 20091130-SyllabusUpd..> | 01-Dec-2009 08:47 | 239 | |
| 20091201-FinalExam.txt | 01-Dec-2009 13:30 | 551 | |
| 20091205-SyllabusUpd..> | 07-Dec-2009 08:34 | 222 | |
| 20091207-EulerConfus..> | 07-Dec-2009 13:32 | 747 | |
| 20091208-ContinuousV..> | 08-Dec-2009 12:42 | 500 | |
| 20091208-HW11Answers..> | 08-Dec-2009 10:53 | 272 | |
| 20091209-HWAnswersAg..> | 09-Dec-2009 11:09 | 596 | |
| 20091210-additionalO..> | 11-Dec-2009 08:48 | 288 | |
| 20091211-Summary-Rev..> | 11-Dec-2009 15:24 | 1.0K | |
| 20091212-FinalExamQu..> | 14-Dec-2009 10:27 | 2.0K | |
| 20091214-FinalExam.txt | 14-Dec-2009 16:07 | 543 | |
| 20091215-7.1-number5..> | 15-Dec-2009 12:58 | 1.7K | |
| 20091215-8.1,#3e.txt | 16-Dec-2009 07:37 | 475 | |
| 20091215-FinalExam.txt | 15-Dec-2009 09:04 | 376 | |
| 20091215-Irrationals..> | 15-Dec-2009 13:30 | 298 | |
| 20091215-List of Rul..> | 16-Dec-2009 07:36 | 523 | |
| 20091218-FinalGrades..> | 18-Dec-2009 10:16 | 3.8K | |
| = | 24-Aug-2009 21:46 | 73 | |
| == | 24-Aug-2009 21:46 | 73 | |
| x.txt | 15-Dec-2009 12:57 | 567 | |