Mod-01 Lec-27 Substitutions and Instantiations

About this video

Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidence

Explains substitutions and instantiations in predicate logic. Lecture on variable replacement and formula instantiation.

A 49-minute video from nptelhrd: “Mod-01 Lec-27 Substitutions and Instantiations”.

Science & Math Lectures

Video by nptelhrd, played through YouTube's embedded player.

Part of Computer - Logic for CS

Lec 1 | MIT 18.06 Linear Algebra, Spring 2005 MIT OpenCourseWareScience & Math

4.93M views

AT&T Archives: Similiarities of Wave Behavior (Bonus Edition)AT&T Tech ChannelEngineering

474K views

Lecture 1: Introduction to Superposition MIT OpenCourseWareScience & Math

Intro9.37M views

Powers of Ten™ (1977)Eames OfficeLectures

9.48M views

1. Introduction to Human Behavioral Biology StanfordScience & Math

Intro20.5M views

Doug McLean | Common Misconceptions in Aerodynamics Michigan EngineeringEngineering

857K views

MIT's Pathway to Fusion Energy (IAP 2017) - Zach Hartwig MIT Plasma Science and Fusion CenterEngineering

121K views

46:02

On the Nature of Time According to Modern Physics - Jim Al-Khalili Gresham CollegeLectures

215K views

"Why Zebras Don't Get Ulcers: Stress and Health" by Dr. Robert Sapolsky Beckman Institute at IllinoisLectures

1.12M views

48:51

3. Plague (I): Pestilence as Disease YaleCoursesHistory

52.4K views

53:58

Decoding the Universe: Quantum | Full Documentary | NOVA | PBS NOVA PBS OfficialLectures

8.96M views

1:07:41

Come With Me Inside a Black Hole | Carlo Rovelli Public Lecture Perimeter Institute for Theoretical PhysicsLectures

Intro1.4M views

Lec 1 | MIT 18.06 Linear Algebra, Spring 2005

MIT OpenCourseWare

4.93M views

Gilbert Strang's first lecture of MIT 18.06: the geometry of linear equations.

AT&T Archives: Similiarities of Wave Behavior (Bonus Edition)

AT&T Tech Channel

474K views

Bell Labs' J.N. Shive uses a mechanical wave machine to show reflection, standing waves, resonance and impedance matching — the ideas behind transmission lines.

Lecture 1: Introduction to Superposition

MIT OpenCourseWare

Intro9.37M views

MIT 8.04 Quantum Physics I, lecture 1: superposition, introduced through experiments with 'hardness' and 'color'.

Powers of Ten™ (1977)

Eames Office

9.48M views

Charles and Ray Eames's classic short film zooming out and in by powers of ten, from a picnic to the edge of the known universe and down to a proton.

1. Introduction to Human Behavioral Biology

Stanford

Intro20.5M views

Robert Sapolsky's opening lecture on human behavioral biology — and on avoiding categorical thinking.

Doug McLean | Common Misconceptions in Aerodynamics

Michigan Engineering

857K views

Boeing aerodynamicist Doug McLean dismantles popular wrong explanations of lift and explains what really happens.

MIT's Pathway to Fusion Energy (IAP 2017) - Zach Hartwig

MIT Plasma Science and Fusion Center

121K views

MIT PSFC's Zach Hartwig lays out the physics and engineering case for compact high-field tokamaks using new superconducting magnets.

46:02

On the Nature of Time According to Modern Physics - Jim Al-Khalili

Gresham College

215K views

Jim Al-Khalili explains what modern physics says about time: relativity, the block universe, entropy and the arrow of time.

"Why Zebras Don't Get Ulcers: Stress and Health" by Dr. Robert Sapolsky

Beckman Institute at Illinois

1.12M views

Robert Sapolsky's lecture on stress physiology: why the stress response helps zebras but harms chronically stressed humans.

48:51

3. Plague (I): Pestilence as Disease

YaleCourses

52.4K views

Frank Snowden on bubonic plague as a disease: the bacterium, its transmission and the Black Death's demographic impact.

53:58

Decoding the Universe: Quantum | Full Documentary | NOVA | PBS

NOVA PBS Official

8.96M views

NOVA's documentary on quantum mechanics: superposition, entanglement and the experiments that established them, with working physicists.

1:07:41

Come With Me Inside a Black Hole | Carlo Rovelli Public Lecture

Perimeter Institute for Theoretical Physics

Intro1.4M views

Carlo Rovelli takes the audience inside a black hole: horizons, what general relativity predicts and what loop quantum gravity suggests at the centre.