1 |
Mathematical Logic for Theoretical Computer Science |
First order logic: Semantics |
R Ramanujam |
14 Sep 2020 |
2 |
Mathematical Logic for Theoretical Computer Science |
First Order Logic: Syntax |
R Ramanujam |
10 Sep 2020 |
3 |
Mathematical Logic for Theoretical Computer Science |
Logical Languages |
R Ramanuam |
8 Sep 2020 to 9 Sep 2020 |
4 |
Algorithms Designs and Analysis |
Lecture10 |
Prof.Venkatesh Raman |
15 Sep 2016 |
5 |
Algorithms Designs and Analysis |
Lecture11 |
Prof.Venkatesh Raman |
12 Sep 2016 |
6 |
Algorithms Designs and Analysis |
Lecture12 |
Prof.Venkatesh Raman |
15 Sep 2016 |
7 |
Advanced_Parameterized_Complexity |
Lecture 01 |
Saket Saurabh |
25 May 2017 |
8 |
Algorithms Designs and Analysis |
Lecture13 |
Prof.Venkatesh Raman |
16 Sep 2016 |
9 |
Advanced_Parameterized_Complexity |
Lecture 03 |
Saket Saurabh |
25 May 2017 |
10 |
Algorithms Designs and Analysis |
Lecture14 |
Prof.Venkatesh Raman |
7 Apr 2025 |