Bereit für die Klausur? Teste jetzt dein Wissen!
Dein ergebnis
Melde dich für die StudySmarter App an und lerne effizient mit Millionen von Karteikarten und vielem mehr!
Du hast bereits ein Konto? Anmelden
Lerninhalte finden
Features
Entdecke
Egal, ob Zusammenfassung, Altklausur, Karteikarten oder Mitschriften - hier findest du alles für den Studiengang Bachelor of Science Informatik
Universität Erlangen-Nürnberg
Bachelor of Science Informatik
Prof. Dr.
2024
In diesem Abschnitt lernst Du die Grundlagen formaler Sprachen und die Konzepte von Automaten, die zur Erkennung und Analyse dieser Sprachen verwendet werden.
Dieser Teil beschreibt die Theorie der Berechenbarkeit und die Grenzen dessen, was mit Computern berechnet werden kann.
Hier wirst Du dich mit der zeitlichen und räumlichen Komplexität von Algorithmen und Problemen beschäftigen.
Dieser Abschnitt behandelt die Programmierung mit logischen Paradigmen und deren Anwendung in der Informatik.
In diesem Teil des Kurses lernst Du das fundamentale Konzept des Lambda-Kalküls und die Rolle der Logik in der Informatik.
Die Vorlesung 'Theorie der Programmierung' ist ein zentraler Bestandteil des Informatikstudiums an der Universität Erlangen-Nürnberg. In dieser Vorlesung werden Dir die theoretischen Grundlagen der Programmierung nähergebracht. Das Modul umfasst insgesamt 9 ECTS-Punkte und setzt sich aus 4 Semesterwochenstunden (SWS) für die Vorlesungen und 2 SWS für die begleitenden Übungen zusammen. Während der Vorlesungen lernst Du die wesentlichen Konzepte der Programmierungstheorie, die in den Übungen vertieft werden, um Dein Verständnis zu festigen und praktische Anwendungen zu üben.
Kursleiter: Prof. Dr.
Modulstruktur: Das Modul besteht aus Vorlesungen und Übungen. Die Vorlesung umfasst 4 SWS, während die Übungen 2 SWS umfassen. Insgesamt hat das Modul einen Umfang von 9 ECTS-Punkten. Die Vorlesung umfasst theoretische Grundlagen der Programmierung und wird durch Übungen ergänzt, um das Verständnis zu vertiefen.
Studienleistungen: Die Leistungsüberprüfung erfolgt durch eine schriftliche Prüfung am Ende des Semesters.
Angebotstermine: Das Modul wird im Wintersemester angeboten.
Curriculum-Highlights: Formale Sprachen und Automaten, Berechenbarkeitstheorie, Komplexitätstheorie, Logikprogrammierung, Lambda-Kalkül, Logik in der Informatik
Beginne frühzeitig mit dem Lernen, idealerweise schon zu Beginn des Semesters, um Dir die nötige theoretische Basis anzueignen.
Nutze verschiedene Ressourcen, wie Bücher, Übungsaufgaben, Karteikarten und Probeklausuren, um dein Wissen zu vertiefen.
Schließe Dich Lerngruppen an und tausche Dich mit anderen Studierenden aus, um gemeinsam Lösungsstrategien zu entwickeln.
Vergiss nicht, regelmäßige Pausen einzulegen und in diesen Zeiten komplett abzuschalten, um eine Überbelastung zu vermeiden.
Gregory C.
Samuel O.
Sie haben bereits ein Konto? Login
74790 Strategisches Management | Kurs ansehen |
Advanced Design and Programming | Kurs ansehen |
Advanced Mechanized Reasoning in Coq | Kurs ansehen |
Advanced Programming Techniques | Kurs ansehen |
Algebra | Kurs ansehen |
Algebra des Programmierens | Kurs ansehen |
Algebraische und Logische Aspekte der Automatentheorie | Kurs ansehen |
Algorithmen und Datenstrukturen | Kurs ansehen |
Algorithmik kontinuierlicher Systeme | Kurs ansehen |
Allgemeine Biologie I | Kurs ansehen |
Jürgen U.