Graduate Course Descriptions

Select a Course CSE200CSE201ACSE202CSE203ACSE204ACSE205ACSE206ACSE207CSE208CSE209ACSE209BCSE210CSE211CSE218CSE221CSE222ACSE222BCSE223ACSE223BCSE224CSE225CSE226CSE227CSE228CSE229ACSE229BCSE229CCSE230CSE231CSE232CSE232BCSE233CSE237ACSE237BCSE237CCSE237DCSE238CSE240ACSE240BCSE240CCSE240DCSE241ACSE242ACSE243ACSE244ACSE244BCSE245CSE246CSE247CSE248CSE249ACSE249BCSE249CCSE250ACSE250BCSE251CSE252ACSE252BCSE252CCSE253CSE254CSE255CSE256CSE257CSE257ACSE258ACSE259CSE260CSE261CSE262CSE268ACSE268CCSE269CSE270CSE271CSE272CSE275CSE280ACSE280BCSE282CSE283CSE290CSE291CSE292CSE293CSE294CSE298CSE299CSE500CSE501CSE599

CSE205A – Logic in Computer Science

Units: 4

Course Objectives:

Course Description:
Mathematical logic as a tool in computer science. Propositional logic, resolution, first-order logic, completeness and incompleteness theorems with computational viewpoint, finite model theory, descriptive complexity, logic programming, non-monotonic reasoning, temporal logic. Applications to databases, automatic theorem proving, program verification, and distributed systems.

Format:

Prerequisites:
CSE 200 or consent of instructor

Other restrictions:

Example Textbook(s):

Laboratory work:

Offered: