Interested in online learning?

Edukatico will keep you updated from time to time. (You can stop this at any time.)

Provider: Universität Hamburg
Go to online course
Transparency note: Some course providers support the operation of our search portal with referral commissions.

Content

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

Teacher: Frank Heitmann
Provided by: Universität Hamburg
Course language: German
Fees: free course
Level: beginner
Certificate possible?
Format: video lecture
Go to online course
Transparency note: Some course providers support the operation of our search portal with referral commissions.

How do you like the course 'Formale Grundlagen der Informatik 1'?

Other online courses in Computer Science, IT