Search for tag: "logic"

Inf1A textbook

This is a video about the textbook written by Don Sannella for the course Inf1A - Introduction to Computation. The video explains where to find the book, how to use the book, and how to ask…

From  Claudia-Elena Chirita on September 15th, 2020 0 likes 103 plays 0  

Introduction to Introduction to Computation

Welcome! This is the Introduction to Introduction to Computation course: Lecture 0 of Inf1A.

From  Claudia-Elena Chirita on September 12th, 2020 0 likes 239 plays 0  

CL - 2019 Lecture 1

This is an old recording of Lecture 1, from 2019.

From  Claudia-Elena Chirita on September 12th, 2020 0 likes 10 plays 0  

CL - Lecture 1.x - Introduction to models

Nothing technical here. In this video I introduce some important questions about mathematical, logical and computational models, to start you thinking about the relationship between the virtual …

From  Claudia-Elena Chirita on September 11th, 2020 0 likes 17 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 19 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 17 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 16 plays 0  

CL - Lecture 1.c - Encodings

In this video, we revisit the chess set to introduce another encoding. We introduce decision trees and compare the two codings.

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

CL - Lecture 1.b - Binary Questions

This video uses a chess set as a worked example to show how we can encode information in binary form.

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

CL - Lecture 1.a - Binary Data

In this video, we introduce binary data as a simple example of information, and show how apparently more-complex examples can be encoded as binary data.

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

CL - Lecture 0

This is the introductory lecture to Computation and Logic, part of Inf1A - Introduction to Computation [2020/2021]. Before getting down to business, there are a few general points to be made about…

From  Claudia-Elena Chirita on September 3rd, 2020 1 likes 187 plays 0  

1.0 LCIintrolec

intro video

From  Paul Schweizer on September 2nd, 2020 0 likes 22 plays 0  

logic1-trailer

video for course options fair

From  Brian Rabern on August 17th, 2020 3 likes 42 plays 0  

Philosophy prehonours courses: introduction. 2020-21

Philosophy prehonours course choices overview. 2020-21 Dr Guy Fletcher

From  Guy Fletcher on August 17th, 2020 0 likes 36 plays 0  

16a

Why Planning?

From  Alexandra Lascarides on June 28th, 2020 0 likes 13 plays 0