Search for tag: "truth"

His 147A 001 (W'23), Lecture 11: Darwin

From  Michael Saler 0 likes 40 plays 0  

His147C (W'23): Lecture 9, Part 2 (Kierkegaard)

From  Michael Saler 0 likes 32 plays 0  

His 147A (W'23) Lecture 8: J.S. Mill

From  Michael Saler 0 likes 28 plays 0  

ECS20 - W22 - Lecture 4 (2R): Logic 3

Building a circuit for adding two 64-bit values. Tautologies. A formal system for proving theorem. The completeness and soundness theorems for sentential logic. Adding quantifier: first-order…

From  Phil Rogaway 0 likes 156 plays 0  

ECS20 - W22 - Lecture 3 (2T): Logic 2

Review (particularly of functional completeness). More boolean operators: IMPLIES, IFF, XOR, NAND, NOR. Gates and circuits. A formal treatment of boolean formulas: syntax, truth assignments, and…

From  Phil Rogaway 0 likes 185 plays 0  

ECS20 - W22 - Lecture 2 (1R): Logic 1

Familiar sets and operators on them. The boolean domain and basic operators on booleans (AND, OR, NOT). Representing numbers in binary, and in other bases. Can you represent anything you care about…

From  Phil Rogaway 0 likes 147 plays 0  

His 147C: Rorty

From  Michael Saler 0 likes 85 plays 0  

His 147C: Enlightenment Project of Modernity Pt. 2: Habermas

From  Michael Saler 0 likes 55 plays 0  

His 147C Lect. 3: The Tractatus

From  Michael Saler 0 likes 73 plays 0  

His 147B Franz Kafka, Part II: The Trial

From  Michael Saler 0 likes 27 plays 0  

His 147B: Kafka, Part 1

From  Michael Saler 0 likes 34 plays 0  

First Freud Lecture

From  Michael Saler 0 likes 89 plays 0  

His 147B: Lecture 4: Nietzsche's Genealogy of Morals, Part A

From  Michael Saler 0 likes 68 plays 0  

HIS 147B: Lecture 2 (recorded in 2021)

From  Michael Saler 0 likes 92 plays 0  

ECS 120 8a:3 introduction to NP-completeness and Boolean formulas

From  David Doty 0 likes 235 plays 0  

ECS 120 0:5 Boolean logic (discrete math review)

From  David Doty 1 likes 160 plays 0