51:17 duration 51 minutes 17 seconds
mat180-2022-02-25
42:06 duration 42 minutes 6 seconds
mat180-2022-01-19
01:20:16 duration 1 hour 20 minutes
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…
04:16 duration 4 minutes 16 seconds
ECS 120 5a:2 definition of separating extension…
ECS 120 5a:2 definition of separating extension and L-equivalence
05:26 duration 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:36 duration 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:55 duration 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:56 duration 11 minutes 56 seconds
ECS 220 4a:6.1-1 the polynomial hierarchy
04:31 duration 4 minutes 31 seconds
ECS 220 3b:5.4-4 Max-2-SAT
08:40 duration 8 minutes 40 seconds
ECS 220 2c:5.3-1 NAE-SAT is NP-complete
10:31 duration 10 minutes 31 seconds
ECS 220 2a:4.2-2 k-SAT for k=1,2,3
20:14 duration 20 minutes 14 seconds
ECS 120 8c:1 3SAT is reducible to IndSet
05:29 duration 5 minutes 29 seconds
ECS 120 8b:5 definition of the 3SAT problem
04:47 duration 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:36 duration 3 minutes 36 seconds
ECS 120 0:5 Boolean logic (discrete math review)