Search for tag: "introduction"

Introduction Video to Distillation Section of Course

Introduction to Separation Processes 5: Distillation Section

From  John Christy on January 13th, 2021 0 likes 16 plays 0  

Greats: PhilSkills: How to write a philosophy essay

Greats: From Plato to the Enlightenment - Writing

From  Damian Caluori on January 6th, 2021 0 likes 387 plays 0  

PGHC11506 Ancient Egyptian Hieroglyphs: Week 1

Video by Dr Zsuzsanna Vegh for Ancient Egyptian Hieroglyphs Introduction: Week 1

From  Anna Raczynski on January 5th, 2021 0 likes 23 plays 0  

Introduction – Claudia Chirita

Meet the lecturers of Inf2D: Claudia Chirita.

From  Claudia-Elena Chirita on January 4th, 2021 0 likes 90 plays 0  

CL - 22 - Tseytin Satisfaction DPLL

N/A

From  Haoran Peng on December 1st, 2020 0 likes 97 plays 0  

CL - 21 - CNF KM Gentzen Tseytin

N/A

From  Haoran Peng on December 1st, 2020 0 likes 107 plays 0  

Who Am I - David Rush

A quick 5 minute introduction video of the course organiser for Tools for Engineering Design 2

From  David Rush on November 30th, 2020 0 likes 95 plays 0  

CL - 20 - syllogisms arrowrule

N/A

From  Haoran Peng on November 30th, 2020 0 likes 138 plays 0  

CL - 18 - rules

This is a raw video from 2019. I've not yet had time to edit it into chunks. If you have any questions, or find any errors, please let me know on Piazza.This lecture introduces a very important…

From  Haoran Peng on November 30th, 2020 0 likes 200 plays 0  

FP - Lecture 19 - Propositions as Types

This is the last FP video lecture, on Propositions as Types.

From  Claudia-Elena Chirita on November 29th, 2020 0 likes 341 plays 0  

Introduction to Alex Lascarides

Introduction to Alex Lascarides

From  Alexandra Lascarides on November 26th, 2020 0 likes 10 plays

CL - 17 - regex: Arden's lemma

This is a raw video from 2019. I've not yet had time to edit it into chunks. If you have any questions, or find any errors, please let me know on Piazza.

From  Haoran Peng on November 23rd, 2020 0 likes 222 plays 0  

CL - 16 - ε-transitions and the subset construction

This is a raw video from 2019. I've not yet had time to edit it into chunks. If you have any questions, or find any errors, please let me know on Piazza.

From  Haoran Peng on November 23rd, 2020 0 likes 224 plays 0  

CL - 15f - R* -- Iteration

We construct an NFA for R*; then summarize the algebra of regular expressions.

From  Haoran Peng on November 23rd, 2020 0 likes 225 plays 0  

CL - 15e - RS -- Concatenation

We use ε-transitions to connect two NFA and create a machine that recognises the concatenation of their languges.

From  Haoran Peng on November 23rd, 2020 0 likes 254 plays 0  

CL - 15d - Using ε-transitions

We present a first example of the use of ε-transitions to concstruct new mahines, and pose a problem to be answered in the following video.

From  Haoran Peng on November 23rd, 2020 0 likes 238 plays 0