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). |
Credits | 3 - credits |
Course Outcomes | |
Textbook | |
Course Webpage |
N/A |