University of Malta  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

Course Material

Note that the official lecture notes are the ones that I give in print form at the end of each lecture. You need Microsoft Internet Explorer 5+ to view the online slide presentation. You can also open the files in PowerPoint by typing in the URL. For your convenience you can download the zipped PowerPoint files from here.

Lesson 1 Introduction

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

All other lessons are going to be tutorials and revision sessions.

Optional and Past Material

Tarski's World

Assignment 2001 (Microsoft Word format)

Assignment 2000 (Microsoft Word format)

Past Paper 2000

Additional Links
History of Logic - Key Figures

Introductory Logic Exercises and Notes

Logic E-Prints

Los Alamos ArXiv

Duality (Britannica Article)


[ UNIVERSITY HOME | CSAI | SEARCH ]
[ ABOUT | STAFF | TEACHING | RESEARH ]
[ ACTIVITIES | USEFUL LINKS & RESOURCES ]

E-mail us at webmaster@cs.um.edu.mt http://www.cs.um.edu.mt/