Second half of ISA 780: Introduction to Logic

This Class

This part of the course is a traditional graduate introduction to logic. As such, we intend to cover as much as possible from the course text. Details:
  1. Course text: A Mathamatical Introduction to Logic, by Herbert B. Enderton, Second edition.
  2. Class Meetings:Monday 4.30pm-7.10pm in Inovation Hall 206
  3. Instructor: Duminda Wijesekera.
  4. email: dwijesek@gmu.edu
  5. Instructor Office Hours:Monday, Tuesday 3pm-4pm in ST II Rm 351
  6. Teaching Assistant:None
  7. Homework: Due two weeks after assignment
  8. Grading Policy: 30% homework, 20% examination
  9. Note on Transparencies: Not all material will be on transparencies. Following logicians tradition since 1930's, most proofs will be produced on the whiteboard (some of them had blackboards instead!).
  10. First part: on automata and complexity taught by Professor Ravi Sandhu described at ISA780
  11. Acknowledgement:I greately appreciate the courseMathematics 581: Introduction to Logic I took from Professor Richard A Shore in the Mathematics Department at Cornell University in Spring of 1985, where I learened this material for the first time. My advisor Professor Anil Nerode is scheduled to teach the current version of old Math 581, Math 681 at Cornell.

Announcements

No class on 10/30

Approximate Schedule
Meeting Date Topic Reading Assignment
1 10/23 Chapter 0: Sets
Chapter 1: Sentential Logic		 Enderton Ch 0
Sec. 1.0,1.1 		Enderton page 19, Ex 2,3 and 5
2 10/30 No class Sec. 1.2,1.3,1.4 Enderton pages 27-28, Ex 1,4,6,8,9
3 11/06 Chapter 1: notes from Meeting #1 Sec. 1.4,1.5,1.7 TBD
4 11/13 Chapter 1 notes from Meeting #1 Sec 1.4,1.4,1.7 TBD
5 11/20 Chapter 2 Predicate Logic Sec 2.1,2.2 Enderton Pages 79-80, Ex 5,10
Enderton Pages 99-100, Ex 1,8,17(a),18
6 11/27 Chapter 2 Sec 2.3,2.4 TBD
7 12/04 Chapter 2 Sec 2.5 TBD
8 12/11 Exam TBD TBD