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

5.c

Third video of the Inf2D lecture on Adversarial Search.

From  Claudia-Elena Chirita on January 18th, 2021 0 likes 202 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 39 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 371 plays 0  

4.2 Algorithm society Internet and Society 2020

INternet and Society 2020

From  James Stewart on October 8th, 2020 0 likes 35 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 500 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 457 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 466 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  

How to Choose a Microphone

Whether you are creating online course content or generating your own media projects, you may have the occasion to film and edit remotely using your own equipment. This short video tutorial provides…

From  Calum Macphail on June 5th, 2020 1 likes 70 plays 0