Skip to content
All tags

#first-order-logic

2 posts
learningdeep-diveReading Stanford CS103 Mathematical Foundations of Computing

Objects, Quantifiers, and Types in First-Order Logic | Stanford CS103 Lecture 4

This lecture extends propositional logic into a language about objects: distinguish constants, predicates, functions, and propositions, then express some and every with existential and universal quantifiers.

#cs103#discrete-mathematics#stanford#first-order-logic
learningdeep-diveReading Stanford CS103 Mathematical Foundations of Computing

First-Order Logic II—Nested Quantifiers, Negation, and Uniqueness | Stanford CS103 Lecture 5

Translate natural language one layer at a time: identify universal and existential forms, then handle quantifier order, negation, restricted quantifiers, and uniqueness.

#cs103#discrete-mathematics#stanford#first-order-logic