John Levine

@UCUbp3Qabq6iYQrN2QC-ZUXw - 23.3K subscribers

I lecture Computer Science and Artificial Intelligence at the University of Strathclyde, Glasgow, UK.

Home Videos Live Playlists

CS103: Lecture 22

CS103: Lecture 22 John Levine

2.6K views - 5 years ago

CS103: Haskell online tutorial, Part 1

CS103: Haskell online tutorial, Part 1 John Levine

2K views - 5 years ago

CS103: Haskell online tutorial, Part 2

CS103: Haskell online tutorial, Part 2 John Levine

779 views - 5 years ago

CS103: Lecture 21

CS103: Lecture 21 John Levine

1.3K views - 5 years ago

CS103: Welcome to Week 10

CS103: Welcome to Week 10 John Levine

499 views - 5 years ago

CS103: Lecture 20

CS103: Lecture 20 John Levine

1.1K views - 5 years ago

CS103: Lecture 19

CS103: Lecture 19 John Levine

1.1K views - 5 years ago

CS103: Lecture 18

CS103: Lecture 18 John Levine

1K views - 5 years ago

CS103: Welcome to Week 9

CS103: Welcome to Week 9 John Levine

424 views - 5 years ago

Step 8.10 Exercise: Answers and Explanations

Step 8.10 Exercise: Answers and Explanations John Levine

709 views - 5 years ago

The diagonalisation argument, Part 2

The diagonalisation argument, Part 2 John Levine

4.3K views - 5 years ago

The diagonalisation argument, Part 1

The diagonalisation argument, Part 1 John Levine

15.3K views - 5 years ago

CS103: Lecture 17

CS103: Lecture 17 John Levine

560 views - 5 years ago

CS103: Lecture 16

CS103: Lecture 16 John Levine

549 views - 5 years ago

CS103: Lecture 15

CS103: Lecture 15 John Levine

708 views - 5 years ago

CS103: Welcome to Week 8

CS103: Welcome to Week 8 John Levine

433 views - 5 years ago

CS103: Lecture 14

CS103: Lecture 14 John Levine

686 views - 5 years ago

CS103: Lecture 13

CS103: Lecture 13 John Levine

760 views - 5 years ago

CS103: Welcome to Week 6

CS103: Welcome to Week 6 John Levine

505 views - 5 years ago

CS103: Proof by Induction - Revision Example 1

CS103: Proof by Induction - Revision Example 1 John Levine

928 views - 5 years ago

CS103: Proof by Induction - Revision Example 2

CS103: Proof by Induction - Revision Example 2 John Levine

604 views - 5 years ago

CS103: Direct Proof - Revision Example

CS103: Direct Proof - Revision Example John Levine

640 views - 5 years ago

CS103: Potato Diagrams

CS103: Potato Diagrams John Levine

810 views - 5 years ago

CS103: An Example Algorithm

CS103: An Example Algorithm John Levine

821 views - 5 years ago

CS103: Decision Procedures

CS103: Decision Procedures John Levine

874 views - 5 years ago

CS103 Lecture 10

CS103 Lecture 10 John Levine

349 views - 5 years ago

CS103 Lecture 9

CS103 Lecture 9 John Levine

344 views - 5 years ago

CS103: Lecture 8

CS103: Lecture 8 John Levine

367 views - 5 years ago

CS103: How to download and install Python

CS103: How to download and install Python John Levine

260 views - 5 years ago

CS103, Lecture 7

CS103, Lecture 7 John Levine

406 views - 5 years ago

CS103, Lecture 6

CS103, Lecture 6 John Levine

328 views - 5 years ago

CS103, Lecture 5

CS103, Lecture 5 John Levine

361 views - 5 years ago

CS103 Lecture 4

CS103 Lecture 4 John Levine

441 views - 5 years ago

CS103 Lecture 3

CS103 Lecture 3 John Levine

625 views - 5 years ago

CS103 Lecture 2

CS103 Lecture 2 John Levine

1.2K views - 5 years ago

CS103 Lecture 1

CS103 Lecture 1 John Levine

4K views - 5 years ago

Welcome to CS103

Welcome to CS103 John Levine

4.3K views - 5 years ago

Constraint Satisfaction: the AC-3 algorithm

Constraint Satisfaction: the AC-3 algorithm John Levine

175.3K views - 6 years ago

Constraint Satisfaction: introduction

Constraint Satisfaction: introduction John Levine

117.8K views - 6 years ago

CS103: Proof by Induction

CS103: Proof by Induction John Levine

8.6K views - 7 years ago

CS103: Another Direct Proof

CS103: Another Direct Proof John Levine

2.1K views - 7 years ago

CS103: Direct Proof

CS103: Direct Proof John Levine

3.8K views - 7 years ago

CS103: Infinite Sets and Definitions

CS103: Infinite Sets and Definitions John Levine

1.7K views - 7 years ago

Iterative Deepening

Iterative Deepening John Levine

149.4K views - 8 years ago

Depth First Search

Depth First Search John Levine

133.5K views - 8 years ago

Breadth First Search - Part 2

Breadth First Search - Part 2 John Levine

59.6K views - 8 years ago

Breadth First Search - Part 1

Breadth First Search - Part 1 John Levine

111.8K views - 8 years ago

A* Search John Levine

543.2K views - 9 years ago

Uniform Cost Search

Uniform Cost Search John Levine

510.7K views - 9 years ago

Minimax with Alpha Beta Pruning

Minimax with Alpha Beta Pruning John Levine

436K views - 9 years ago

Monte Carlo Tree Search

Monte Carlo Tree Search John Levine

202.5K views - 9 years ago