Regular Classes: Monday & Wednesday at 11:10AM to 12:55PM
Class Venue: ASU Seminar room
Discussion Hours with TAs: 2-4PM on Friday for MTech CRS, 2-4PM on Tuesday for MTech CS and JRFs who are taking Computer Organisation Course, 2-4PM on Thursday for the rest
Reading material and videos and exercises will be posted/uploaded regularly.
Every 2 weeks a small online assignment will be posted. You will have to write up your solutions and submit a pdf in the google classroom.
In you have any doubts or questions feel free to email the instructor or the TAs or post the question in classroom or ask the question during the class.
No cheating policy: If some student is caught cheating (in any of the exam or on the assignments) it would be reported to the dean. The dean will make the final decision on what action to be taken, but the instructor will insist on giving ZERO to the student in the whole course.
Evaluation: 30% on midsem, 50% on endsem and 20% on Assignements and quizes
Instructor: Sourav Chakraborty (sourav@isical.ac.in)
TAs:
Sayantan Sen (sayantan789@gmail.com),
Soumi Nandi (nandisoumi1@gmail.com)
Chandrima Kayal (chandrimakayal2012@gmail.com )
Swarnalipa Datta ( rimadatta94@gmail.com )
Soumit Pal ( soumitpal378@gmail.com )
Abishanka Saha ( sahaa.1993@gmail.com )
Introductory material : Introduction, Sets, Relations, Functions [Part1 video, Part2 video, slides]
Introductory material : Introduction to Propositional and Predicate Logic [Video, slides]
Introductory material: Introduction to Graph Theory [Video, slides]
Introduction to Elementary Number Theory and Proof techniques [Video, slides (4a), slides (4b)]
Proof Techniques [Video, slides (5a), slides (5b)]
More on Proof Techniques [Video, slides (6a), slides (6b)]
More on Proof Techniques [Video, slides (7a), slides (7b)]
Lecture 1: (8/8/22) Introduction to Propositional Logic, Sets and functions and basic proof techniques
Lecture 2: (10/8/22) Introduction to Graph Theory and Induction on graphs
Lecture 3: (17/8/22) Introduction to Asymptotic Notations and Relations
Lecture 4: (22/8/22) Extended Binomial Theorem
Lecture 5: (24/8/22) Introduction to generating functions and using them to count
Lecture 6: (29/8/22) Ball and Bins counting - combinatorially and with generating functions. Mostly distinct bins
Lecture 7: (31/8/22) Proving Recurrence relations: Stirling number of second kind, Tiling, Derrangement number
Lecture 8: (5/9/22) More on Recurrence relations - Ramsey numbers, Catalan Number
Lecture 9: (7/9/22) Solving Recurrences using generating functions
Lecture 10: (12/9/22) Revisiting of Asymptotic Notations and recurrences. Principle of Inclusion Exclusion.
Lecture 11: (14/9/22) Basic graph properties (degree sequence), and some other techniques used in combinatorics (like probabilistic methods and algebraic methods)
Lecture 12: (26/9/22) Graph Matching, Max flow, Halls Marriage Theorem
Lecture 13: (28/9/22) Linear Programming, Max flow - Min Cut (via LP)
Lecture 14: (10/10/22): Discussion of Midsem paper
Lecture 15: (12/10/22): Planar graphs, Euler Theorem
Lecture 16: (17/10/22): 5 and 6 color theorem
Lecture 17: (19/10/22): Kurotowski's Theorem
Lecture 18: (02/11/22): Basic properties of Trees, and graphs
Lecture 19: (09/11/22): Max-flow min cut theorem
Lecture 20: (14/11/22): MST
Lecture 21: (16/1122): Revision
Link to previous years DMath course MTech 2021-22, MTech2019-2020, MTech 2018-19
Problem Set on Introduction to Graph theory, Propositional and Predicate Logic and Proof Techniques
Problem Set on Asymptotic Relations and solving recurrences
Problem Set on Generating functions, Recurrences and Counting