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 |