Все публикации

0:04:42

Reasoning & Logic - Summations and Products

0:14:47

Reasoning & Logic - Structural induction

0:08:32

Reasoning & Logic - Translating to predicate logic

0:11:32

Reasoning & Logic - CNF (new version)

0:08:08

[Old Exam Question] Equivalence Relations

0:14:12

[Old Exam Question] Structural induction on a set of words

0:08:15

[Old exam question] Proof by division into cases

0:11:42

Creating Truth Tables for Compound Propositions

0:05:22

[Old Exam Question] Counterexamples

2:43:37

Automata, Computability, and Complexity: Lecture week 8 [Twitch VOD]

1:54:01

Algorithms & Data Structures Final Tutorial [Twitch VOD]

1:46:19

Algorithms & Data Structures Lecture Week 8 [Twitch VOD]

1:39:43

Algorithms & Data Structures: Tutorial Week 7 [Twitch VOD]

1:56:51

Automata, Computability, and Complexity Week 7 [Twitch VOD]

1:46:42

ADS Week 7 Lecture 2 [Twitch VOD]

1:46:12

ADS Week 7 Lecture 1 [Twitch VOD]

1:47:53

ADS-maths: Week 6 Tutorial 2 [Twitch VOD]

2:50:07

Automata, Computability, Complexity: Lecture week 6 [Twitch VOD]

1:44:03

Complexity Theory Lecture 6a [Twitch VOD]

1:45:25

ADS-maths Week 6 Tutorial 1 (Twitch VOD)

1:55:46

Algorithms & Data Structures lecture week 6 [Twitch VOD]

2:57:06

Lecture 5 of Automata, Computability, and Complexity [Twitch VOD]

0:06:46

Properties of Trees

0:03:43

Introduction to Trees (example)