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 |
Lecture28 |
Prof.Venkatesh Raman |
27 Oct 2020 |

5 |
Algorithms Designs and Analysis |
Lecture07 |
Prof.Venkatesh Raman |
25 Aug 2016 |

6 |
Algorithms Designs and Analysis |
Lecture29 |
Prof.Venkatesh Raman |
27 Oct 2020 |

7 |
Algorithms Designs and Analysis |
Lecture08 |
Prof.Venkatesh Raman |
30 Aug 2016 |

8 |
Algorithms Designs and Analysis |
Lecture09 |
Prof.Venkatesh Raman |
6 Sep 2016 |

9 |
Algorithms Designs and Analysis |
Lecture10 |
Prof.Venkatesh Raman |
15 Sep 2016 |

10 |
Algorithms Designs and Analysis |
Lecture11 |
Prof.Venkatesh Raman |
12 Sep 2016 |