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.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
courses:2022:cs203 [2022/08/18 14:23] 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 | {{ : | + | | Sets | {{ : |
| + | | Relations | {{ : | ||
| + | | Mathematical induction | {{ : | ||
| + | | Recursion | NA | | ||
| + | | Summation | NA | | ||
| + | | Integer functions | NA | | ||
| + | | Generating functions | NA | | ||
| + | | Counting | {{ : | ||
| + | | Graphs-I | {{ : | ||
| + | | Graphs-II | {{ : | ||
| + | | Trees | {{ : | ||
| + | | Planar graph | {{ : | ||