Search for tag: "disk"

B Williams LMS Autumn Algebra School

Brian Williams: Infinite-dimensional Lie algebras and their multivariable generalizations

From  OLLIE Quinn on September 24th, 2020 0 likes 9 plays 0  

CL - Lecture 1.h - A Small Universe in Haskell

We represent our small universe in Haskell. If this doesn't yet make sense, don't worry; come back to this once you're a bit more familiar with Haskell. There is a slight…

From  Claudia-Elena Chirita on September 11th, 2020 0 likes 644 plays 0  

CL - Lecture 1.e - Categorical Propositions

Propositions say something about the world. In this video we define the meanings of some Aristotelian propositions. The meaning is given by defining the validity of a proposition in a universe.…

From  Claudia-Elena Chirita on September 11th, 2020 0 likes 481 plays 0  

CL - Lecture 1.d - A Small Universe

We introduce a very small universe, and some examples of propositions — statements we may make about the universe.

From  Claudia-Elena Chirita on September 11th, 2020 0 likes 464 plays 0