courses:2022:cs203

Writing /home/fac/arijit/public_html/dokuwiki/data/cache/1/161948a0ceacc46ac4e46cf4451d30e0.metadata failed
Writing /home/fac/arijit/public_html/dokuwiki/data/cache/0/0f3dae15bd579c4b78137f3d0ad7d105.xhtml failed

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
courses:2022:cs203 [2022/07/29 15:15]
arijit [Slides]
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 +^ 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.1659087918.txt.gz
  • Last modified: 2022/07/29 15:15
  • by arijit