courses:2022:cs203

Writing /home/fac/arijit/public_html/dokuwiki/data/cache/f/ff93fbe75c8c96b8524e525bc6ba6377.metadata failed
Writing /home/fac/arijit/public_html/dokuwiki/data/cache/8/8e9a5f9f8794ce3c544e574da5d9839f.xhtml failed

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
courses:2022:cs203 [2022/07/29 15:15]
arijit created
courses:2022:cs203 [2022/11/08 21:45] (current)
arijit [Slides]
Line 1: Line 1:
  
-======CS203: Discrete Mathemetics ======+======CS203: Discrete Mathematics ======
 This course will provide an introduction to mathematics oriented toward computer science and engineering. This course will provide an introduction to mathematics oriented toward computer science and engineering.
  
Line 14: Line 14:
  
 =====Books===== =====Books=====
-  * TBU +  * //Discrete Mathematics and Its Applications with Combinatorics and Graph Theory// by Kenneth Rosen 
 +  * //Concrete Mathematics// by  Ronald Graham, Donald Knuth, Oren Patashnik
 =====Slides===== =====Slides=====
- Topics   Slides  Annotated Slides / Notes  +^ Topics ^ Slides       ^    ^    ^    
-|  Propositional Logic: Introduction  |  {{ :courses:2022:cs203:cs203_01_propositional_logic.pdf |pdf}}  |+Propositional Logic: Introduction | {{ :courses:2022:cs203:cs203_01_propositional_logic.pdf |pdf}}  
 +Propositional Logic: Deduction | {{ :courses:2022:cs203:cs203_02_propositional_logic_deduction.pdf |pdf}} 
 +| Predicate Logic: Introduction | {{ :courses:2022:cs203:cs203_03_predicate_logic_intro.pdf |pdf}}  | 
 +| Predicate Logic: Fundamentals | {{ :courses:2022:cs203:cs203_04_predicatelogic_fundamentals.pdf |pdf}}  
 +| Predicate Logic: Resolution Refutation | {{ :courses:2022:cs203:cs203_05_resolution_refutation.pdf |pdf}} 
 +| Proof techniques | {{ :courses:2022:cs203:cs203_06_prooftechniques.pdf |pdf}} 
 +| Sets | {{ :courses:2022:cs203:cs203_07_sets.pdf |pdf}} 
 +| Relations | {{ :courses:2022:cs203:cs203_08_relation.pdf |pdf}} 
 +| Mathematical induction | {{ :courses:2022:cs203:cs203_09_induction.pdf |pdf}} 
 +| Recursion | NA  | 
 +| Summation | NA  | 
 +| Integer functions | NA  | 
 +| Generating functions | NA  | 
 +| Counting | {{ :courses:2022:cs203:cs203_11_counting.pdf |pdf}} 
 +| Graphs-I | {{ :courses:2022:cs203:cs203_12_graph_i.pdf |pdf}} 
 +| Graphs-II | {{ :courses:2022:cs203:cs203_13_graphs_ii.pdf |pdf}} 
 +| Trees | {{ :courses:2022:cs203:cs203_14_trees.pdf |pdf}} 
 +| Planar graph | {{ :courses:2022:cs203:cs203_15_planar_graph.pdf |pdf}}  |
  • courses/2022/cs203.1659087902.txt.gz
  • Last modified: 2022/07/29 15:15
  • by arijit