Angelo Dalli's Homepage
Department of Computer Science & AI University of Malta |
|
CSI 107 Introduction to Logic Part I Lesson Plan and Schedule 2001/2002
Lesson 2 Connectives Lesson 3 Laws of Logic Lesson 4 Tutorial Sheet Lesson 5 Quantification I Lesson 6 Quantification II, English/FOL Translation Assignment Lesson 7 Formal Deductive Systems Lesson 8 Horn Sentences and Resolution Lesson 9 Proof Methods and Techniques
Assignment 2001 (Microsoft Word format) Assignment 2000 (Microsoft Word format)
Additional Links |
E-mail us at webmaster@cs.um.edu.mt | http://www.cs.um.edu.mt/ | |