Search for tag: "bottom"

SL week 1 intro

Welcome to week 1 of Sustaining life, titled Reproduction and Embryology

From  Gavin Brown on January 3rd, 2021 0 likes 19 plays 0  

Distillation Lecture 3 2020 part 2

Distillation Lecture 3 2020 part 2

From  John Christy on December 31st, 2020 0 likes 7 plays 0  

Distillation Lecture 2 2020 part 4

Distillation Lecture 2 2020 part 4

From  John Christy on December 30th, 2020 0 likes 15 plays 0  

Distillation Lecture 2 2020 part 3

Distillation Lecture 2 2020 part 3

From  John Christy on December 30th, 2020 0 likes 15 plays 0  

Distillation Lecture 1 2020 part 3

Distillation Lecture 1 2020 part 3

From  John Christy on December 24th, 2020 0 likes 17 plays 0  

Programming Skills - Security (1)

Security (video 1)

From  Amrey Krause on November 24th, 2020 0 likes 22 plays 0  

CL - 11e - CNF by KM (II)

Description Pending

From  Haoran Peng on November 12th, 2020 0 likes 196 plays 0  

CL - 11b - CNF by Boolean algebra

Description Pending

From  Haoran Peng on November 12th, 2020 0 likes 254 plays 0  

CL - 11a - Expressions

This video introduces the idea that expressions are things we can study.We look first at evaluating algebraic expressions by substituting values for variables, and then do the same for Boolean…

From  Haoran Peng on November 12th, 2020 0 likes 294 plays 0  

CL - 12d - Counting

In this video we look at more complicated patterns of implications, and introduce a method for counting the satisfying valuations.

From  Haoran Peng on November 9th, 2020 0 likes 303 plays 0  

CL - 12c - chains

In this video we look at the next simplest example, chains of implications between atoms. We introduce the arrow rule.

From  Haoran Peng on November 9th, 2020 0 likes 274 plays 0  

CL - 8d - Sudoku II

In this video we translate this code for checking a solution described by a function s :: Int -> Int -> Int -> Bool into an expression in our language of Forms.This form uses 729…

From  Haoran Peng on November 1st, 2020 0 likes 310 plays 0  

One World Waves R Lopes-Barros

Ricardo Lopes-BarrosTitle: Strongly nonlinear effects on internal solitary waves in a three-layer fluid

From  OLLIE Quinn on October 29th, 2020 0 likes 7 plays 0  

Veering triangulations and their polynomials - Yair Minsky

Geometry and Topology online seminar series Veering triangulations and their polynomials Yair Minsky (Yale) 22 October 2020 An automated programme is used to generate the subtitles on this talk. You…

From  GILLIAN KERR on October 22nd, 2020 0 likes 23 plays 0  

CL - Implication

We derive the implication rule using the rules introduced last week.

From  Haoran Peng on October 20th, 2020 0 likes 369 plays 0  

CL - Lecture 4.h - Sequents 3

We can now give Gentzen's rules for ¬ ⋀ ⋁.

From  Claudia Chirita on October 15th, 2020 0 likes 346 plays 0