Search for tag: "computers"

CogSci Lecture 2 part 1

Introduction to Cognitive Science lecture 2 part 1 2021-22 Jia Loy Computation in cognitive science

From  Alistair Isaac on September 15th, 2021 0 likes 4 plays 0  

HCI Overview 2021 (INFR11017)

Overview of the content of the Human-Computer Interaction course.

From  Kami Vaniea on September 15th, 2021 0 likes 22 plays 0  

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 49 plays 0  

5.c

Third video of the Inf2D lecture on Adversarial Search.

From  Claudia-Elena Chirita on January 18th, 2021 0 likes 207 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 52 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 50 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 378 plays 0  

4.2 Algorithm society Internet and Society 2021

Internet and Society 2021

From  James Stewart on October 8th, 2020 0 likes 37 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 465 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 492 plays 0  

EPCC-PS-Online-MJ-Overview

Introduction to Programming Skills (INFD11016) by Mike Jackson

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

EPCC-PS-Introduction-2.3-Content

INFD11016: Lecture 1; Video 2 of 3

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

M2 W3 Defining Place

M2 W3 DefiningPlace

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