Search for tag: "computers"

BMC BAMC 2021 Kevin Buzzard

6-9 April 2021, BMC BAMC 2021 Titled: When Will Computers Prove Theorems? This was a BMC morning talk by Kevin Buzzard (Imperial College London) This session was supported by the Edinburgh…

From  Sophia Martin on April 21st, 2021 0 likes 42 plays 0  

5.c

Third video of the Inf2D lecture on Adversarial Search.

From  Claudia-Elena Chirita on January 18th, 2021 0 likes 204 plays 0  

CDCS Annual Lecture: Aimée Morrison

The Centre for Data, Culture & Society presents the inaugural CDCS Annual Lecture 2020: 'Hello World: or, how we learned to stop worrying, and love the computer' In this lecture, Prof…

From  Roisin O'Brien on December 16th, 2020 0 likes 42 plays 0  

Language Production Lecture 10 Part 31

Alignment, computers, conclusion

From  Martin Pickering on November 30th, 2020 0 likes 10 plays 0  

INFD11016 Week 7: Computer Basics

Computer-Basics-Online

From  William Jackson on November 2nd, 2020 0 likes 49 plays 0  

CL - 7c - Language I

In this video we introduce the idea of a formal language — a language whose expressions can be represented in Haskell.We begin with a simple example, a language of clausal forms in which the…

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

4.2 Algorithm society Internet and Society 2020

INternet and Society 2020

From  James Stewart on October 8th, 2020 0 likes 36 plays 0  

FP - Lecture 6 - Map, Filter, Fold

This FP lecture video presents the concepts of map, filter, and fold.

From  Claudia-Elena Chirita on October 4th, 2020 0 likes 519 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 463 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 481 plays 0  

EPCC-PS-Online-MJ-Overview

Introduction to Programming Skills (INFD11016) by Mike Jackson

From  Michael Jackson on August 10th, 2020 0 likes 61 plays 0  

EPCC-PS-Introduction-2.3-Content

INFD11016: Lecture 1; Video 2 of 3

From  Michael Jackson on August 10th, 2020 0 likes 83 plays 0  

M2 W3 Defining Place

M2 W3 DefiningPlace

From  Geoffrey Fortescue on August 3rd, 2020 0 likes 51 plays 0  

EPCC-PS-WritingProgramsForPeople-1.5-Intro

INFD11016: Lecture 3; Video 1 of 5

From  Michael Jackson on July 29th, 2020 0 likes 77 plays 0  

EPCC-PS-Conclusion-1.3-BestPracticesI

Conclusion (video 1)

From  Michael Jackson on July 29th, 2020 0 likes 31 plays 0