Stony Brook University Logo Computer Science
CSE 631 Back to Advanced Courses

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
Credit Information 3 - credits
Course Goals  
Course Webpage N/A
[an error occurred while processing this directive]