Video Lecture:
Summary of contents: Introduction to logic; propositions and predicates; truth tables; tautologies and contradictions; negation, and, or, implication, nand connectives; existential and universal quantifiers, logical equivalence of propositions; negation of quantifiers; order of quantifiers; axiomatic systems; formal proofs; consistency and completeness.
Full lecture notes (work in progress): click here
Lecture Notes for this lecture:
Can I get asses to the problem sheets
ReplyDelete^^^ same: Acess to Problem Sets requested
ReplyDelete