51:17duration 51 minutes 17 seconds
mat180-2022-02-25
42:06duration 42 minutes 6 seconds
mat180-2022-01-19
01:20:16duration 1 hour 20 minutes
ECS20 - W22 - Lecture 2 (1R): Logic 1
Familiar sets and operators on them. The boolean…
04:16duration 4 minutes 16 seconds
ECS 120 5a:2 definition of separating extension…
ECS 120 5a:2 definition of separating extension and L-equivalence
05:26duration 5 minutes 26 seconds
ECS 220 6c:7.2-4 Gödel’s…
ECS 220 6c:7.2-4 Gödel’s Incompleteness Theorem (consistency)
06:36duration 6 minutes 36 seconds
ECS 220 6c:7.2-3 Gödel’s…
ECS 220 6c:7.2-3 Gödel’s Incompleteness Theorem (soundness)
05:55duration 5 minutes 55 seconds
ECS 220 6c:7.2-2 From undecidable problems to…
ECS 220 6c:7.2-2 From undecidable problems to unprovable truths
11:56duration 11 minutes 56 seconds
ECS 220 4a:6.1-1 the polynomial hierarchy
04:31duration 4 minutes 31 seconds
ECS 220 3b:5.4-4 Max-2-SAT
08:40duration 8 minutes 40 seconds
ECS 220 2c:5.3-1 NAE-SAT is NP-complete
10:31duration 10 minutes 31 seconds
ECS 220 2a:4.2-2 k-SAT for k=1,2,3
20:14duration 20 minutes 14 seconds
ECS 120 8c:1 3SAT is reducible to IndSet
05:29duration 5 minutes 29 seconds
ECS 120 8b:5 definition of the 3SAT problem
04:47duration 4 minutes 47 seconds
ECS 120 8a:3 introduction to NP-completeness and…
ECS 120 8a:3 introduction to NP-completeness and Boolean formulas
03:36duration 3 minutes 36 seconds
ECS 120 0:5 Boolean logic (discrete math review)