01:20:16
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
ECS 120 5a:2 definition of separating extension…
ECS 120 5a:2 definition of separating extension and L-equivalence
05:26
ECS 220 6c:7.2-4 Gödel’s…
ECS 220 6c:7.2-4 Gödel’s Incompleteness Theorem (consistency)
06:36
ECS 220 6c:7.2-3 Gödel’s…
ECS 220 6c:7.2-3 Gödel’s Incompleteness Theorem (soundness)
05:55
ECS 220 6c:7.2-2 From undecidable problems to…
ECS 220 6c:7.2-2 From undecidable problems to unprovable truths
11:56
ECS 220 4a:6.1-1 the polynomial hierarchy
04:31
ECS 220 3b:5.4-4 Max-2-SAT
08:40
ECS 220 2c:5.3-1 NAE-SAT is NP-complete
10:31
ECS 220 2a:4.2-2 k-SAT for k=1,2,3
20:14
ECS 120 8c:1 3SAT is reducible to IndSet
05:29
ECS 120 8b:5 definition of the 3SAT problem
04:47
ECS 120 8a:3 introduction to NP-completeness and…
ECS 120 8a:3 introduction to NP-completeness and Boolean formulas
03:36
ECS 120 0:5 Boolean logic (discrete math review)
AggieVideo video portal by Academic Technology ServicesUC Davis | Information and Educational Technology | User Guides and Technical Documentation