Stony Brook University Logo Computer Science

CSE541

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
Credits 3 - credits
Course Outcomes
Textbook
Course Webpage

CSE541