Logic for Computer Scientists
Semester: Fall 2025
Status: Completed
Course Information
- Start Date: August 25, 2025
- End Date: December 15, 2025
- Time Zone: America/Chicago
- Syllabus: View on Canvas
Description
Foundations of logic for computer science including propositional logic, first-order logic, resolution, Herbrand semantics, automated reasoning, and Prolog programming.
Topics
- Propositional logic and truth tables
- First-order logic and quantifiers
- Resolution and unification
- Herbrand semantics
- Automated theorem proving
- Temporal and modal logics
- Prolog programming
Resources
- Course Blog Posts
- Canvas Course: Course ID 53482
Assignments
Homework 3 Solutions worked by Scott Weeden
Logic for Computer Scientists – Homework 3
PDF Materials:
Related Content
Recent Drafts
No drafts available for this course.
Recent Projects
No projects available for this course.
Recent Posts
-
Homework 3 Guide: Quantifier Scope, Proofs, and CNF
8 min read
Worked guide for Logic for Computer Scientists Homework 3: scoping, inference proofs, CNF transformations, and...
-
Model Checking and Logic Review: Validating Systems and Concepts
16 min read
A comprehensive review of advanced logic concepts including Hilbert Systems, the Tableaux Method, and Herbrand...
-
Linear Temporal Logic: Specification and Verification of Reactive Systems
15 min read
Master Linear Temporal Logic (LTL) for specifying and verifying time-dependent properties of reactive systems, from...
-
Negation and Non-Monotonic Reasoning: When New Information Invalidates Old Conclusions
14 min read
Explore non-monotonic reasoning systems where new information can invalidate previous conclusions, from the classic Tweety...
-
Herbrand Logic and Semantics: Simplifying First-Order Interpretations
12 min read
Learn how Herbrand semantics reduce the infinite complexity of first-order logic interpretations to finite, manageable...
-
Hilbert Proof Systems and Herbrand Logic: Foundations of Automated Theorem Proving
12 min read
An in-depth exploration of Hilbert proof systems and the Tableaux method for predicate logic, with...
-
The Unification Algorithm: Finding Most General Unifiers in First-Order Logic
15 min read
Learn how the unification algorithm finds the most general unifier (MGU) that makes two terms...
-
Propositional Logic II: Truth Tables and Formation Trees
15 min read
Learn to analyze propositional formulas using truth tables and formation trees—essential tools for understanding logical...
-
Propositional Logic Basics: Building the Foundation for Logical Reasoning
15 min read
Master the fundamental building blocks of logical reasoning: propositions, truth values, and logical connectives that...
-
Introduction to Logic for Computer Scientists
13 min read
Discover how logic—the study of reasoning—forms the invisible foundation of every computer program, database query,...
-
Prolog Programming Fundamentals: Logic Programming for Beginners
12 min read
An introduction to Prolog's unique declarative paradigm, exploring facts, rules, queries, and how logic programming...