CSE 607: The Logical Basis of Computing

Updates

• 30 April: added "Exam 4" description to the "exam" portion of the web site
• 24 March:
  • Added last year's exam #3 to the "exam" portion of the web site
• 19 March: 
  • Exam #3 postponed one week to 9 April
  • Assignments 3 and 3a updated
• 2 March: 
  • Added description of exam #2 on the "exam" portion of the course web site
  • Updated notion in Examples4 and Examples4a to use "T" and "F" instead of "true" and "false" to keep a clear distinction between formula syntax and values given by interpretations
  • Corrected the tableau proof in Table 5 of Examples 4a corresponding to the buffer proof to do the quantifier elimination correctly in assumption A8.
• 21 February: updated version of Example 2 available
• 17 February: published "how we graded exam 1" on the "exam" portion of the course web site
• 23 January 2003: updated time and location of review sessions; updated Ronghua Wang's office hours
• 21 January 2003: added assignment 1c and added descriptions of the first exam (see "exams" in the table of contents)
• 15 January 2003: updated assignments 1 and 1a

Description

Mathematical logic including predicate calculus, induction, theories with equality, relations, and groups.  Mathematical logic applied to structures such as nonnegative integers, tuples, lists, and trees.  Pre-requisite: graduate standing.

Spring 2003 Time and Location

• 137 Sims Hall
• Monday and Wednesday, 4:00pm - 5:20pm

Instructor:

• Shiu-Kai Chin, Professor,  Department of Electrical Engineering and Computer Science, and Director, New York State Center for Advanced Technology in Computer Applications and Software Engineering (CASE).
• Office Location: CST 2-212
• Office Hours: Please call Tami Britton at 443-1060 to schedule an appointment, or email her at tlbritto@syr.edu
• Email: skchin@syr.edu

Teaching Assistants:

• Ronghua Wang
  • Office Location: CST 1-118
  • Office Hours: Tuesdays and Thursdays 2:30pm - 4:30pm 
  • Email: rwang01@ecs.syr.edu
• Chirag Sheth
  •  Email: cusheth@ecs.syr.edu

Weekly Review Sessions

• Lead by Ronghua Wang
• Location: Hinds Hall 101
• Times: Thursdays 6pm - 7pm

Texts

• The Deductive Foundations of Computer Programming, Zohar Manna and Richard Waldinger, Addison-Wesley Publishing ISBN: 0-201-54886-0
• Examples developed by Shiu-Kai Chin

Table of Contents

Instructor Information

Letter to Students

Educational Outcomes

Course Overview

Course Calendar

Course Requirements and Grading

Assignments

Exams

Links to Related Topics