SC 611 - Mathematics for Computer Science

Weekly outline

• 
  
  • News forum
  • Instructor Page
  • Lectures: Tuesday 4:00 pm, Thursday 4:00 pm, Friday 3:00 pm Tutorial:Friday 2:00 pm Place: CEP 110 DA-IICT Gandhinagar
  • Text Book Discrete Mathematics and Applications, Kenneth H. Rosen, 1999, TMH Supplementary Books 1. Numerical methods for scientists and engineers, R.W. Hamming 2. Schaum’s Outline of Theory and Problems of Numerical Analysis Francis Scheid
• 
  

  25 July - 31 July

  • Set and Set Operations, Relations, Functions
  • Lecture 1 File
  • Reference: Chapter 2 of the Rosen's Book (Text Book)
  • Advise: Read Chapter 2, Read Practice Problems in Lecture Folder Week 1 Do type 2 problems given in each lecture.
  • Assignment_1_Set Theory_SC611.pdf File
  • Assignment_1_Solution_SC611.pdf File
• 
  

  1 August - 7 August

  • Introduction to logic, Logic Propositional Equivalences, Predicate, Quantifiers and Proofs
  • Reference: Chapter 1 of the Rosen's Book (Text Book)
  • Assignment_2 SC611.pdf File
  • Assignment_2_Solution_SC611.pdf File
• 
  

  8 August - 14 August

  • Partial orders and Lattices, Matrices, Sequence, Strings, Bit operations
  • Reference: Chapter 3
  • Assignment 3 SC611 File
  • Assignment3_Solutions File
• 
  

  15 August - 21 August

  • Counting problems and Pigeonhole principle, Permutations, Combinations and Discrete Probability, Proof Strategies
  • CRT_RSA File
• 
  

  22 August - 28 August

  • Algorithms, Complexity
• 
  

  29 August - 4 September

  • Revision Summary (Aug 30) and Test 1 (Sep 1 to Sep 3)
  • Test1 Course (Refer the following sections in the text book) Chapter 1: Sec 1.1,1.2,1.3, 1.4, 1.6,1.8 Chapter 2: Sec 2.1,2.2,2.3,2.5 Chapter 3: Sec 3.4, 3.5, 3.6,3.7, 3.8 Chapter 4: Sec 4.1 Chapter 5: Sec 5.1 Also finite fields
• 
  

  5 September - 11 September

  • Recursion, Graph Theory basics, Euler and Hamiltonian paths and circuits
  • Assignment_4_SC611 File
  • Assignment 4 Solution File
• 
  

  12 September - 18 September

  • Shortest path algorithms, Isomorphism of graph, planner graph
  • Assignment 5 File
  • Assignment 5 solution File
• 
  

  19 September - 25 September

  • Trees basics, Tree Traversals, Spanning trees
  • Assignment6_SC611 File
  • Assignment6_SC611_Solutions File
• 
  

  26 September - 2 October

  • Sorting and searching algorithms FSM and Sate-transition relation, Regular expression
  • Assignment 7_SC611 File
  • nauty User's Guide (Version 2.4) File
• 
  

  3 October - 9 October

  • Revision Summary (Oct 4) Test 2 (Oct 7 to Oct 11)
  • Assignment 8_SC611 File
• 
  

  10 October - 16 October

  • Grammars and Context Free language, Introduction to numerical methods, round-off and truncation errors
• 
  

  17 October - 23 October

  • Bisection and Iterative approaches, Interpolation and Extrapolation
• 
  

  24 October - 30 October

  • Holiday Week (No Lectures)
• 
  

  31 October - 6 November

  • Simultaneous Equations and LR methods, Recurrence relations, Newton-Raphson method
• 
  

  7 November - 13 November

  • Numerical integration, Curve-fitting
  • Assignment 9_SC611 File
  • Assignment 9_SC611 Solution File
• 
  

  14 November - 20 November

  • Supplementary Lectures
  • Assignment10_SC611 File
  • Assignment10_SC611_Solutions File
• 
  

  21 November - 27 November

  • Test 3 (Nov 21 to Nov 26)