Computational Logic

CS157

Stanford School of Engineering


Thumbnail

Description

CS 157 is a rigorous introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an 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.

Please note: CS157 has a limited number of recorded sessions and a varied catalog of course materials which guide students through the course.

Note on Course Availability

The course schedule is displayed for planning purposes – courses can be modified, changed, or cancelled. Course availability will be considered finalized on the first day of open enrollment. For quarterly enrollment dates, please refer to our graduate certificate homepage.

Instructor(s)

Prerequisites

CS103 or equivalent

039 Autumn 2019-20 Online

Enroll Now

Dates:September 23 - December 6, 2019
Days: Mon
Units: 3.00
Instructors: Michael Genesereth
Delivery Option:
Online
Fees:
For Credit $3,900.00 ?

Notes

Enrollment Dates: August 1 to September 9, 2019

Computer Science Department Requirement
Students taking graduate courses in Computer Science must enroll for the maximum number of units and maintain a B or better in each course in order to continue taking courses under the Non Degree Option.

This course may not currently be available to learners in some states and territories.