This is the webpage of the English version of the course taught by Andreas Feldmann, which takes place on Mondays at 14:00 to 15:30. Please only register for this course and sign up for the zoom sessions below if you are registered for the English version of the Mathematical Skills seminar held by Andreas Feldmann in SIS (see link below).
Please register for the zoom sessions via this link before the first lecture.
Once you registered you will obtain a confirmation email. The email contains your personal link to the zoom sessions and the passcode. You need to use this link to participate in the lectures.
News and announcements by the teacher
Questions by the students will be answered by the teacher (or other students)
propositions, negation, conjunction, disjunction, exclusive or, conditional, logical equivalence
different ways how to express implication in English, converse, inverse, contrapositive, biconditional, proving equivalence, De Morgan laws, propositional functions
Note: you win points by answering correctly, but you can also lose points by answering incorrectly (your total points will never be below 0). This means that if you are unsure, you are better off not answering instead of guessing.
proof by contrapositive, universal and existential quantification, bound and free variables, scope of a quantification
composing quantified propositions, nested quantification, scope of a quantifier, unique quantification, De Morgan laws for quantification
translating mathematical statements into quantified propositions, repetition: expressing restrictions on the domain using propositions
Terminology: theorem, lemma, corollary, conjecture, axiom; direct proof and indirect proof by contrapositive of implications
proof by contradiction, proof of equivalence, exhaustive proof, proof by cases, without loss of generality
Cantor's Theorem (proof by contradiction), the Four Colour Theorem (exhaustive proof)