Search for tag: "universe"

Lecture 3 - History of Planet Earth - ESM 120 (Winter 2023)

Lecture 3. Carl Sagan once stated, “We’re made of star stuff.” Today, we are going to discuss why that phrase is 100% true. This lecture, we will discuss a brief history of our…

From  Rebecca Hernandez 0 likes 134 plays 0  

Many Worlds Interpretation of Quantum Mechanics

Advocates of the Many Worlds Interpretation make their pitch. From Veritasium https://www.youtube.com/watch?v=kTXTPe3wahc

From  John Terning 0 likes 27 plays 0  

14th Joint Math/Stat Colloquium by Brice Menard (JHU)

This is a video recording of the 14th Joint Math/Stat Colloquium (also a part of the MADDD seminar series) by Prof. Brice Menard (Johns Hopkins Univ.) on "Data Science and Science with…

From  Naoki Saito 0 likes 78 plays 0  

ECS20 - W22 - Lecture 17 (9T): Counting 2

Lecture 2022-03-01. Review of counting principles. Then, another day of examples, these leading to probability calculations.

+13 More
From  Phil Rogaway 0 likes 80 plays 0  

ECS20 - W22 - Lecture 16 (8R): Counting 1

Lecture 2022-02-24. Principles of counting: sum rule, product rule, inclusion/exclusion. Exponentiation, factorial, permutations, and combinations. Lots of examples.

From  Phil Rogaway 0 likes 71 plays 0  

The Science of Everyday Life

from the BBC

+7 More
From  John Terning 0 likes 9 plays 0  

ECS20 - W22 - Lecture 6 (3R): Sets 1

NOTE: "Typo" in what I wrote on one slide: R={x: x \not\in x}. Basics of sets. The only basic vocabulary is \in and \emptyset. Defining other relations: union, intersection complement,…

+26 More
From  Phil Rogaway 0 likes 130 plays 0  

ECS20 - W22 - Lecture 6 (3R): Sets 1 (full)

Basics of sets. The only basic vocabulary is \in and \emptyset. Defining other relations: union, intersection complement, set difference, symmetric difference. Identities and their proofs, including…

+25 More
From  Phil Rogaway 0 likes 12 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  

Lecture 3 - History of Planet Earth - ESM 120 (Winter 2022)

Lecture 3. Carl Sagan once stated, “We’re made of star stuff.” Today, we are going to discuss why that phrase is 100% true. This lecture, we will discuss a brief history of our…

+19 More
From  Rebecca Hernandez 0 likes 96 plays 0  

Phy129A-Class19.mp4

+19 More
From  Manuel Calderon de la Barca Sanchez 0 likes 32 plays 0  

Space Explorer

by Amanda Huang and Derek Neyer

+19 More
From  John Terning 0 likes 2 plays 0  

ECS 120 5c:1 introduction to Turing machines (TM)

+19 More
From  David Doty 1 likes 440 plays 0  

1-20-21: Astro/Cosmo

+19 More
From  Rena Zieve 0 likes 14 plays 0  

Lecture 3 - History of Planet Earth - ESM 120 (Winter 2021)

Lecture 3. Carl Sagan once stated, “We’re made of star stuff.” Today, we are going to discuss why that phrase is 100% true. This lecture, we will discuss a brief history of our…

From  Rebecca Hernandez 0 likes 90 plays 0  

mat168-modeling5

+19 More
From  Jesus De Loera 0 likes 91 plays 0