![[ICO]](/icons/blank.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Comp1.pdf | 2004-11-01 17:54 | 94K | |
| Comp2.pdf | 2004-11-04 14:14 | 111K | |
| Comp3.pdf | 2004-11-10 15:18 | 148K | |
| Comp4.pdf | 2004-11-15 14:52 | 107K | |
| Comp5.pdf | 2004-11-16 23:00 | 113K | |
| Comp6.pdf | 2004-11-25 14:16 | 72K | |
| Comp7.pdf | 2004-11-30 12:32 | 118K | |
| ComputationandLogicDefinitions.pdf | 2016-12-14 14:27 | 107K | |
| HowToExam-anINF1-CLGuide.pdf | 2016-12-14 16:13 | 132K | |
| Lecture17-2014.pdf | 2014-11-13 09:33 | 90K | |
| automata/ | 2016-12-14 16:19 | - | |
| cl-comp1.pdf | 2009-10-27 10:29 | 275K | |
| cl-comp2.pdf | 2009-10-27 10:29 | 266K | |
| cl-comp3.pdf | 2008-09-03 09:19 | 89K | |
| cl-comp4.pdf | 2013-11-01 13:41 | 657K | |
| cl-comp5.pdf | 2008-09-03 09:19 | 89K | |
| cl-comp6.pdf | 2013-11-07 11:00 | 1.0M | |
| cl-comp7.pdf | 2013-11-14 11:03 | 1.7M | |
| cl-comp8.pdf | 2013-11-15 13:52 | 782K | |
| logic.pdf | 2006-09-25 13:59 | 242K | |
| logic1.pdf | 2013-10-09 12:41 | 2.8M | |
| logic1.ppt | 2013-09-20 17:08 | 924K | |
| logic2.pdf | 2013-10-09 12:40 | 1.2M | |
| logic2.ppt | 2013-09-20 17:08 | 258K | |
| logic3.pdf | 2013-10-09 12:40 | 1.5M | |
| logic3.ppt | 2013-09-27 19:42 | 230K | |
| logic4.pdf | 2013-10-15 10:15 | 94K | |
| logic4.ppt | 2013-10-15 10:15 | 156K | |
| logic5.pdf | 2013-10-17 12:15 | 1.4M | |
| logic6.pdf | 2009-10-27 10:29 | 333K | |
| logic7.pdf | 2008-09-03 09:19 | 138K | |
| logical_equivalences.pdf | 2010-12-02 12:04 | 27K | |
| resolution/ | 2016-12-11 18:00 | - | |
| revision.pdf | 2010-12-03 11:05 | 1.7M | |
| sequents/ | 2015-11-19 10:56 | - | |
| synopsis2007.pdf | 2007-11-30 13:48 | 189K | |
| synopsis2008.pdf | 2008-12-08 08:55 | 184K | |