80-211: Logic and Mathematical Inquiry
(Spring 2012)

Course Information  [  Logistics  |  Course Links  |  Calendar of Classes  |  Coursework Calendar  ]

   (Your comments will be sent anonymously to the instructors)


Lectures: Mo,We   14:30 - 15:50 (room 1190)

Class Webpage:   http://qatar.cmu.edu/cs/80211

Instructors: Wilfried Sieg
Office hours:  by appointment
Office:  CMU-Q 2040
Iliano Cervesato
Office hours:  by appointment (check schedule)
Office:  CMU-Q 1008

Course Links

Calendar of Classes

Click on a class day to go to that particular lecture or recitation. Due dates for homeworks are set in bold. The due date of the next homework blinks.

Coursework Calendar

About this course  [  Description  |  Prerequisites  |  Feedback  |  Readings  |  Grading  |  Assessment  ]


This course has the purpose of introducing first and second year students to elements of formal logic as well as to the historical context in which this discipline developed. As many courses in the undergraduate curriculum rely on students having mastered basic logical notions and skills, it will test and enhance your preparation, thereby putting you in a better position to succeed in your program. It will also help you understand and appreciate how aspect of modern mathematics and computer science came about since these disciplines grew out of logic.

This course is divided into four parts:
  1. Analysis of Informal Arguments
  2. Sentential Logic: Boolean operations, semantics, and derivations
  3. Predicate Logic with equality: quantifiers, semantics and derivations
  4. Formalization of mathematics: elementary set theory, Cantor's theorem; incompleteness; Turing machines and undecidability of predicate logic
This course is a gateway to the fascinating and multifaceted world of computational logic. If you find it enjoyable, you may also like 15-312 Foundations of Programming Languages (a systematic, logic-based investigation to programming languages), 15-317 Constructive Logic (the use of logic to express algorithms and computation), 15-414 Bug Catching: Automated Program Verification and Testing (the use of a logical technique known as model-checking to verify complex systems), and 80-311 Computability and Incompleteness (a study of the logical foundations of Computer Science).


There are no prerequisites for this course.




It is our goal to make this course successful, stimulating and enjoyable. If at any time you feel that the course is not meeting your expectations or you want to provide feedback on how the course is progressing for you, please . If you would like to provide anonymous comments, please use the feedback form on the course home page or slide a note under my door. Comments of general interest will be answered on the course discussion board.


This is a 9 unit course. For Computer Science majors, it counts as a free CS elective.

Tasks and Percentages

Evaluation Criteria

Academic Integrity

You are expected to comply with the University Policy on Academic Integrity and Plagiarism.

Collaboration is regulated by the whiteboard policy: you can bounce ideas about an assignment, but when it comes to typing it down for submission, you are on your own — no notes, snapshots, etc., you can at most reconstruct the reasoning from memory.

Class etiquette


Course Objectives

This course seeks to develop students who:

  1. can understand and formulate logical representations to problems
  2. can think abstractly, i.e., for form, analyze, and use abstractions
  3. can understand and articulate technical ideas
  4. can follow and form cogent arguments
  5. have a historical perspective of logic and Computer Science

Learning Outcomes

Upon successful completion of this course, students will be able to:

  1. express problems symbolically using propositional and predicate logic
  2. describe the importance and limitations of predicate logic
  3. gain deeper knowledge about a topic by researching it using a variety of sources and tools
  4. describe technical concepts clearly, so as to be readily understood by their peers within the discipline and by those outside the discipline
  5. follow and summarize arguments presented in texts and papers used as supporting materials for their courses or consulted to research a topic
  6. form a cogent, logical argument asserting and reiterating technical concepts that lie within the bounds of any researched topic
  7. make clear, well-articulated, well-organized and creative presentations about topics of their choice

Schedule of Classes

At a glance ...

© 2012 Iliano Cervesato