184.765 Argumenting and Prooving Canceled
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2018W, VU, 4.0h, 6.0EC

Properties

  • Semester hours: 4.0
  • Credits: 6.0
  • Type: VU Lecture and Exercise

Aim of course

Erlernen der grundlegenden Elemente der Sprache der Mathematik.
Wie lese ich eine Definition? Wie sieht ein korrekter mathematischer Beweis aus?
Aussagen mathematisch korrekt beweisen.
Methoden und Techniken um Beweise zu strukturieren.
Syntax und Semantik von: Aussagenlogik, Prädikatenlogik und Mengen.

Subject of course

Erlernen der grundlegenden Elemente der Sprache der Mathematik.
Wie lese ich eine Definition? Wie sieht ein korrekter mathematischer Beweis aus?
Aussagen mathematisch korrekt beweisen.
Methoden und Techniken um Beweise zu strukturieren.
Syntax und Semantik von: Aussagenlogik, Prädikatenlogik und Mengen.

Lecturers

Institute

Course registration

Not necessary

Curricula

Study CodeObligationSemesterPrecon.Info
033 534 Software & Information Engineering Mandatory electiveSTEOP
Course requires the completion of the introductory and orientation phase
033 535 Computer Engineering Mandatory electiveSTEOP
Course requires the completion of the introductory and orientation phase

Literature

No lecture notes are available.

Language

German