Stony Brook University Logo Computer Science
CSE 541 Back to Graduate Courses

Course CSE541
Title Logic in Computer Science
Description

A survey of the logical foundations of mathematics and the relationships to computer science. Development of propositional calculus and quantification theory; the notions of a proof and of a model; The completeness theorem.

Prerequisite or Corequisite

MAT 313 and CSE 213

Credit Information 3 - credits
Course Goals  
Course Webpage http://www.cs.stonybrook.edu/~cse541
Course Coordinator Dr. Leo Bachmair
[an error occurred while processing this directive]