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.
| 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: | + | ======CS203: |
| 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// | ||
| =====Slides===== | =====Slides===== | ||
| - | ^ Topics | + | ^ Topics ^ Slides |
| - | | Propositional Logic: Introduction | + | | Propositional Logic: Introduction | {{ : |
| + | | Propositional | ||
| + | | Predicate | ||
| + | | Predicate Logic: Fundamentals | {{ : | ||
| + | | Predicate Logic: Resolution Refutation | {{ : | ||
| + | | Proof techniques | {{ : | ||
| + | | Sets | {{ : | ||
| + | | Relations | {{ : | ||
| + | | Mathematical induction | {{ : | ||
| + | | Recursion | NA | | ||
| + | | Summation | NA | | ||
| + | | Integer functions | NA | | ||
| + | | Generating functions | NA | | ||
| + | | Counting | {{ : | ||
| + | | Graphs-I | {{ : | ||
| + | | Graphs-II | {{ : | ||
| + | | Trees | {{ : | ||
| + | | Planar graph | {{ : | ||