Interessieren Dich Online-Kurse?

Edukatico wird Dich ab und zu über Neuigkeiten informieren. (Du kannst das jederzeit wieder beenden.)

Informatik, EDV: Formale Grundlagen der Informatik

Formale Grundlagen der Informatik 1

Anbieter: Universität Hamburg
Weiter zum Online-Kurs
Transparenzhinweis: Einige Kursanbieter unterstützen den Betrieb unseres Suchportals durch Kursbuchungs-Provisionen.

Inhalt

Diese Videovorlesung enthält die wichtigsten formalen Grundlagen der Informatik.


Dazu werden zunächst grundlegende Begriffe und Notationsformen erläutert. Danach wird in die Logik als Grundvoraussetzung für Anweisungen in Programmiersprachen eingeführt. Zudem werden u.a. die Automatentheorie sowie formale Sprachen erörtert. Ziel hierbei ist eine umfassende Einführung in die grundlegenden formalen Konzepte und Methoden der Informatik.


Die insgesamt 23 Online-Vorlesungen können auch als MP4 Videos heruntergeladen werden. Die begleitenden Folien werden eingeblendet.


(Die Fortsetzung ist in Teil 2 verfügbar.)


(Hinweis: Weitere Vorlesungsaufzeichnungen in der Informatik findest Du in dieser Übersicht. Alle Informatik Online-Kurse gibt es hier.)

Universität Hamburg

Dozent: Frank Heitmann
Bereitgestellt von: Universität Hamburg
Kurssprache: Deutsch
Kosten: kostenlos
Level: Anfänger
Zertifikat erhältlich?
Format: Vorlesungsvideo
Weiter zum Online-Kurs
Transparenzhinweis: Einige Kursanbieter unterstützen den Betrieb unseres Suchportals durch Kursbuchungs-Provisionen.

Wie gefällt Dir der Kurs 'Formale Grundlagen der Informatik 1'?

Weitere Kurse des Fachgebiets Informatik, EDV