Amir Goharshady

1.02K subscribers

266 videos

View on YouTube

For more info, see my web page: https://amir.goharshady.com/

Latest Videos

Oxford Algorithms and Data Structures - Lecture 16 - Parameterized and Exponential-time Algorithms

Oxford Algorithms and Data Structures - Lecture 16 - Parameterized and Exponential-time Algorithms

Amir Goharshady

73 views·2 months ago

Oxford Algorithms and Data Structures - Lecture 15 - Parameterized and Exponential-time Algorithms

Oxford Algorithms and Data Structures - Lecture 15 - Parameterized and Exponential-time Algorithms

Amir Goharshady

122 views·2 months ago

Oxford Algorithms and Data Structures - Lecture 14 - Approximation Algorithms

Oxford Algorithms and Data Structures - Lecture 14 - Approximation Algorithms

Amir Goharshady

51 views·2 months ago

Oxford Algorithms and Data Structures - Lecture 13 - Approximation Algorithms

Oxford Algorithms and Data Structures - Lecture 13 - Approximation Algorithms

Amir Goharshady

102 views·2 months ago

Oxford Algorithms and Data Structures - Lecture 12 - Examples of NP-complete Problems

Oxford Algorithms and Data Structures - Lecture 12 - Examples of NP-complete Problems

Amir Goharshady

107 views·2 months ago

Oxford Algorithms and Data Structures - Lecture 11 - Reductions, P, NP and NP-Completeness

Oxford Algorithms and Data Structures - Lecture 11 - Reductions, P, NP and NP-Completeness

Amir Goharshady

113 views·2 months ago

Oxford Algorithms and Data Structures - Lecture 10 - Reductions to Linear Programming

Oxford Algorithms and Data Structures - Lecture 10 - Reductions to Linear Programming

Amir Goharshady

80 views·2 months ago

Oxford Algorithms and Data Structures - Lecture 9 - An Intuitive Introduction to Linear Programming

Oxford Algorithms and Data Structures - Lecture 9 - An Intuitive Introduction to Linear Programming

Amir Goharshady

83 views·2 months ago

Oxford Algorithms and Data Structures - Lecture 8 - Minimum-cost Perfect Matching

Oxford Algorithms and Data Structures - Lecture 8 - Minimum-cost Perfect Matching

Amir Goharshady

71 views·2 months ago

Oxford Algorithms and Data Structures - Lecture 7 - Edmonds-Karp and Applications of Network Flow

Oxford Algorithms and Data Structures - Lecture 7 - Edmonds-Karp and Applications of Network Flow

Amir Goharshady

51 views·2 months ago

Oxford Algorithms and Data Structures - Lecture 6 - Network Flows, Max-flow Min-cut, Ford-Fulkerson

Oxford Algorithms and Data Structures - Lecture 6 - Network Flows, Max-flow Min-cut, Ford-Fulkerson

Amir Goharshady

108 views·2 months ago

Oxford Algorithms and Data Structures - Lecture 5 - Binary, Binomial and Fibonacci Heaps

Oxford Algorithms and Data Structures - Lecture 5 - Binary, Binomial and Fibonacci Heaps

Amir Goharshady

101 views·2 months ago

Oxford Algorithms and Data Structures - Lecture 4 - Splay Trees

Oxford Algorithms and Data Structures - Lecture 4 - Splay Trees

Amir Goharshady

205 views·2 months ago

Oxford Algorithms and Data Structures - Lecture 3 - Binary Search Trees and Red-Black Trees

Oxford Algorithms and Data Structures - Lecture 3 - Binary Search Trees and Red-Black Trees

Amir Goharshady

128 views·2 months ago

Oxford Algorithms and Data Structures - Lecture 2 - Disjoint Sets with Union

Oxford Algorithms and Data Structures - Lecture 2 - Disjoint Sets with Union

Amir Goharshady

240 views·2 months ago

Lecture 16 - Gödel's Incompleteness Theorem

Lecture 16 - Gödel's Incompleteness Theorem

Amir Goharshady

62 views·2 months ago

Lecture 15 - System T and Curry-Howard

Lecture 15 - System T and Curry-Howard

Amir Goharshady

24 views·2 months ago

Lecture 14 - Principal Types

Lecture 14 - Principal Types

Amir Goharshady

18 views·2 months ago

Lecture 13 - Strong Normalisation

Lecture 13 - Strong Normalisation

Amir Goharshady

20 views·2 months ago

Lecture 12 - Simple Types and Weak Normalisation

Lecture 12 - Simple Types and Weak Normalisation

Amir Goharshady

15 views·2 months ago

Lecture 11 - Lambda-algebras and Simple Types

Lecture 11 - Lambda-algebras and Simple Types

Amir Goharshady

15 views·2 months ago

Lecture 10 - Combinatory Logic

Lecture 10 - Combinatory Logic

Amir Goharshady

16 views·2 months ago

Lecture 9 - Undecidability, Halting, Rice and Scott-Curry

Lecture 9 - Undecidability, Halting, Rice and Scott-Curry

Amir Goharshady

14 views·2 months ago

Lecture 8 - Solvability, Definability and Church-Kleene

Lecture 8 - Solvability, Definability and Church-Kleene

Amir Goharshady

20 views·2 months ago

Lecture 7 - Leftmost Reductions, Booleans and Church Numerals

Lecture 7 - Leftmost Reductions, Booleans and Church Numerals

Amir Goharshady

20 views·2 months ago

Lecture 6 - Böhm's Theorem and Reduction Strategies

Lecture 6 - Böhm's Theorem and Reduction Strategies

Amir Goharshady

21 views·2 months ago

Lecture 5 - Uniqueness of Normal Forms

Lecture 5 - Uniqueness of Normal Forms

Amir Goharshady

18 views·2 months ago

Lecture 4 - Church-Rosser Reductions

Lecture 4 - Church-Rosser Reductions

Amir Goharshady

25 views·2 months ago

Lecture 3 - First Recursion Theorem

Lecture 3 - First Recursion Theorem

Amir Goharshady

33 views·2 months ago

Lecture 2 - Alpha and Beta Conversion

Lecture 2 - Alpha and Beta Conversion

Amir Goharshady

46 views·2 months ago

Load More Videos

Amir Goharshady - NatokHD | NatokHD