X

Discrete Mathematics for CS

By Prof. Nitin Saxena   |   IIT Kanpur
Learners enrolled: 177
ABOUT THE COURSE:
The aim of this course is to learn discrete mathematics. It is the study of mathematical structures which are discrete (elements take finite values as opposed to continuous structures). It is very difficult to find a branch in computer science & engineering which does not use discrete mathematics.We will be covering five main topics-- proofs, combinatorics, graphs, number theory, and algebra. The emphasis will be to learn different concepts and techniques used to prove theorems in computer science. The course will be full of puzzles and CS examples

INTENDED AUDIENCE: Computer Science & Engineering, Mathematics, Electronics, Physics, & similar disciplines

PREREQUISITES: A very good grasp of Class-XII level Mathematics.

INDUSTRY SUPPORT: Discrete Optimization, Cryptography/ Cyber Security, Coding theory, Computer Algebra, Symbolic Computing Software, , Learning Software
Summary
Course Status : Upcoming
Course Type : Elective
Language for course content : English
Duration : 12 weeks
Category :
  • Computer Science and Engineering
  • Mathematics
Credit Points : 3
Level : Undergraduate/Postgraduate
Start Date : 20 Jan 2025
End Date : 11 Apr 2025
Enrollment Ends : 27 Jan 2025
Exam Registration Ends : 14 Feb 2025
Exam Date : 27 Apr 2025 IST

Note: This exam date is subject to change based on seat availability. You can check final exam date on your hall ticket.


Page Visits



Course layout

Week 1:  Formalizing Proofs and Proof Paradigms.
Week 2: Counting. Generating Functions.
Week 3: Basic Combinatorics.
Week 4: Posets, Chains and Anti-chains.
Week 5: Basic Graph theory.
Week 6: Tours, Cycles, Cliques, Covers.
Week 7: Coloring, Matching, Planarity.
Week 8: Basic Number theory.
Week 9: Density of Primes. Cryptography.
Week 10: Finite Fields. Codes.
Week 11: Basic Group theory.
Week 12: Orbit Counting. Normal Subgroups.

Books and references

https://www.cse.iitk.ac.in/users/nitin/courses/CS201-2022-23-I/
Text Book:
Discrete Mathematics and its Applications, K H Rosen.
Discrete Mathematics, N L Biggs.

Instructor bio

Prof. Nitin Saxena

IIT Kanpur
Prof. Nitin Saxena did B.Tech in CSE from the Indian Institute of Technology, Kanpur in 2002 and Ph.D. in the same department, under Manindra Agrawal, in 2006. He is broadly interested in Algebraic Complexity, Computational Algebra, Geometry and Number Theory. He was a visiting graduate student in Princeton University (2003-2004) and National University of Singapore (2004-2005); a postdoc at CWI, Amsterdam (2006-2008) and a Bonn Junior Fellow (W2 Professor) at Hausdorff Center for Mathematics, Bonn (2008-2013). Since April 2013, he is a faculty in CSE, IIT Kanpur. He is the coordinator of the Center for Developing Intelligent Systems (CDIS). He has two of the most prestigious honors in the field of theoretical computer science and discrete mathematics, Gödel Prize (2006) and Fulkerson Prize (2006). In fact, he is the youngest Gödel Prize winner ever. He is a recipient of numerous other prestigious awards including the Distinguished Alumnus Award (2003, IIT Kanpur) for his exceptional academic brilliance, the INSA Young Scientist Medal (2015), the SwarnaJayanti Fellowship (2013-14), and the Shanti Swarup Bhatnagar Award in Mathematical Sciences (2018). He is a Fellow of IASc, NASI, and INAE. In 2022, he was profiled by DST (Ministry of S&T, India) in the list of “75 Scientists under 50 shaping today’s India”. In 2009, he was voted one of the top 50 alumni by the IIT Kanpur Alumni Association to celebrate 50 years of the institute.

Course certificate

The course is free to enroll and learn from. But if you want a certificate, you have to register and write the proctored exam conducted by us in person at any of the designated exam centres.
The exam is optional for a fee of Rs 1000/- (Rupees one thousand only).
Date and Time of Exams: EXAM DATE : April 27, 2025 Morning session 9am to 12 noon; Afternoon Session 2pm to 5pm.
Registration url: Announcements will be made when the registration form is open for registrations.
The online registration form has to be filled and the certification exam fee needs to be paid. More details will be made available when the exam registration form is published. If there are any changes, it will be mentioned then.
Please check the form for more details on the cities where the exams will be held, the conditions you agree to when you fill the form etc.

CRITERIA TO GET A CERTIFICATE

Average assignment score = 25% of average of best 8 assignments out of the total 12 assignments given in the course.
Exam score = 75% of the proctored certification exam score out of 100

Final score = Average assignment score + Exam score

Please note that assignments encompass all types (including quizzes, programming tasks, and essay submissions) available in the specific week.

YOU WILL BE ELIGIBLE FOR A CERTIFICATE ONLY IF AVERAGE ASSIGNMENT SCORE >=10/25 AND EXAM SCORE >= 30/75. If one of the 2 criteria is not met, you will not get the certificate even if the Final score >= 40/100.

Certificate will have your name, photograph and the score in the final exam with the breakup.It will have the logos of NPTEL and IIT Kanpur .It will be e-verifiable at nptel.ac.in/noc.

Only the e-certificate will be made available. Hard copies will not be dispatched.

Once again, thanks for your interest in our online courses and certification. Happy learning.

- NPTEL team


MHRD logo Swayam logo

DOWNLOAD APP

Goto google play store

FOLLOW US