Logic COMP2620
Learning outcomes & Assessment relationship matrix
| Assignments ; | Final exam | ||||||
|---|---|---|---|---|---|---|---|
| 1: Express reasoning problems using first order logical notation. | Y | Y | |||||
| 2: Construct natural deduction proofs in first order logic and translate between calculi. | Y | Y | |||||
| 3: Explain the relationship between rules of deduction and the semantics of logic. | Y | Y | |||||
| 4: Critically assess and compare philosophical views on issues arising from elementary logic. | Y | ||||||
