"Integer representations and properties, propositions, predicates, sets, functions, program proofs, induction, counting, complexity; Python implementations of these concepts."
Skills:
- Permutations and Combinations
- Propositional Logic
- Graphs and Trees
- Loop Invariants
- Induction and Proofs
| Projects: |
Description |
| P1/P2 |
Truth Tables |
| P3 |
Loop Invariants |
| P5 |
Knapsack Problem Algorithm |
CS220
was my first introduction to some of the math heavy concepts found within Computer Science. As such,
much of the course provided a background for solving proofs, and concepts rooted in creating algorithms. This was also my first course
with Professor Wim Bohm, who has since passed. Mr. Bohm, a dutch-man, was one of the only two people to have ever pronounced my
last name correctly (Vee-Yo-Mm).
