Print Settings
 

CS 157: Computational Logic

Rigorous introduction to Symbolic Logic from a computational perspective. Encoding information in the form of logical sentences. Reasoning with information in this form. Overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth. Topics include the syntax and semantics of Propositional Logic, Relational Logic, and Herbrand Logic, validity, contingency, unsatisfiability, logical equivalence, entailment, consistency, natural deduction (Fitch), mathematical induction, resolution, compactness, soundness, completeness.
Terms: Aut | Units: 3 | UG Reqs: GER:DB-EngrAppSci
Instructors: ; Genesereth, M. (PI); Barbier, N. (TA); Chuchro, R. (TA); Kala, C. (TA); Reamer, S. (TA); Valdivia, H. (TA); Wang, O. (TA)
© Stanford University | Terms of Use | Copyright Complaints