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.)
Instructor: | Frank Heitmann |
Provided by: | Universität Hamburg |
Course language: | German |
Fees: | free course |
Level: | beginner |
Certificate available? | |
Format: | video lecture |
How do you like the course 'Formale Grundlagen der Informatik 1'?