|CISC204, Logic for Computing Science: Fall 2017||
Elements of mathematical logic with computing applications. Formal proof systems for propositional and predicate logic. Interpretations, validity, and satisfiability. Introduction to soundness, completeness and decidability.
Course Details: Please use the navigation area, to the left of this text, to find further details.
Course Lectures: Each student is expected to have read the relevant textbook sections before attending class, and to have understood the important definitions and concepts. The lecture will concentrate mainly on the use of terms and concepts; definitional material will not be covered.
Each student is responsible for transcribing lecture material. The instructor will not scan or otherwise copy the lecture notes, which are intended to reflect and supplement the on-line class notes available on this website.
The course is now closed and will be offered again in 2018.