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.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
courses:2022:cs203 [2022/08/11 15:41] arijit [Slides] |
courses:2022:cs203 [2022/11/08 21:45] (current) arijit [Slides] |
||
|---|---|---|---|
| Line 24: | Line 24: | ||
| | Predicate Logic: Resolution Refutation | {{ : | | Predicate Logic: Resolution Refutation | {{ : | ||
| | Proof techniques | {{ : | | Proof techniques | {{ : | ||
| + | | Sets | {{ : | ||
| + | | Relations | {{ : | ||
| + | | Mathematical induction | {{ : | ||
| + | | Recursion | NA | | ||
| + | | Summation | NA | | ||
| + | | Integer functions | NA | | ||
| + | | Generating functions | NA | | ||
| + | | Counting | {{ : | ||
| + | | Graphs-I | {{ : | ||
| + | | Graphs-II | {{ : | ||
| + | | Trees | {{ : | ||
| + | | Planar graph | {{ : | ||