Vorlesung: Vorkurs formale Methoden der Informatik

Veranstaltung

  • Dozent(en):
  • Beginn: 15.9.2014, 10:15, Hörsaal VII, Am Hof 1
  • Zeiten: 10.15 - 12:00, Mo-Fr bis 26.9.2014
  • 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.