Vorlesung: Vorkurs formale Methoden der Informatik

Veranstaltung

  • Dozent(en):
  • Beginn: 28.9.2015, 10:15, HS 2, Römerstr. 164
  • Zeiten: 10.15 - 12:00, Mo-Fr bis 9.10.2015
  • Studiengang: Bachelor

Beschreibung

In dem Vorkurs sollen für die Informatik wichtige formale und mathematisch Grundlagen behandelt werden. Inhalte sind u.a.:

  • Mathematische Sprache,
  • Aussagenlogik, Prädikatenlogik,
  • Zahlbereiche und Datentypen,
  • Beweistechniken (direkte, indirekte Beweise; Ringschluss; vollständige Induktion),
  • Funktionen und Relationen,
  • Grundlegende algebraische Strukturen,
  • Exponentialfunktionen und Logarithmen.