Search for tag: "phi"

PHYEPS30 Lecture 6(First Part)

PHYEPS30 Lecture 6(First Part)

From  John Rundle 0 likes 14 plays 0  

mat180-2022-01-21

From  Matthias Koeppe 0 likes 0 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 167 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 192 plays 0  

ECS 220 8c:8.6-1 Reachability expressed logically, and as a game between prover and skeptic

From  David Doty 0 likes 23 plays 0  

ECS 220 2c:5.3-1 NAE-SAT is NP-complete

From  David Doty 0 likes 227 plays 0  

ECS 120 8c:2 reduction between two problems is an algorithm, but it does not solve either problem

From  David Doty 0 likes 190 plays 0  

ECS 120 8c:1 3SAT is reducible to IndSet

From  David Doty 0 likes 303 plays 0  

ECS 120 8b:5 definition of the 3SAT problem

From  David Doty 0 likes 275 plays 0  

ECS 120 8a:4 implementation in Python and the Boolean satisfiability problem

From  David Doty 0 likes 317 plays 0  

EEC-239A_Lecture 11 GMT20201109-185722_EEC-239A-0_2560x1440

EEC-239A_Lecture 11 GMT20201109

From  S J Ben Yoo 0 likes 14 plays 0  

MAT-21C: Lecture 27

MAT-21C Lecture 2020-06-01 at 09:00

From  Joseph Biello 0 likes 237 plays 0  

Sinusoidal Response of Circuits (Part 3: Applying Phasor Transform)

From  Hooman Rashtian 0 likes 245 plays 0  

Sinusoidal Response of Circuits (Part 2: Phasor Transform Definition)

From  Hooman Rashtian 0 likes 274 plays 0  

Sinusoidal Response of Circuits (Part1: Differential Equation Approach)

From  Hooman Rashtian 0 likes 332 plays 0  

Advanced Supersymmetry Lecture 1

The power of holomorphy.

From  John Terning 0 likes 52 plays 0