Semantisches Browsen
Aus International Center for Computational Logic
Die Lehrveranstaltung ''Formale Systeme'' … Die Lehrveranstaltung ''Formale Systeme'' vermittelt eine Einleitung in die Gebiete der formalen Sprachen, Automatentheorie und Aussagenlogik. Dies beinhaltet einige der wichtigsten Grundlagen der Informatik, wie z.B. reguläre Ausdrücke, formale Grammatiken sowie Methoden zur praktischen Lösung von "schweren" (NP-vollständigen) Problemen. Damit bildet die Vorlesung die Grundlage für die Vorlesung ''Theoretische Informatik und Logik'' und für viele vertiefende Vorlesungen.</br></br>== Vorlesungen ==</br></br>Vorlesungstermine:</br></br>* Mo 3. DS (BAR/SCHÖ/E)</br>* Do 4. DS (HSZ/0003/H)</br></br>== Übungen ==</br></br>Die Einschreibung in die Übungsgruppen erfolgt über die '''[https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/46372487170 OPAL-Seite der Lehrveranstaltung]'''. Für die Teilnahme an einer Übungsgruppe ist die Einschreibung in dieser Gruppe '''verpflichtend'''. Studierenden ohne Einschreibung kann die Teilnahme an einer selbstgewählten Übung nicht garantiert werden. Übungsleiter:innen sind berechtigt, nicht eingeschriebene Studierende bei Überfüllung aus der Übung zu verweisen.</br></br>Übungsgruppen finden ab dem 21. Oktober 2024 zu ihren jeweiligen Terminen statt. Übungsblätter können in OPAL abgerufen werden.</br></br>== Kontakt ==</br></br>Im OPAL steht ein Forum zum Austausch mit anderen Kursteilnehmenden bereit.</br></br>Persönliche Fragen können auch direkt an das Organisationsteam (siehe Links oben) gestellt werden, falls sie aus einem zwingenden Grund nicht über andere Kanäle gerichtet werden können. Allgemeine Fragen sollten Sie aber immer in geteilten Kanälen stellen, damit auch Ihre Kommiliton:innen davon profitieren (oder vielleicht sogar direkt helfen können).</br></br>== Prüfung ==</br></br>Nach aktueller [https://tu-dresden.de/ing/informatik/ressourcen/dateien/pruefungsamt/pruefungsplaene-wise/PP_Bachelor_Informatik-1.pdf?lang=de Prüfungsplanung] findet die Klausur (90min) am 18.02.2025 um 13:00 Uhr im Hörsaalzentrum statt. Zur Klausur sind keine Hilfsmittel zugelassen.</br>Die Raumaufteilung ist nach Anfangsbuchstaben des Familiennamens wie folgt:</br></br>* A–K: HSZ/AUDI/H</br>* L–R: HSZ/02/E</br>* S–Z: HSZ/03/H</br></br>== Einsichtnahme ==</br></br>Wir bieten eine Einsichtnahme in die Prüfungsklausur an:</br></br>Mo, 28.04.2025 um 16:40–18:10 Uhr im Raum APB/20404.2025 um 16:40–18:10 Uhr im Raum APB/2040
Klausur +
Lecturer
Lecturers
Lecture series
Module
INF-B-270, INF-B-275, INF-LE-EuI, IST‑05‑PF‑HS +
Allgemein sind die Vorlesungsfolien und Üb … Allgemein sind die Vorlesungsfolien und Übungsunterlagen ausreichend detailliert für das Studium. Weitere Lehrmaterialien können dennoch hilfreich sein, um Details nachzuschlagen oder sich weiter im Thema zu vertiefen.</br></br>== Formale Sprachen, Komplexität und Entscheidbarkeit ==</br></br>=== Lehrbücher ===</br></br>* Uwe Schöning: '''Theoretische Informatik -- kurz gefasst.''' Spektrum Akademischer Verlag.</br>: ''(deutschsprachiger Standardtext; in der Tat ziemlich kurz gefasst)''</br>* John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: '''Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit.''' Pearson Studium.</br>: ''(aus dem Englischen übertragenes Standardwerk; Original ev. besser)''</br>* Michael Sipser: '''Introduction to the Theory of Computation.''' Cengage Learning.</br>: ''(Standardtext zu Sprachen und Berechnungskomplexität; leider nur auf Englisch)''</br></br>=== Online verfügbare Skripte ===</br></br>* [[Franz Baader]]: '''[https://lat.inf.tu-dresden.de/teaching/ws2013-2014/FS/script_2016-02.pdf Skript Formale Systeme, Teil 1 – Automaten und formale Sprachen].''' TU Dresden.</br></br>Die Vorlesungen haben kleine Abweichungen von diesem Text, stimmen aber in vielen wichtigen Punkten überein.</br></br>* [[Christel Baier]], Manuela Berg, Walter Nauber: '''[https://www.researchgate.net/profile/Christel-Baier/publication/267409804_Formale_Systeme_WS_20112012_Skript_zur_Vorlesung/links/54e24b020cf2966637965e77/Formale-Systeme-WS-2011-2012-Skript-zur-Vorlesung.pdf Formale Systeme WS2011/2012: Skript zur Vorlesung].''' TU Dresden.</br></br>== Aussagenlogik ==</br></br>Die Vorlesungsfolien sollten bei diesem Thema ausreichen. Wer dennoch weitere Details nachschlagen will, dem nützen eventuell die folgenden Bücher:</br></br>* Uwe Schöning: '''Logik für Informatiker.''' Spektrum Akademischer Verlag.</br>: ''(leichte Abweichungen in Notation und Darstellung)''</br>* Martin Kreuzer, Stefan Kühling: '''Logik für Informatiker.''' Pearson Studium.</br>: ''(sehr knapp und informell; eventuell interessant als Quelle für Übungsaufgaben)''</br>* [[Steffen Hölldobler]]: '''[[Book3008|Logik und Logikprogrammierung]].''' Synchron Verlag.</br>: ''(Schwerpunkt auf Logikprogrammierung und Prädikatenlogik, aber auch einiges zur Aussagenlogik)''</br>* [[Steffen Hölldobler]], [[Sebastian Bader]], [[Bertram Fronhöfer]], [[Ursula Hans]], [[Pascal Hitzler]], [[Markus Krötzsch]], [[Tobias Pietzsch]]: '''[[Book3001|Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen]]''' Synchron Verlag</br>: ''(Aufgabensammlung aus den Logikvorlesungen vergangener Jahre)''ogikvorlesungen vergangener Jahre)''
2 +
4 +
Tutor
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Formale Systeme +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
15. April 2025, 08:23:08 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Hat Unterobjekt„Hat Unterobjekt <span style="font-size:small;">(Has subobject)</span>“ ist ein softwareseitig fest definiertes Attribut und stellt einen <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Container">Datenverbund</a> dar. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +...
Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +, Formale Systeme +
