Stony Brook University Logo Computer Science

CSE631

Course CSE631
Title Advanced Logic in Computer Science
Description

The course may include the following: deductive theorem proving (resolution, sequent-style calculi, natural deduction), inductive theorem proving, equational reasoning (rewrite systems), non-classical logics (modal logics, intuitionistic logic).

Prerequisite CSE 541
Credits 3 - credits
Course Outcomes
Textbook
Course Webpage

N/A