|Name||Logic and Proof|
|Verantwortlich||Prof. Dr. Gerta Köster|
|Lehrform||SU mit Übung|
This course is designed for students who wish to learn about fundamental logic methods used for proofs.
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.
This course is designed as a 2 part course.
Part One: Language of Logic, Demonstrations and Quantified Statements
Part Two: Algebra of Sets, Functions, and Induction
|Medien und Methoden|
Mathematical Proofs: A Transition to Advanced Mathematics, 3rd edition, Gary Chartrand, Albert D. Polimeni, Ping Zhang, (2013), Chapter 1-14