Vorkurs "Informatik: Formale Methoden der Informatik"

Kursbeschreibung

In dem Vorkurs sollen für die Informatik wichtige formale und mathematisch Grundlagen behandelt werden.

Themen 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.
  • Cyber Security (B.Sc.)
  • Informatik (B.Sc.)
  • Informatik (Lehramt)

01.

Termine

Von Montag, 06.09.2021 bis Freitag, 17.09.2021

Vorlesung

10-12 Uhr

Übungsgruppen

2 Stunden am Nachmittag

Weitere Informationen erhalten Sie nach der Anmeldung zum Kurs

02.

Dozent*in

Dr. Hassan Errami

03.

Beratung

N.N.

email

Anmelden

Anmeldung ab dem 1. August möglich

Fragen und Antworten

Sie haben Fragen? Wir haben schon viele Antworten für Sie!