Search for tag: "phi"

20 Media

PHYEPS30 Lecture 6(First Part) duration 1 hour 9 minutes PHYEPS30 Lecture 6(First Part) PHYEPS30 Lecture 6(First Part)	PHYEPS30 Lecture 6(First Part) PHYEPS30 Lecture 6(First Part) mandelbrot +19 More From John Rundle 0 likes 14 plays 0
mat180-2022-01-21 duration 40 minutes 37 seconds mat180-2022-01-21 mat180-2022-01-21	mat180-2022-01-21 variables +19 More From Matthias Koeppe 0 likes 3 plays 0
ECS20 - W22 - Lecture 4 (2R): Logic 3 duration 1 hour 22 minutes ECS20 - W22 - Lecture 4 (2R): Logic 3 ECS20 - W22 - Lecture 4 (2R): Logic 3	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… circuit +24 More From Phil Rogaway 0 likes 171 plays 0
ECS20 - W22 - Lecture 3 (2T): Logic 2 duration 1 hour 20 minutes ECS20 - W22 - Lecture 3 (2T): Logic 2 ECS20 - W22 - Lecture 3 (2T): Logic 2	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… boolean operators +25 More From Phil Rogaway 0 likes 194 plays 0
ECS 220 8c:8.6-1 Reachability expressed… duration 11 minutes 57 seconds ECS 220 8c:8.6-1 Reachability expressed… ECS 220 8c:8.6-1 Reachability expressed logically, and as a game between prover and skeptic	ECS 220 8c:8.6-1 Reachability expressed logically, and as a game between prover and skeptic edge +19 More From David Doty 0 likes 23 plays 0
ECS 220 2c:5.3-1 NAE-SAT is NP-complete duration 8 minutes 40 seconds ECS 220 2c:5.3-1 NAE-SAT is NP-complete ECS 220 2c:5.3-1 NAE-SAT is NP-complete	ECS 220 2c:5.3-1 NAE-SAT is NP-complete assignment +19 More From David Doty 0 likes 254 plays 0
ECS 120 8c:2 reduction between two problems is an… duration 2 minutes 3 seconds ECS 120 8c:2 reduction between two problems is an… ECS 120 8c:2 reduction between two problems is an algorithm, but it does not solve either problem	ECS 120 8c:2 reduction between two problems is an algorithm, but it does not solve either problem question +19 More From David Doty 0 likes 216 plays 0
ECS 120 8c:1 3SAT is reducible to IndSet duration 20 minutes 14 seconds ECS 120 8c:1 3SAT is reducible to IndSet ECS 120 8c:1 3SAT is reducible to IndSet	ECS 120 8c:1 3SAT is reducible to IndSet phi +19 More From David Doty 0 likes 341 plays 0
ECS 120 8b:5 definition of the 3SAT problem duration 5 minutes 29 seconds ECS 120 8b:5 definition of the 3SAT problem ECS 120 8b:5 definition of the 3SAT problem	ECS 120 8b:5 definition of the 3SAT problem formula +19 More From David Doty 0 likes 311 plays 0
ECS 120 8a:4 implementation in Python and the… duration 9 minutes 28 seconds ECS 120 8a:4 implementation in Python and the… ECS 120 8a:4 implementation in Python and the Boolean satisfiability problem	ECS 120 8a:4 implementation in Python and the Boolean satisfiability problem formula +19 More From David Doty 0 likes 358 plays 0
EEC-239A_Lecture 11… duration 1 hour 58 minutes EEC-239A_Lecture 11… EEC-239A_Lecture 11 GMT20201109-185722_EEC-239A-0_2560x1440	EEC-239A_Lecture 11 GMT20201109-185722_EEC-239A-0_2560x1440 EEC-239A_Lecture 11 GMT20201109 eec239a +21 More From Sung-Joo Yoo 0 likes 14 plays 0
MAT-21C: Lecture 27 duration 55 minutes 22 seconds MAT-21C: Lecture 27 MAT-21C: Lecture 27	MAT-21C: Lecture 27 MAT-21C Lecture 2020-06-01 at 09:00 vector +19 More From Joseph Biello 0 likes 240 plays 0
Sinusoidal Response of Circuits (Part 3: Applying… duration 9 minutes 12 seconds Sinusoidal Response of Circuits (Part 3: Applying… Sinusoidal Response of Circuits (Part 3: Applying Phasor Transform)	Sinusoidal Response of Circuits (Part 3: Applying Phasor Transform) omega +19 More From Hooman Rashtian 0 likes 275 plays 0
Sinusoidal Response of Circuits (Part 2: Phasor… duration 7 minutes 57 seconds Sinusoidal Response of Circuits (Part 2: Phasor… Sinusoidal Response of Circuits (Part 2: Phasor Transform Definition)	Sinusoidal Response of Circuits (Part 2: Phasor Transform Definition) alpha +19 More From Hooman Rashtian 0 likes 309 plays 0
Sinusoidal Response of Circuits (Part1:… duration 9 minutes 51 seconds Sinusoidal Response of Circuits (Part1:… Sinusoidal Response of Circuits (Part1: Differential Equation Approach)	Sinusoidal Response of Circuits (Part1: Differential Equation Approach) omega +19 More From Hooman Rashtian 0 likes 387 plays 0
Advanced Supersymmetry Lecture 1 duration 1 hour 13 minutes Advanced Supersymmetry Lecture 1 Advanced Supersymmetry Lecture 1	Advanced Supersymmetry Lecture 1 The power of holomorphy. lambda +19 More From John Terning 0 likes 52 plays 0