Skip to content
All tags

#first-order-logic

2 posts
learning deep-dive Reading Stanford CS103

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

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
learning deep-dive Reading Stanford CS103

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

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