Computational Logic
This course 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
Note: CS157 has a limited number of recorded sessions and a varied catalog of course materials which guide students through the course.
Course Page
Price
$4,368.00
Subject to change
Delivery
Online, instructor-led
Level
Introductory
Commitment
10 weeks, 9-12 hrs/week
Credit
Foundations in Computer Science Graduate Certificate
Artificial Intelligence Graduate Certificate
School
Stanford School of Engineering
Language
English