Logic and Proof
Fakultät für Informatik und Mathematik ©
Name Logic and Proof
Verantwortlich Prof. Dr. Gerta Köster
SWS 4
ECTS 5
Sprache(n) Englisch
Lehrform SU mit Übung
Angebot nach Ankündigung
Aufwand
Voraussetzungen

This course is designed for students that wish to learn about fundamental logic methods used for proofs.

Ziele

The objective of this course is to master the fundamentals of mathematical logic and methods of proof. That is, after the course students should be able to construct and write mathematical proofs and be able to apply them in every day life, when they speak and write.

Inhalt

This course is designed as a 2 part course.

Part One: Language of Logic, Demonstrations and Quantified Statements

  • Statements, Open Statements, Compound Statements, Truth Tables, Tautologies,
  • Valid Arguments, Establish Validity with Demonstration, Equivalence,
  • Conditional Demonstrations, Indirect Proofs, Negations Quantified Statements, Universal and Existential Quantfier, Translating
  • Quantifed Statements, Restricted Quantifier, Rules of Logic for Quantified Statements.

Part Two: Algebra of Sets, Functions, and Induction

  • Equality, Relations among Sets, New Sets from Old, Definitions and Axioms, Theorems, Set Inclusion
  • Ordered Pairs, Relations, Functional Notation, Into, Onto, One-to- one, Inverse, Compositions
  • Principle of Mathematical Induction, Modified Principle of Mathematical Induction, Second of Mathematical Induction.
Medien und Methoden
Literatur

Mathematical Proofs: A Transition to Advanced Mathematics, 3rd edition, Gary Chartrand, Albert D. Polimeni, Ping Zhang, (2013), Chapter 1-14

Zuordnungen Curricula
SPO Fachgruppe Code ab Semester Prüfungsleistungen
IC Version 2012 WPF Mathematik IF-S-B-M02 6 benotete schriftliche Prüfung 90 Minuten