| Topics | Assignments | Coq | Summaries | Presentations | Sources |
We expect about 12 homeworks, so each one is worth 0.6/12 = 0.05 or
50 permilles (promilles, ‰). The actual promilles used for grading
may differ, if the total number of homeworks is not exactly 12; or one homework is
considered bigger (and weighs more) than another.
Time estimates are not meant to be precise or useful. They are
a relative measure; for example, an 16h assignment for a typical student
would require considerably more time and energy than a 2h assignment.
| Grade ID | Title | Due Date | Time Est. | Max | Average |
|---|---|---|---|---|---|
| HW1 | Propositional Logic Homework1 Solutions |
2020-01-12 | 4h | 50‰ | NA |
| HW2 | Predicate Logic Homework2 Solutions |
2020-01-19 | 4h | 50‰ | NA |
| HW3 | Set Notation Homework3 Solutions |
2020-01-26 | 4h | 50‰ | NA |
| HW4 | Sequences, Set Cardinalities Homework4 Solutions |
2020-02-02 | 4h | 50‰ | NA |
| HW5 | Algorithms, Asymptotics Homework5 Solutions |
2020-02-09 | 4h | 50‰ | NA |
| HW6 | Number Theory Homework6 Solutions |
2020-02-16 | 4h | 50‰ | NA |
| HW7 | Mathematical Induction Homework7 Solutions |
2020-02-23 | 4h | 40‰ | NA |
| HW7P2 | GCDs, Mathematical Induction | 2020-03-16 | 4h | 20‰ | NA |
| (HW8) | No homework with this number due to midterm | ||||
| HW9 | Relations Homework9 Solutions |
2020-03-09 | 4h | 40‰ | NA |
| HW10 | Combinatorics Homework10 Solutions |
2020-03-16 | 4h | 50‰ | NA |
| HW11 | Probabilities Homework11 Solutions |
2020-03-23 | 4h | 50‰ | NA |
| HW12 | Recurrent Sequences Homework12 Solutions |
2020-03-30 | 4h | 50‰ | NA |
| HW13 | Graphs and Trees Homework13 Solutions |
2020-04-16 | 4h | 50‰ | NA |
| Grade ID | Title | Due Date | Time | Max | Average |
|---|---|---|---|---|---|
| MIDTERM |
All Review Topics Sample Questions (Logic, Sets, Predicates only) Sample Questions - Solved Midterm Exam Midterm Solution Midterm(Var.2) Midterm(Var.2) Solution |
2020-02-24 | 1:40h | 150‰ | NA |
| FINAL |
All Review Topics Review Samples 1: Relations Review Samples 2: Number theory, Recurrences Review Samples 3a: Counting Review Samples 3: Probabilities Review Samples 4: Graphs and Trees Final Exam Final Solution |
2020-04-28 | 2:00h | 200‰ | NA |
Coq assignments were part of homeworks HW2 to HW7. Here is the summary of all proofs assigned and solved during the class. To see sample proofs visit our Coq page; it has some general tutorials and also contains the techniques and Coq language features used in the proofs needed for each exercise.
| Grade ID | Title | Due Date |
|---|---|---|
| H2.Q5 | Simple Tautologies H2.Q5 Solution |
2020-01-19 |
| H3.Q5 | Non-Constructive Tautologies H3.Q5 Solution |
2020-01-26 |
| H4.Q5 | Generalizing Relational Rules H4.Q5 Solution |
2020-02-02 |
| H5.Q5 | General Predicate Logic H5.Q5 Solution |
2020-02-09 |
| H6.Q5 | Integer Divisibility H6.Q5 Solution |
2020-02-16 |
| H7.Q5 | GCDs, Mathematical Induction H7.Q5 Solution |
2020-03-16 |
These worksheets are used in the lab sessions on Wednesdays and Fridays.