Search for tag: "phi"

PHYEPS30 Lecture 6(First Part)

PHYEPS30 Lecture 6(First Part)

+19 More
From  John Rundle 0 likes 14 plays 0  

mat180-2022-01-21

+19 More
From  Matthias Koeppe 0 likes 2 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…

+24 More
From  Phil Rogaway 0 likes 169 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 193 plays 0  

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

+19 More
From  David Doty 0 likes 23 plays 0  

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

+19 More
From  David Doty 0 likes 245 plays 0  

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

+19 More
From  David Doty 0 likes 192 plays 0  

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

+19 More
From  David Doty 0 likes 307 plays 0  

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

+19 More
From  David Doty 0 likes 279 plays 0  

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

+19 More
From  David Doty 0 likes 321 plays 0  

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

EEC-239A_Lecture 11 GMT20201109

+21 More
From  Sung-Joo Yoo 0 likes 14 plays 0  

MAT-21C: Lecture 27

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

+19 More
From  Joseph Biello 0 likes 237 plays 0  

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

+19 More
From  Hooman Rashtian 0 likes 262 plays 0  

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

+19 More
From  Hooman Rashtian 0 likes 293 plays 0  

Sinusoidal Response of Circuits (Part1: Differential Equation Approach)

+19 More
From  Hooman Rashtian 0 likes 368 plays 0  

Advanced Supersymmetry Lecture 1

The power of holomorphy.

+19 More
From  John Terning 0 likes 52 plays 0