CSI 107 Introduction to Logic Part I Lesson Plan

Mr. Angelo Dalli (adal002@um.edu.mt)

Lesson 1 Introduction

5 October 2001

Lesson 2 Connectives

12 October 2001

Lesson 3 Laws of Logic

19 October 2001

Lesson 4 Tutorial

26 October 2001

Lesson 5 Quantification I – Introduction

2 November 2001

Lesson 6 Quantification II – Multiple Quantifiers, Translation

9 November 2001

Lesson 7 English/FOL Translation

16 November 2001

Assignment

Lesson 8 Formal Deductive Systems

23 November 2001

Lesson 9 Proof Methods and Techniques I – Cases, Contradiction, Simple Proofs

1^st week of December 2001

Lesson 10 Proof Methods and Techniques II – Quantifiers, Strategies

1^st week of December 2001

Lesson 11 Proof Methods and Techniques III – Metatheory, Induction

1^st week of January 2001

Lesson 12 Tutorial 2

1^st week of January 2001

Lesson 13 Horn Sentences and Resolution

2^nd week of January 2001

Lesson 14 Revision

2^nd and 3^rd weeks of January2001