Weekly outline

  • General

    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).

    • zoom registration link URL
      Restricted Not available unless: Your Email address is not empty
    • Q&A Forum
      Restricted Not available unless: Your Email address is not empty
    • lecture notes File
      Restricted Not available unless: Your Email address is not empty
  • Oct 5

    propositions, negation, conjunction, disjunction, exclusive or, conditional, logical equivalence

  • Oct 12

    different ways how to express implication in English, converse, inverse, contrapositive, biconditional, proving equivalence, De Morgan laws, propositional functions

    • Quiz 2
      Restricted Not available unless: Your Email address is not empty
  • Oct 19

    proof by contrapositive, universal and existential quantification, bound and free variables, scope of a quantification

    • Quiz 3
      Restricted Not available unless: Your Email address is not empty
  • Oct 26

    composing quantified propositions, nested quantification, scope of a quantifier, unique quantification, De Morgan laws for quantification

    • Quiz 4
      Restricted Not available unless: Your Email address is not empty
  • Nov 2

    translating mathematical statements into quantified propositions, repetition: expressing restrictions on the domain using propositions

    • Quiz 5
      Restricted Not available unless: Your Email address is not empty
  • Nov 9

    Terminology: theorem, lemma, corollary, conjecture, axiom; direct proof and indirect proof by contrapositive of implications

    • Quiz 6
      Restricted Not available unless: Your Email address is not empty
  • Nov 16

    proof by contradiction, proof of equivalence, exhaustive proof, proof by cases, without loss of generality

    • Quiz 7
      Restricted Not available unless: Your Email address is not empty
  • Nov 23

    Cantor's Theorem (proof by contradiction), the Four Colour Theorem (exhaustive proof)

    • Quiz 8
      Restricted Not available unless: Your Email address is not empty
  • Nov 30

    • Quiz 9
      Restricted Not available unless: Your Email address is not empty
  • This week

    Dec 7

    • Quiz 10
      Restricted Not available unless: Your Email address is not empty
  • Dec 14

    • Quiz 11
      Restricted Not available unless: Your Email address is not empty
  • Dec 21

    • Quiz 12
      Restricted Not available unless: Your Email address is not empty
  • Jan 4

    • Quiz 13
      Restricted Not available unless: Your Email address is not empty