Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

Foundations of Databases and Query Languages + (Databases are a key technology in computer … Databases are a key technology in computer science that brings together fascinating theoretical topics and highly relevant practical applications. The goal of this lecture is to give an extended introduction to this interesting field, with a special focus on database query languages, their expressive power, and computational complexity. The lecture will introduce the relational datamodel, and then discuss theoretical and practical aspects of a variety of query languages:* first-order logic as a query language and the relational algebra* conjunctive queries and their unions* navigational queries: path queries* Datalog and its relativesThe lecture focuses on core principles that apply to many types of databases alike (relational, graph-based, semantic web). Some important query answering algorithms are presented, too, but otherwise the details of database implementation and administration are not covered.===Prerequistes===An undergraduate-level knowledge of predicate logic, regular languages, and algorithmic and computational complexity is required. The lecture will connect with other topics in the Computer Science and Computational Logic curriculum, such as relational databases, logic programming, and Semantic Web technologies – familiarity with these topics is not required to follow the lecture.===Time plan===The general time plan is as follows:* Lectures: each Monday in DS3 (11:10–12:40)* Exercises: each Friday in DS4 (13:00–14:30)However, there will be some exceptions that will be announced in the lecture. The first lecture is on Monday, 13 April 2015.===Legacy===The structure of some of the lectures of this course is inspired by the course ''Theory of Data and Knowledge Bases'' in the version given by [https://www.cs.ox.ac.uk/people/georg.gottlob/ Georg Gottlob] and [http://www.cs.ox.ac.uk/people/thomas.lukasiewicz/ Thomas Lukasiewicz] at the University of Oxford.he University of Oxford.)
Database Theory + (Databases are a key technology in computer … Databases are a key technology in computer science that brings together fascinating theoretical topics and highly relevant practical applications. The goal of this lecture is to give an extended introduction to this interesting field, with a special focus on database query languages, their expressive power, and computational complexity. The lecture will introduce the relational data model, and then discuss theoretical and practical aspects of a variety of query languages:* first-order logic as a query language and the relational algebra* conjunctive queries and their unions* navigational queries: path queries* Datalog and its relatives* query answering under database dependenciesThe lecture focuses on core principles that apply to many types of databases alike (relational, graph-based, semantic web). Some important query answering algorithms are presented, too, but otherwise, the details of database implementation and administration are not covered.===Prerequisites===Undergraduate-level knowledge of predicate logic, regular languages, and algorithmic and computational complexity is required. The lecture will connect with other topics in the Computer Science and Computational Logic curriculum, such as relational databases, logic programming, and Semantic Web technologies – familiarity with these topics is not required to follow the lecture.===Schedule and Location===* The weekly lecture sessions will take place on Mondays from 09:20 to 10:50 in room [[APB E007]] and Tuesdays from 09:20 to 10:50 in room [[APB E005]].* The weekly exercise session will take place on Tuesdays from 14:50 to 16:20 in room [[APB E005]].* The first exercise session will be on Tuesday, 2025-04-15.===Examinations===Dates for oral exams will be announced in due time.As usual, you should book a date with our [mailto:secretary_wbs@mailbox.tu-dresden.de secretary] after you have officially enrolled in your respective examination office/system.===Legacy===This course has first been taught at TU Dresden by Prof. Dr. [[Markus Krötzsch]] in the form of the 2015 lecture [[Foundations_of_Databases_and_Query_Languages_(SS2015)/en|Foundations of Databases and Query Languages]], and later in the [[Database_Theory/en|Database Theory]] lecture series. The plan for this year's course will be somewhat similar.The structure of some of the lectures of this course is inspired by the course ''Theory of Data and Knowledge Bases'' in the version given by [https://www.cs.ox.ac.uk/people/georg.gottlob/ Georg Gottlob] and [http://www.cs.ox.ac.uk/people/thomas.lukasiewicz/ Thomas Lukasiewicz] at the University of Oxford.iewicz] at the University of Oxford.)
Formale Systeme + (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.== Prüfung ===== Wiederholungsklausur ===Die Wiederholungsklausur findet am '''26.7.2022''' um '''12:00''' im Hörsaal HSZ/02/E. Die Klausur dauert 90 Minuten und als Hilfsmittel ist, wie schon beim letzen Mal, ein beidseitig beschriebenes (oder bedrucktes) Blatt DIN A4 („Formelsammlung“) erlaubt.=== Klausureinsicht: Zweiter Termin ===Für alle Teilnehmer der Klausur besteht am '''31.5.2022''' zwischen '''13:00 und 14:00 Uhr''' erneut die Möglichkeit zur Klausureinsicht. Diese wird im '''Raum APB 2040''' stattfinden. Wir bitten alle, die dieses Angebot in Anspruch nehmen möchten, sich anzumelden. Hierzu genügt eine kurze Mail an [[Dörthe Arndt]].=== Klausureinsicht ===Für alle Teilnehmer der Klausur besteht am '''28.4.2022''' zwischen '''16:00 und 17:00 Uhr''' die Möglichkeit zur Klausureinsicht. Diese wird im '''APB Raum 2040''' stattfinden. Wir bitten alle, die dieses Angebot in Anspruch nehmen möchten, sich anzumelden. Hierzu genügt eine kurze Mail an [[Dörthe Arndt]].=== Ergebnisse ===Die Korrektur wurde abgeschlossen. Die Ergebnisse werden nach Bearbeitung durch die Prüfungsämter bald in jExam, Selma und HIS verfügbar sein.=== Ablauf ===Es gelten die [https://tu-dresden.de/studium/im-studium/coronavirus/faq#section-1-2 aktuellen Bestimmungen der TU Dresden], insbesondere die [https://tu-dresden.de/studium/im-studium/coronavirus/pruefungen Hinweise zu Prüfungen].=== Zeit ===Die Prüfungsklausur über 90min findet am 15. Februar 2022 statt. Der '''Einlass''' beginnt um '''08:00 Uhr'''. Die Klausur beginnt, sobald der Einlass abgeschlossen ist. Seien Sie daher spätestens um 08:00 Uhr da.=== Ort ===Zur Prüfung stehen die Hörsäle TRE/MATH, TRE/PHYS und HSZ/0004 zur Verfügung. Je nach Anfangsbuchstabe Ihres Familiennamens suchen Sie bitte die folgenden Hörsäle auf:* A–J: TRE/MATH* K–R: TRE/PHYS* S–Z: HSZ/0004Bitte beachten Sie an den einzelnen Räumen auch evtl. unterschiedliche Eingänge, die wiederum nach Anfangsbuchstaben unterteilt sind.=== Hilfsmittel ===Erlaubt ist ein beidseitig beschriebenes (oder bedrucktes) Blatt DIN A4 („Formelsammlung“).Es sind keine weiteren Hilfsmittel erlaubt, insbesondere keine technischen oder elektronischen Hilfsmittel oder sonstige Nachschlagewerke.=== Gesundheit & Hygiene ===* 3G+: Alle Beteiligten müssen ein höchstens 24h altes negatives Testergebnis vorweisen können, auch vollständig geimpfte und geboosterte Personen. Wir empfehlen einen Test am 14.02. ab 11:00 Uhr.* Gültig sind alle Testnachweise, die auch gültig sind für Zugang zu 2G+ im öffentlichen Raum (Kultur, Restaurant usw). Das wird meist auch auf den Testergebnissen ausgewiesen.* Kontaktverfolgung mittels [https://play.google.com/store/apps/details?id=de.rki.coronawarnapp Corona-Warn-][https://apps.apple.com/de/app/corona-warn-app/id1512595757 App] bzw. durch Unterschrift auf der Anwesenheitsliste* Tragen von FFP2-Masken bis zum Prüfungsraum* Tragen von OP- oder FFP2-Masken im Prüfungsraum* Atteste zur Befreiung von der Maskenpflicht müssen im Vorfeld vorgelegt werden== Vorlesungen ==Vorlesungstermine:* Mo 3. DS* Do 4. DSDie Vorlesung wird virtuell (über Zoom) durchgeführt. Der Link zu den Zoom-Terminen findet sich in der '''[https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/32157466641/CourseNode/101413613650153 OPAL-Seite der Lehrveranstaltung]'''. Die 1. Vorlesung findet am 11. Oktober 2021 statt; die letzte Vorlesung findet am 24. Januar 2022 statt.== Übungen ==Es wird dieses Semester sowohl virtuelle Übungsgruppen als auch Übungen in Präsenz geben.Die Einschreibung in die Übungsgruppen erfolgt über die '''[https://tud.link/kef0 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 (digitalen) Übung zu verweisen. Übungsleiter:innen von Präsenzgruppen sind berechtigt und verpflichtet, die Einhaltung der 3G-Regeln zu überprüfen sowie Beschränkungen der Personenanzahl in den Übungsräumen durchzusetzen.Übungsgruppen finden ab dem 18. Oktober 2021 zu ihren jeweiligen Terminen statt. Die Übungen werden digital über das an der TU Dresden gehostete System '''BigBlueButton''' abgehalten. Links auf die entsprechenden digitalen Räume werden über [https://tud.link/kef0 OPAL] bekanntgegeben. Übungsblätter können in OPAL abgerufen werden.'''Individuelles Feedback für Ihre Lösungen:''' Als zusätzliche Hilfe bieten wir in diesem Semester an, von Studierenden eingereichte Lösungsansätze zu sichten und Ihnen dazu eine Rückmeldung zu geben. Die Details (Abgabetermin & Umfang) werden von den Tutor:innen festgelegt. Unterlagen können per E-Mail an die Tutor:innen abgegeben werden (als digitales Dokument, egal ob Handyfoto der eigenen Handschrift oder am Computer geschriebener Text).== Kontakt ==Zur Kommunikation unter Vorlesungsteilnehmer:innen der TU Dresden stehen ein [https://tud.link/kef0 OPAL-Diskussionsforum] und ein [https://matrix.tu-dresden.de/#/room/#fs2021:tu-dresden.de Matrix-Kanal] zur Verfügung.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).eren (oder vielleicht sogar direkt helfen können).)
Formale Systeme + (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.== Vorlesungen ==Im Wintersemester 2020/21 findet die Lehrveranstaltung rein digital statt. Die Vorlesungen werden als Videoreihe auf YouTube veröffentlicht. Links finden sich unter Zudem werden einige Live-Sessions zur Konsultation angeboten. Diese werden aufgrund der großen Teilnehmerzahl jeweils über '''Zoom''' abgehalten. Die Einwahldetails finden sich im Bereich ''Links'' der '''[https://tud.link/effz OPAL-Seite dieser Lehrveranstaltung]'''. Ein Login oder die Installation spezieller Software ist nicht erforderlich. Konsultationstermine sind wie folgt:* Montag, 26.10.2020, 3.DS (11:10–12:40): Einführung und Willkommen* Montag, 23.11.2020, 3.DS (11:10–12:40): Gelegenheit für Fragen und Feedback zum Stoff und zur digitalen Durchführung* Donnerstag, 25.02.2021, 2. DS (09:20–11:10): Besprechung Probeklausur und Vorbereitung Klausur* Donnerstag, 04.03.2021, 2. DS (09:20–11:10): Fragen zur Klausurvorberitung== Übungen ==Die Einschreibungen in die Übungsgruppen erfolgt über '''[https://tud.link/effz die 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 sind berechtigt, nicht eingeschriebene Studierende bei Überfüllung aus der (digitalen) Übung zu verweisen.'''Übungsgruppen finden ab dem 5. November 2020 zu ihren jeweiligen Terminen statt.''' Die Übungen werden digital über das an der TU Dresden gehostete System '''BigBlueButton''' abgehalten. Links auf die entsprechenden digitalen Räume werden über [https://tud.link/effz OPAL] bekanntgegeben. Übungsblätter können in OPAL abgerufen werden.'''Individuelles Feedback für Ihre Lösungen:''' Als zusätzliche Hilfe bieten wir in diesem Semester an, von Ihnen eingereichte Lösungsansätze zu sichten und Ihnen dazu eine Rückmeldung zu geben. Die Details (Abgabetermin, Umfang) werden von den Tutoren festgelegt. Unterlagen können über OPAL abgegeben werden (als digitales Dokument, egal ob Handyfoto der eigenen Handschrift oder am Computer geschriebener Text).'''Die Übungsblätter können in der Spalte der jeweiligen Übung unter "Termine und Unterlagen" heruntergeladen werden.'''== Wiederholungsprüfung ==Die Wiederholungsprüfung wird in der Prüfungsform '''Referat''' im Zeitraum '''2.–4. August''' durchgeführt. Nach erfolgter Anmeldung erhalten alle Teilnehmenden ein '''individuelles Thema''', zu dem sie einen '''zehnminütigen Kurzvortrag''' ausarbeiten. Im Anschluss an jeden Vortrag folgt eine kurze Fragerunde. Die Vorträge werden in ganztägigen Onlineseminaren gehalten; '''jede:r Teilnehmer:in muss aber nur am jeweiligen Halbtag des eigenen Vortrags teilnehmen'''. Zur '''Themenvergabe''' melden Sie sich bitte per '''Email bei [mailto:maximilian.marx@tu-dresden.de Maximilian Marx]'''.Wir empfehlen dringend, zur Unterstützung der Präsentation '''Folien''' zu verwenden. Diese müssen '''bis zum 30.7. im PDF-Format''' eingereicht werden, damit wir sie in eine Gesamtpräsentation integrieren können (aufgrund des Zeitaufwandes wird die Präsentation von Folien vom eigenen Rechner aus nicht unterstützt). Gleichwohl werden Sie die Folien im BBB selbst umschalten können.== Prüfung ==Aufgrund der COVID-19-Situation wird die Klausur dieses Semester als '''Online-Klausur''' über die '''ONYX-Plattform''' stattfinden. '''Klausurtermin ist der 9. März von 09:20 Uhr bis 10:50 Uhr (eine Anmeldung an die Plattform ist ab 08:50 möglich);''' die '''Probeklausur''' findet '''am 16. Februar von 12:00 Uhr bis 13:30 Uhr''' statt. Die Anmeldung findet wie gewohnt statt. Bitte beachten Sie die [[Medium:FS2020-Hinweise-Klausur.pdf|Hinweise zur Klausurdurchführung]].== Unterlagen ==Die vollständigen Foliensätze zur Vorlesung erscheinen bis zur Woche der Vorlesung online (siehe ''Termine und Unterlagen''). Weiterführende Literatur ist unter ''Literatur'' angegeben. Die Quellen der Vorlesungsfolien sind auf github verfügbar: https://github.com/knowsys/FormaleSystemeAlle Foliensätze der Vorlesungen können entsprechend den Lizensbedingungen von [https://creativecommons.org/licenses/by/3.0/de/ Creative Commons CC By 3.0 Deutschland] genutzt, weitergegeben und modifiziert werden. Als Namensnennung ist folgende Angabe einzufügen: (C) Markus Krötzsch, https://iccl.inf.tu-dresden.de/web/FS2020, CC BY 3.0 DEBildrechte können davon abweichen und sind gesondert angegeben. Die Foliensätze enthalten keinerlei Texte, die aus Werken entnommen sind, für welche die VG Wort Verwertungsrechte vertritt.Besonderen Dank gilt allen [https://github.com/knowsys/FormaleSysteme/graphs/contributors Contributors], die Anmerkungen und Verbesserungen beigetragen haben: [[Daniel Borchmann]], [[Maximilian Marx]], [https://github.com/chlewe Christian Lewe], [https://github.com/tidenhub David Tiede], [https://github.com/jhaye Johannes (jhaye)], [https://github.com/DerKolibri Andrej Bereza], [https://github.com/CniKKoR CniKKoR], [https://github.com/marcusrossel Marcus Rossel], [https://github.com/MaxHaertwig Max Haertwig], [https://github.com/eknoes Sönke (eknoes)], [https://github.com/bennofs Benno Fünfstück], [https://github.com/voidless Julius Schmitt]. (Stand März 2021; Ergänzungen sind willkommen.)== Kontakt ==Zur Kommunikation unter Vorlesungsteilnehmern der TU Dresden stehen ein [https://tud.link/effz OPAL-Diskussionsforum] und ein [https://matrix.tu-dresden.de/#/room/#fs2020:tu-dresden.de Matrix-Kanal] zur Verfügung.Kommentare und Bug Reports können gern auch direkt über die entsprechenden Seiten auf github gepostet werden: https://github.com/mkroetzsch/FormaleSystemeAlternativ können Hinweise zu Tippfehlern in den Vorlesungsfolien auch an die Mailingliste geschickt werden.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. Allgemein Fragen sollten Sie aber immer in geteilten Kanälen stellen, damit auch Ihre Kommilitoninnen und Kommilitonen davon profitieren (oder vielleicht sogar direkt helfen können).kt helfen können).)
Formale Systeme + (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.== Vorlesungen ==Vorlesungstermine:* Mo 3. DS (BAR/SCHÖ/E)* Do 4. DS (HSZ/0003/H)== Übungen ==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.Übungsgruppen finden ab dem 21. Oktober 2024 zu ihren jeweiligen Terminen statt. Übungsblätter können in OPAL abgerufen werden.== Kontakt ==Im OPAL steht ein Forum zum Austausch mit anderen Kursteilnehmenden bereit.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).== Prüfung ==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.Die Raumaufteilung ist nach Anfangsbuchstaben des Familiennamens wie folgt:* A–K: HSZ/AUDI/H* L–R: HSZ/02/E* S–Z: HSZ/03/H== Einsichtnahme ==Wir bieten eine Einsichtnahme in die Prüfungsklausur an: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)
Formale Systeme + (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.== Wiederholungsklausur ===== Lernraum ===Wir dürfen in diesem Semester zwei Lernräume anbieten:* Mittwoch, 24.07.2024 13:00-14:30 Uhr in [[APB E005]]* Donnerstag, 25.07.2024 11:10-12:40 Uhr in [[APB E005]]=== Zeit und Raum === Die Klausur über 90 Minuten findet am Dienstag, den 30.07.2024 im [https://navigator.tu-dresden.de/raum/217102.0530 Trefftz-Bau (TRE) Haus A Hörsaalgebäude (Zellescher Weg 16)] statt. Der '''Einlass''' beginnt um '''12:45 Uhr'''. Die Bearbeitung der Klausur beginnt etwa 13:15 Uhr.=== Hilfsmittel ===Es sind '''keine Hilfsmittel''' erlaubt, insbesondere keine technischen und elektronischen Hilfsmittel oder Formelsammlungen und Nachschlagewerke.== Prüfung ===== Klausureinsicht ===Eine Einsichtnahme Ihrer Klausur ist am '''Montag, 29. April 2029''' in [[APB 3027]] möglich. Buchen Sie hierfür bitte einen Termin in [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/41670868994/CourseNode/1696386794426560011 OPAL]. Wir planen mit begrenzten Zeitblöcken von je 15 Minuten. Bitte erscheinen Sie pünktlich zu Ihrem Termin.=== Lernraum ===Uns wurde am Freitag, dem 09.02.2024, der Lernraum [[WEB/136]] für die 5. DS (14:50-16:20 Uhr) zugeordnet. Zu diesem Termin werden einige Übungsgruppenleiter anwesend sein und auf Fragen eingehen können.=== Zeit ===Die Klausur über 90 Minuten findet am Dienstag, den 13.02.2024 statt. Der '''Einlass''' beginnt um '''12:45 Uhr'''. Die Klausur beginnt um 13:15 Uhr.=== Ort ===Für die Prüfung stehen und die Räume [[HSZ/0002]], [[HSZ/0003]] sowie [[HSZ/AUDI/H]] zur Verfügung. Suchen Sie die Räume gemäß des Anfangsbuchstabens Ihres Nachnamens auf:* A-J: [[HSZ/0002]]* K-P: [[HSZ/AUDI/H]]* Q-Z: [[HSZ/0003]]=== Hilfsmittel ===Es sind '''keine Hilfsmittel''' erlaubt, insbesondere keine technischen und elektronischen Hilfsmittel oder Formelsammlungen und Nachschlagewerke.== Repetitorien ==Am '''Montag, den 11.12.2023''' findet im Zeitraum der Vorlesung (11:10-12:40) ein Repetitorium in [[BAR/SCHÖ]] statt. In diesem wird eine kurze Zusammenfassung des bis dahin behandelten Stoffs gegeben sowie einige der '''Aufgaben zur Selbstkontrolle''' aus den Übungsblättern besprochen. == Vorlesungen ==Die Vorlesungstermine sind* montags 3.DS (11:10–12:40) in [[BAR/SCHÖ]] sowie* donnerstags 4.DS (13:00–14:30) in [[HSZ/0003]].Die erste Vorlesung findet am Montag, dem 9.Oktober 2023 statt.== Übungen ==Die Einschreibung in die Übungsgruppen wird über [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/41670868994/CourseNode/1696386794426560011 OPAL] erfolgen. Für die Teilnahme an einer Übungsgruppe ist die Einschreibung in dieser Gruppe '''verpflichtend'''. Studierenden ohne Einschreibung kann die Teilnahme an einer selbst gewählten Übung nicht garantiert werden. Übungsleiter sind berechtigt, nicht eingeschriebene Studierende bei Überfüllung aus der Übung zu verweisen.Die folgenden Termine für Übungen werden wir anbieten:* '''Gruppe A''': montags 2. DS (9:20-10:50) in [[APB E010]] (Übungsleiter: [[Marcos Cramer]])* '''Gruppe B''': montags 2. DS (9:20-10:50) in [[APB E009]] (Übungsleiter: Johannes Tantow)* '''Gruppe C''': montags 6. DS (16:40-18:10) in [[APB E010]] (Übungsleiter: Florens Förster)* '''Gruppe I''': mittwochs 6. DS (16:40-18:10) in [[APB E007]] (Übungsleiter: [[Jonas Karge]])* '''Gruppe D''': donnerstags 1. DS (7:30-9:00) in [[APB E007]] (Übungsleiter: Aaron Kutzer)* '''Gruppe E''': donnerstags 5. DS (14:50-16:20) in [[APB E008]] (Übungsleiter: Anton Claußnitzer)* '''Gruppe F''': freitags 1. DS (7:30-9:00) in [[APB E009]] (Übungsleiter: [[Max Korn]])* '''Gruppe G''': freitags 2. DS (9:20-10:50) in [[APB E006]] (Übungsleiter: Aaron Kutzer)* '''Gruppe H''': freitags 3. DS (11:10-12:40) in [[APB E010]] (Übungsleiter: Florens Förster)* '''Gruppe J''': freitags 4. DS (13:00-14:30) in [[APB E009]] (Übungsleiter: [[Stephan Mennicke]])Die Einschreibung in die Gruppen der [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/41670868994/CourseNode/1696386794426560011 OPAL-Lehrveranstaltung] wird am '''Montag, den 09.10.2023 um 18:00 Uhr''' freigeschalten.Der Übungsbetrieb startet '''am 16. Oktober 2023''' zu Ihren jeweiligen Terminen in den angegebenen Räumen statt. Die Übungsblätter können in der Spalte der jeweiligen Übung unter ''Termine und Unterlagen'' heruntergeladen werden.== Unterlagen ==Die vollständigen Foliensätze zur Vorlesung erscheinen bis zur Woche der Vorlesung online (siehe ''Termine und Unterlagen''). Weiterführende Literatur ist unter ''Literatur'' angegeben. Die Quellen der Vorlesungsfolien sind auf github verfügbar: https://github.com/knowsys/FormaleSystemeAlle Foliensätze der Vorlesungen können entsprechend den Lizensbedingungen von [https://creativecommons.org/licenses/by/3.0/de/ Creative Commons CC By 3.0 Deutschland] genutzt, weitergegeben und modifiziert werden. Als Namensnennung ist folgende Angabe einzufügen: (C) Markus Krötzsch, https://iccl.inf.tu-dresden.de/web/FS2023, CC BY 3.0 DEBildrechte können davon abweichen und sind gesondert angegeben. Die Foliensätze enthalten keinerlei Texte, die aus Werken entnommen sind, für welche die VG Wort Verwertungsrechte vertritt.Besonderen Dank gilt allen [https://github.com/knowsys/FormaleSysteme/graphs/contributors Contributors], die Anmerkungen und Verbesserungen beigetragen haben: [[Daniel Borchmann]], [[Maximilian Marx]], [https://github.com/chlewe Christian Lewe], [https://github.com/tidenhub David Tiede], [https://github.com/jhaye Johannes (jhaye)], [https://github.com/DerKolibri Andrej Bereza], [https://github.com/CniKKoR CniKKoR], [https://github.com/marcusrossel Marcus Rossel], [https://github.com/MaxHaertwig Max Haertwig], [https://github.com/eknoes Sönke (eknoes)], [https://github.com/bennofs Benno Fünfstück], [https://github.com/voidless Julius Schmitt]. (Stand März 2021; Ergänzungen sind willkommen.)== Kontakt ==Zur Kommunikation unter Vorlesungsteilnehmern der TU Dresden steht ein [https://matrix.tu-dresden.de/#/room/#fosys:tu-dresden.de Matrix-Kanal] zur Verfügung.Kommentare und Bug Reports können gern auch direkt über die entsprechenden Seiten auf github gepostet werden: https://github.com/mkroetzsch/FormaleSystemeAlternativ können Hinweise zu Tippfehlern in den Vorlesungsfolien auch an die Mailingliste geschickt werden.Persönliche Fragen können 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 Kommilitoninnen und Kommilitonen davon profitieren (oder vielleicht sogar direkt helfen können).t sogar direkt helfen können).)
Theoretische Informatik und Logik + (Die Lehrveranstaltung vermittelt eine vert … Die Lehrveranstaltung vermittelt eine vertiefende Einleitung in die theoretische Informatik, beginnend mit den Grundlagen der Berechenbarkeits- und Komplexitätstheorie, Prädikatenlogik und deren Bezug zu Komplexität und Datenbanken, bis hin zu weiterführenden Themen wie Gödels Unvollständigkeitstheoreme und die Beziehung von Logik und formalen Sprachen. Wir stoßen vor zu den Grenzen der Informatik und Mathematik, treffen auf fleißige Biber und verrückte Logiker, vergleichen SQL mit Tic Tac Toe und stellen die großen Fragen unseres Fachgebiets.Die Vorlesung ist weitgehend selbsterklärend, aber Grundlagen aus der Veranstaltung [[Formale Systeme]] können hilfreich sein. == Wiederholungsklausur ==Prüfungstermin: 24.02.2023 08:00 UhrWEB/KLEM/UAls Hilfsmittel ist ein Blatt DIN A4 („Formelsammlung“) zugelassen; es sind keine sonstigen Hilfsmittel erlaubt.== Klausureinsicht ==2. Termin: Am 10.11.2022 bieten wir Ihnen im Raum ABP 2040 von 13:00 bis 14:00 Uhr die Möglichkeit zur Klausureinsicht.Bitte melden Sie sich hierzu per Mail (mailto:doerthe.arndt@tu-dresden.de) an. In Ausnahmefällen können ebenfalls Individualtermine vereinbart werden== Prüfungsergebnisse ==Die Prüfungsergebnisse wurden an das Prüfungsamt übermittelt.== Prüfung ==Die Prüfung findet in Form einer 90-minütigen Klausur am '''12.08.2022''' im Trefftz-Bau in den Räumen '''TRE/MATH/H''' (Anfangsbuchstaben des Familiennamens '''A–L''') und '''TRE/PHYS/E''' (Anfangsbuchstaben '''M–Z''') statt.Klausurbeginn ist '''9:00 Uhr''', bitte seien Sie jedoch spätestens 08:45 Uhr da. Einlass ist ab 08:30 Uhr.Am 11.08.2022 findet um 16:30 Uhr ein [https://tu-dresden.zoom.us/j/69982650345?pwd=TnBCd2h4c1lTalIwSGlYcGRvRzZQQT09 Repetitorium] statt.(Stand: 10.08.2022)Als Hilfsmittel ist ein Blatt DIN A4 („Formelsammlung“) zugelassen; es sind keine sonstigen Hilfsmittel zugelassen.== Vorlesungen ==Vorlesungstermine:* Mo 3. DS* Do 4. DSDie Vorlesung wird zunächst virtuell (über Zoom) durchgeführt. Die Links zu den Zoom-Terminen finden sich im Reiter „Termine und Unterlagen“. Die 1. Vorlesung findet am 4. April 2022 statt.== Übungen ==Es wird sowohl virtuelle Übungsgruppen als auch Übungen in Präsenz geben.Die Einschreibung in die Übungsgruppen erfolgt über die [https://tud.link/d05x OPAL-Seite der Lehrveranstaltung] '''ab 04.04.2022 15:00 Uhr'''. 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 (digitalen) Übung zu verweisen. Übungsleiter:innen von Präsenzgruppen sind berechtigt und verpflichtet, die Einhaltung etwaiger Hygieneregeln zu überprüfen sowie Beschränkungen der Personenanzahl in den Übungsräumen durchzusetzen.Übungsgruppen finden ab dem 11. April 2022 zu ihren jeweiligen Terminen statt. Die virtuellen Übungen werden über das an der TU Dresden gehostete System '''BigBlueButton''' abgehalten. Links auf die entsprechenden digitalen Räume werden über [https://tud.link/d05x OPAL] bekanntgegeben. Übungsblätter können über den Reiter „Termine und Unterlagen“ abgerufen werden.'''Individuelles Feedback für Ihre Lösungen:''' Als zusätzliche Hilfe bieten wir in diesem Semester an, von Studierenden eingereichte Lösungsansätze zu sichten und Ihnen dazu eine Rückmeldung zu geben. Die Details (Abgabetermin & Umfang) werden von den Tutor:innen festgelegt. Unterlagen können per E-Mail an die Tutor:innen abgegeben werden (als digitales Dokument, egal ob Handyfoto der eigenen Handschrift oder am Computer geschriebener Text).== Kontakt ==Zur Kommunikation unter Vorlesungsteilnehmer:innen der TU Dresden stehen ein OPAL-Diskussionsforum und ein [https://matrix.tu-dresden.de/#/room/#theolog2022:tu-dresden.de Matrix-Kanal] zur Verfügung.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). (oder vielleicht sogar direkt helfen können).)
Theoretische Informatik und Logik + (Die Lehrveranstaltung vermittelt eine vert … Die Lehrveranstaltung vermittelt eine vertiefende Einleitung in die theoretische Informatik, beginnend mit den Grundlagen der Berechenbarkeits- und Komplexitätstheorie, Prädikatenlogik und deren Bezug zu Komplexität und Datenbanken, bis hin zu weiterführenden Themen wie Gödels Unvollständigkeitstheoreme und die Beziehung von Logik und formalen Sprachen.Wir stoßen vor zu den Grenzen der Informatik und Mathematik, treffen auf fleißige Biber und verrückte Logiker, vergleichen SQL mit Tic Tac Toe und stellen die großen Fragen unseres Fachgebiets.Die Vorlesung ist weitgehend selbsterklärend, aber Grundlagen aus der Veranstaltung [[Formale Systeme]] können hilfreich sein.== Vorlesungen ==Vorlesungstermine:* Mo 3. DS, [https://navigator.tu-dresden.de/raum/145403.0460 HÜL/S386/H]* Do 4. DS, [https://navigator.tu-dresden.de/raum/1361-1.0400 HSZ/0002/E]== Übungen ==Die Einschreibung in die Übungsgruppen erfolgt über die [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/48851910659/CourseNode/101413613647390?20 OPAL-Seite der Lehrveranstaltung] '''ab 07.04.2025 15:00 Uhr'''.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 (digitalen) Übung zu verweisen.Übungsgruppen finden am 14. April 2025 sowie ab dem 22. April 2025 zu ihren jeweiligen Terminen statt.Übungsblätter gibt es im [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/48851910659/CourseNode/101413613647390?20 OPAL].'''Individuelles Feedback für Ihre Lösungen:''' Als zusätzliche Hilfe bieten wir in diesem Semester an, von Studierenden eingereichte Lösungsansätze zu sichten und Ihnen dazu eine Rückmeldung zu geben.Die Details (Abgabetermin & Umfang) werden von den Tutor:innen festgelegt. Unterlagen können per E-Mail an die Tutor:innen abgegeben werden (als digitales Dokument, egal ob Handyfoto der eigenen Handschrift oder am Computer geschriebener Text).== Kontakt ==Zur Kommunikation unter Vorlesungsteilnehmer:innen der TU Dresden stehen ein OPAL-Diskussionsforum zur Verfügung.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). (oder vielleicht sogar direkt helfen können).)
Formale Systeme + (Die Vorlesung ''Formale Systeme'' vermitte … Die Vorlesung ''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.k'' und für viele vertiefende Vorlesungen.)
Formale Systeme + (Die Vorlesung ''Formale Systeme'' vermitte … Die Vorlesung ''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.== Termine ==Die erste Vorlesung ist am Montag, 09.10.2017. Weitere Termine sind jeweils:* montags 3.DS (11:10–12:40) HSZ/0002* donnerstags 4.DS (13:00–14:30) HSZ/0003'''Achtung:''' Am Montag, dem 23.10.2017, findet keine Vorlesung statt.== WIEDERHOLUNGSKLAUSUR ==Die '''Wiederholungsklausur''' findet am Dienstag den 7. August 2018 um 11:10 in Raum HSZ/0003 im Hörsaalzentrum (Bergstr. 64) statt (ohne Gewähr, Änderungen werden vom Prüfungsamt bekanntgegeben).== KLAUSUREINSICHT ==Am Mittwoch den 11.04.2018 kann Einsicht in die Klausur genommen werden. Die Einsicht findet in Raum APB/E001 statt. Bitte kommen Sie zu Beginn eines Ihrem Nachnamen zugewiesenen Zeitfensters:* 13:00-13:15 A-B* 13:15-13:30 C-D* 13:30-13:45 E-F* 13:45-14:00 G-G* 14:00-14:15 H-J* 14:15-14:30 K-K* 14:30-14:45 K-K* 14:45-15:00 L-L* 15:00-15:15 M-Q* 15:15-15:30 R-R* 15:30-15:45 S-S* 15:45-16:00 S-S* 16:00-16:15 T-V* 16:15-16:30 W-Z== KLAUSUR ==Die '''Klausur''' findet am 13. Februar 2018 um 9:20 im Hörsaalzentrum (Bergstr.64) statt (ohne Gewähr, Änderungen werden vom Prüfungsamt bekanntgegeben).Bitte beachten Sie die Aufteilung auf zwei Hörsäle: * Nachnamen beginnend mit A-M: HSZ/AUDI/H (Audimax) * Nachnamen beginnend mit N-Z: HSZ/0003/H'''Lernräume:''' In Vorbereitung auf die Klausur wird es folgende Termine für Lernräume geben:* 06.02.2018, 14-16:00 Uhr, E007* 06.02.2018, 16-18:00 Uhr, E006 Diese können zur angegeben Zeit ohne vorherige Terminabsprache besucht werden.== Übungen ==Die Einschreibungen in die Übungsgruppen erfolgt über [https://jexam.inf.tu-dresden.de JExam]. Sollten Sie keinen Zugang zu JExam haben schreiben Sie bitte eine kurze [mailto:sascha.klueppelholz@tu-dresden.de?subject=FS-Einschreibung Email].'''Bitte beachten Sie''':* 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 sind berechtigt, nicht eingeschriebene Studierende bei Überfüllung aus der Übung zu verweisen.===Übungsblätter===* [[Medium:FS17-uebung-01.pdf|1. Übungsblatt]]* [[Medium:FS17-uebung-02.pdf|2. Übungsblatt]]* [[Medium:FS17-uebung-03.pdf|3. Übungsblatt]]* [[Medium:FS17-uebung-04.pdf|4. Übungsblatt]]* [[Medium:FS17-uebung-05.pdf|5. Übungsblatt]]* [[Medium:FS17-uebung-06.pdf|6. Übungsblatt]]* [[Medium:FS17-uebung-07.pdf|7. Übungsblatt]]* [[Medium:FS17-uebung-08.pdf|8. Übungsblatt]]* [[Medium:FS17-uebung-09.pdf|9. Übungsblatt]]* [[Medium:FS17-uebung-10.pdf|10. Übungsblatt]]* [[Medium:FS17-uebung-11.pdf|11. Übungsblatt]]* [[Medium:FS17-uebung-12.pdf|12. Übungsblatt]]* [[Medium:FS17-uebung-13.pdf|13. Übungsblatt]]* [[Medium:FS17-uebung-14.pdf|14. Übungsblatt]]===Musterklausur===Als Prüfungsvorbereitung wird eine [[Medium:FS17-musterklausur.pdf|Musterklausur]] zur Verfügung gestellt. Diese wird am 01.02. in der Vorlesungszeit vorgerechnet werden.== Unterlagen ==Die vollständigen Foliensätze zur Vorlesung erscheinen spätestens kurz nach der Vorlesung online (siehe ''Termine und Unterlagen''). Weiterführende Literatur ist unter ''Literatur'' angegeben. Die Quellen der Vorlesungsfolien sind auf github verfügbar: https://github.com/mkroetzsch/FormaleSystemeAlle Foliensätze der Vorlesungen können entsprechend den Lizensbedingungen von [https://creativecommons.org/licenses/by/3.0/de/ Creative Commons CC By 3.0 Deutschland] genutzt, weitergegeben und modifiziert werden. Als Namensnennung ist folgende Angabe einzufügen: (C) Markus Krötzsch, https://iccl.inf.tu-dresden.de/web/FS2017, CC BY 3.0 DEBildrechte können davon abweichen und sind gesondert angegeben. Die Foliensätze enthalten keinerlei Texte, die aus Werken entnommen sind, für welche die VG Wort Verwertungsrechte vertritt.== Kontakt ==Für Fragen rund um den Stoff und Vorlesungsbetrieb ist eine Mailingliste eingerichtet worden, auf der sich Teilnehmer_innen der Vorlesung einschreiben können. Dazu muss nur das [https://mailman.zih.tu-dresden.de/groups/listinfo/inf-thi-fs1718 Anmeldeformular] ausgefüllt werden. '''Fast alle Fragen sollten auf diesem Weg gestellt werden.''' Kommentare und Bug Reports können gern auch direkt über die entsprechenden Seiten auf github gepostet werden: https://github.com/mkroetzsch/FormaleSystemeAlternativ können Hinweise zu Tippfehlern in den Vorlesungsfolien auch an die Mailingliste geschickt werden.Persönliche Fragen können auch direkt an das Organisationsteam (siehe Links oben) gestellt werden, falls sie aus einem zwingenden Grund nicht an die Mailingliste gerichtet werden können. Allgemein Fragen sollten Sie aber immer an die Liste richten, damit auch Ihre Kommilitonen davon profitieren (oder vielleicht sogar direkt helfen können).t sogar direkt helfen können).)
Formale Systeme + (Die Vorlesung ''Formale Systeme'' vermitte … Die Vorlesung ''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.== Informationen zur Einsichtnahme in die Wiederholungsklausur ==Die Einsichtnahme in die Wiederholungsklausur ist am 13.10.2017 in der Zeit von 9:00 bis 10:00 im Raum APB/3027 möglich. Eine Anmeldung ist in jedem Fall notwendig – bitte melden Sie sich dazu per E-Mail bei [[Stefan Borgwardt]].== Wichtige Hinweise zur Wiederholungsklausur ==Voraussetzung für die Teilnahme an der Wiederholungsklausur ''Formale Systeme'' isteine ordnungsgemäße Einschreibung!Die Klausur findet am 08.08.2017 um 09:20 Uhr im ZEU/LICH/H statt. DiePlätze sind spätestens 10 Minuten vor Beginn einzunehmen. Für dieBearbeitung der Klausur stehen 90 Minuten zur Verfügung. Es sind keineHilfsmittel zugelassen. Bitte vergessen Sie nicht, IhrenStudentenausweis und einen Lichtbildausweis mitzubringen.== Termine ==Die erste Vorlesung ist am Montag, 10.10.2016. Weitere Termine sind jeweils:* montags 3.DS (11:10–12:40) HSZ/0002* donnerstags 4.DS (13:00–14:30) HSZ/0003mit Ausnahme von Mo, 31.10., (Reformationstag) und der vorlesungsfreien Zeit zum Jahreswechsel (keine Vorlesungen vom 22.12.2016 bis zum 3.1.2017). Die Prüfung findet am 14.2.2017 statt. Alle Studierende müssen sich mittels der in ihrem Studiengang verwendeten Verfahren anmelden.== Hinweise ==Mathematikstudenten, welche die Vorlesung im Rahmen ihres Nebenfachs besuchen, melden sich bitte so schnell wie möglich per E-Mail bei Herrn Borchmann.== Übungen ==Die Einschreibungen in die Übungsgruppen erfolgt über [https://jexam.inf.tu-dresden.de JExam].'''Bitte beachten Sie''':* 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 sind berechtigt, nicht eingeschriebene Studierende bei Überfüllung aus der Übung zu verweisen. Die Einschreibung ist nur noch bis '''Montag, den 17. Oktober''' möglich.* Die Übung am Donnerstag in der 1. DS findet im Raum APB E008 statt, die Übung am Freitag in der 3. DS findet im Raum APB E006 statt. Zu beiden Zeitslots finden insbesondere ''keine Übungen im HSZ'' statt.* Die Übungen beginnen aber der 2. Vorlesungswoche (42. KW), also ab dem 17. Oktober.* Die Übung am Mittwoch in der 6. Doppelstunde findet nicht mehr in der E009 statt, sondern in der E006.* Die Übung am Freitag, den 18. November, in der 5. DS im Raum E009 findet einmalig nicht statt.* Die Übungen finden auch in der letzten Vorlesungswoche statt, bis also einschließlich 03.02.2017.===Übungsblätter===* [[Medium:FS16-uebung-01.pdf|1. Übungsblatt]]* [[Medium:FS16-uebung-02.pdf|2. Übungsblatt]]* [[Medium:FS16-uebung-03.pdf|3. Übungsblatt]]* [[Medium:FS2016-uebung-04.pdf|4. Übungsblatt]]* [[Medium:FS2016-uebung-05.pdf|5. Übungsblatt]]* [[Medium:FS2016-uebung-06.pdf|6. Übungsblatt]]* [[Medium:FS2016-uebung-07.pdf|7. Übungsblatt]]* [[Medium:FS2016-uebung-08.pdf|8. Übungsblatt]]* [[Medium:FS2016-uebung-09.pdf|9. Übungsblatt]]* [[Medium:FS2016-uebung-10.pdf|10. Übungsblatt]]* [[Medium:FS2016-uebung-11.pdf|11. Übungsblatt]]* [[Medium:FS2016-uebung-12.pdf|12. Übungsblatt]]* [[Medium:FS2016-uebung-13.pdf|13. Übungsblatt]]===Repetitorien===* [[Medium:FS2016-repititorium-1.pdf|Aufgabenblatt für das 1. Repetitorium]]* [[Medium:FS2016-repetitorium-2.pdf|Aufgabenblatt für das 2. Repetitorium]]; dieses Repetitorium findet zur Vorlesungszeit am Montag, den 30.01. statt.===Musterklausur===Als Prüfungsvorbereitung wird eine [[Medium:FS2016-musterklausur.pdf|Musterklausur]] zur Verfügung gestellt. Diese wird am 26.01. in der Vorlesungszeit vorgerechnet werden.==Lernraum==Es wird zur Prüfungsvorbereitung ein Lernraum angeboten. Dieser findet am 10.02.2017 statt. Bitte beachten dazu Sie die aktuellen Aushänge in der Fakultät.== Unterlagen ==Die vollständigen Foliensätze zur Vorlesung erscheinen spätestens kurz nach der Vorlesung online (siehe ''Termine und Unterlagen''). Weiterführende Literatur ist unter ''Literatur'' angegeben.Alle Foliensätze der Vorlesungen können entsprechend den Lizensbedingungen von [https://creativecommons.org/licenses/by/3.0/de/ Creative Commons CC By 3.0 Deutschland] genutzt, weitergegeben und modifiziert werden. Als Namensnennung ist folgende Angabe einzufügen: (C) Markus Krötzsch, https://iccl.inf.tu-dresden.de/web/FS2016, CC BY 3.0 DEBildrechte können davon abweichen und sind gesondert angegeben. Die Foliensätze enthalten keinerlei Texte, die aus Werken entnommen sind, für welche die VG Wort Verwertungsrechte vertritt.== Kontakt ==Für Fragen rund um den Stoff und Vorlesungsbetrieb ist eine Mailingliste eingerichtet worden, auf der sich Teilnehmer_innen der Vorlesung einschreiben können. Dazu muss nur das [https://mailman.zih.tu-dresden.de/groups/listinfo/inf-thi-fs2016 Anmeldeformular] ausgefüllt werden. '''Fast alle Fragen sollten auf diesem Weg gestellt werden.''' Auch Hinweise zu Tippfehlern in den Vorlesungsfolien sollten am besten direkt an die Liste geschickt werden.Persönliche Fragen können auch direkt an das Organisationsteam (siehe Links oben) gestellt werden, falls sie aus einem zwingenden Grund nicht an die Mailingliste gerichtet werden können. Allgemein Fragen sollten Sie aber immer an die Liste richten, damit auch Ihre Kommilitonen davon profitieren (oder vielleicht sogar direkt helfen können).t sogar direkt helfen können).)
Theoretische Informatik und Logik + (Die Vorlesung vermittelt eine vertiefende … Die Vorlesung vermittelt eine vertiefende Einleitung in die theoretische Informatik, beginnend mit den Grundlagen der Berechenbarkeits- und Komplexitätstheorie, Prädikatenlogik und deren Bezug zu Komplexität und Datenbanken, bis hin zu weiterführenden Themen wie Gödels Unvollständigkeitstheoreme und die Beziehung von Logik und formalen Sprachen. Wir stoßen vor zu den Grenzen der Informatik und Mathematik, treffen auf fleißige Biber und verrückte Logiker, vergleichen SQL mit Tic Tac Toe und stellen die großen Fragen unseres Fachgebiets.Die Vorlesung ist weitgehend selbsterklärend, aber Grundlagen aus der Veranstaltung [[Formale Systeme]] können hilfreich sein.ysteme]] können hilfreich sein.)
Theoretische Informatik und Logik + (Die Vorlesung vermittelt eine vertiefende … Die Vorlesung vermittelt eine vertiefende Einleitung in die theoretische Informatik, beginnend mit den Grundlagen der Berechenbarkeits- und Komplexitätstheorie, Prädikatenlogik und deren Bezug zu Komplexität und Datenbanken, bis hin zu weiterführenden Themen wie Gödels Unvollständigkeitstheoreme und die Beziehung von Logik und formalen Sprachen. Wir stoßen vor zu den Grenzen der Informatik und Mathematik, treffen auf fleißige Biber und verrückte Logiker, vergleichen SQL mit Tic Tac Toe und stellen die großen Fragen unseres Fachgebiets.Die Vorlesung ist weitgehend selbsterklärend, aber Grundlagen aus der Veranstaltung [[Formale Systeme (WS2020)|Formale Systeme]] können hilfreich sein.==Termine==Im Sommersemester 2021 findet die Lehrveranstaltung rein digital statt. Die Vorlesungen werden als Videoreihe auf YouTube veröffentlicht. Links finden sich unter [https://youtube.com/channel/UC0mGxSeFgs3iCNPrypD4Z5g/ diesem YouTube-Kanal].Zudem werden einige Live-Sessions zur Konsultation angeboten. Diese werden aufgrund der großen Teilnehmerzahl jeweils über '''Zoom''' abgehalten. Die Einwahldetails finden sich im Bereich ''Links'' der '''[https://tud.link/3ua5 OPAL-Seite dieser Lehrveranstaltung]'''. Ein Login oder die Installation spezieller Software ist nicht erforderlich. Konsultationstermine werden hier bekannt gegeben:* <s>Montag, 02.04.2021, 2.DS (09:20–10:50): Einführung und Willkommen</s> (falsch angekündigter Termin; Konsultationen sind erst später geplant)* Montag, 03.05.2021, 2.DS (9:20–10:50): 1. Konsultation* Montag, 07.06.2021, 2.DS (9:20–10:50): 2. Konsultation* Montag, 19.07.2021, 2.DS (9:20–10:50): 3. Konsultation* Mittwoch, 11.08.2021, 6.DS (16:40–18:10): Besprechung der [[Medium:ThL21-musterklausur.pdf|Musterklausur]]==Klausur==Die Klausur (90 Minuten) findet am '''Freitag, dem 13.08.2021''' im Zeitraum '''08:50–11:20 Uhr''' als Onlineklausur statt. Bitte beachten Sie die [[Medium:ThL21-Klausur.pdf|Hinweise zur Durchführung der Klausur]]. Eine kurze Probeklausur zum Test der Prüfungsplattform findet am '''03.08.2021 von 16:30–17:00 Uhr''' statt. Die Probeklausur dient lediglich dazu, Sie mit der Prüfungsplattform vertraut zu machen. Sie entspricht weder hinsichtlich der Bearbeitungszeit noch der Aufgabentypen der tatsächlichen Prüfungsklausur. Wir stellen dafür gesondert eine '''[[Medium:ThL21-musterklausur.pdf|Musterklausur]]''' bereit, die am '''Mittwoch, dem 11.08.2021''' im Zeitraum '''16:40–18:10 Uhr''' in einer '''Konsultation''' besprochen wird. Bitte beachten Sie die [[Medium:ThL21-Probeklausur.pdf|Hinweise zur Durchführung der Probeklausur]].==Klausureinsicht zur Wiederholungsklausur==Am Mittwoch, dem 2022-04-13, besteht ab 14:00 Uhr die Möglichkeit zur Einsicht in die Wiederholungsklausur. Zur Terminvergabe kontaktieren Sie bitte [[Maximilian Marx]].==Übungen==Die Einschreibungen in die Übungsgruppen erfolgt über [https://tud.link/fvgh OPAL]. Die Übungen starten in Kalenderwoche 17, also in der Woche, die am 26.4.2021 beginnt.'''Bitte beachten Sie''': 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 sind berechtigt, nicht eingeschriebene Studierende bei Überfüllung aus der Übung zu verweisen. ===Übungsblätter===Aufgabenblätter werden ungefähr eine Woche vor der Übung hier bereitstellt werden.Zur Vorbereitung auf die Prüfung wird auch eine Musterklausur bereitgestellt.* [[Medium:ThL21-uebung-01.pdf|1. Übungsblatt]]* [[Medium:ThL21-uebung-02.pdf|2. Übungsblatt]]* [[Medium:ThL21-uebung-03.pdf|3. Übungsblatt]]* [[Medium:ThL21-uebung-04.pdf|4. Übungsblatt]]* [[Medium:ThL21-uebung-05.pdf|5. Übungsblatt]]* [[Medium:ThL21-uebung-06.pdf|6. Übungsblatt]]* [[Medium:ThL21-uebung-07.pdf|7. Übungsblatt]]* [[Medium:ThL21-uebung-08.pdf|8. Übungsblatt]]* [[Medium:ThL21-uebung-09.pdf|9. Übungsblatt]]* [[Medium:ThL21-uebung-10.pdf|10. Übungsblatt]]* [[Medium:ThL21-uebung-11.pdf|11. Übungsblatt]]* [[Medium:ThL21-uebung-12.pdf|12. Übungsblatt]]== Unterlagen ==Die vollständigen Foliensätze zur Vorlesung erscheinen spätestens kurz nach der Vorlesung online (siehe ''Termine und Unterlagen''). Weiterführende Literatur ist unter ''Literatur'' angegeben. Die Quellen der Vorlesungsfolien sind auf github verfügbar: https://github.com/knowsys/TheoLogAlle Foliensätze der Vorlesungen können entsprechend den Lizensbedingungen von [https://creativecommons.org/licenses/by/3.0/de/ Creative Commons CC By 3.0 Deutschland] genutzt, weitergegeben und modifiziert werden. Als Namensnennung ist folgende Angabe einzufügen: (C) Markus Krötzsch, https://iccl.inf.tu-dresden.de/web/TheoLog2021, CC BY 3.0 DEBildrechte können davon abweichen und sind gesondert angegeben. Die Foliensätze enthalten keinerlei Texte, die aus Werken entnommen sind, für welche die VG Wort Verwertungsrechte vertritt.Besonderen Dank gilt allen [https://github.com/knowsys/TheoLog/graphs/contributors Contributors], die Anmerkungen und Verbesserungen beigetragen haben: [[Daniel Borchmann]], [[Maximilian Marx]], [https://github.com/freeDom- Dominik (freeDom-)], [https://github.com/CniKKoR CniKKoR], [https://github.com/marcusrossel Marcus Rossel], [https://github.com/SchermulyM SchermulyM], [https://github.com/tidenhub David Tiede], [[Francesco Kriegel]], [https://github.com/RobertPeine Robert Peine], [https://github.com/chlewe Christian Lewe], [https://github.com/hobbeshunter Martin Wudenka], [https://github.com/eknoes Sönke (eknoes)], [https://github.com/freakyblue Jonny Seitz], [https://github.com/NWuensche Niklas Wünsche], und [https://github.com/FlorianUlbrich Florian Ulbrich]. (Stand Juli 2018; Ergänzungen sind willkommen.)== Kontakt ==Zur Kommunikation unter Vorlesungsteilnehmern steht ein '''[https://matrix.tu-dresden.de/#/room/#theolog2021:tu-dresden.de Matrix-Kanal]''' zur Verfügung. Dieser kann auch für Fragen zu Organisation und Inhalten der Vorlesung verwendet werden.Kommentare und Bug Reports können gern auch direkt über die entsprechenden Seiten auf github gepostet werden: https://github.com/knowsys/TheoLogAlternativ können Hinweise zu Tippfehlern in den Vorlesungsfolien auch an die Mailingliste geschickt werden.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. Allgemein Fragen sollten Sie aber immer in geteilten Kanälen stellen, damit auch Ihre Kommilitoninnen und Kommilitonen davon profitieren (oder vielleicht sogar direkt helfen können).r direkt helfen können).)
Theoretische Informatik und Logik + (Die Vorlesung vermittelt eine vertiefende … Die Vorlesung vermittelt eine vertiefende Einleitung in die theoretische Informatik, beginnend mit den Grundlagen der Berechenbarkeits- und Komplexitätstheorie, Prädikatenlogik und deren Bezug zu Komplexität und Datenbanken, bis hin zu weiterführenden Themen wie Gödels Unvollständigkeitstheoreme und die Beziehung von Logik und formalen Sprachen. Wir stoßen vor zu den Grenzen der Informatik und Mathematik, treffen auf fleißige Biber und verrückte Logiker, vergleichen SQL mit Tic Tac Toe und stellen die großen Fragen unseres Fachgebiets.Die Vorlesung ist weitgehend selbsterklärend, aber Grundlagen aus der Veranstaltung [[Formale Systeme (WS2016)|Formale Systeme]] können hilfreich sein.=='''Einsicht in die Wiederholungsklausur'''==Die Einsicht in die Wiederholungsklausur findet am 27.04.2018 von 14:00 bis 15:00 im Raum APB/3027 statt. Bitte melden Sie sich dazu vorher per E-Mail bei [[Stefan Borgwardt]] an.==Wiederholungsklausur und Lernraum==Die Wiederholungsklausur findet am 2.03.2018 von 7:30 bis 9:00 (90 Minuten) im Hörsaal HSZ/04/H statt. Bitte seien Sie mindestens 10 Minuten vor Beginn der Klausur im Hörsaal. Stellen Sie bitte auch sicher, dass Sie zur Klausur eingeschreiben sind; die Einschreibung erfolgt über [https://jexam.inf.tu-dresden.de/ JExam].Wir bieten einen betreuten Lernraum zur Wiederholungsklausur am 27.02.2018 von 13:00 bis 14:30 im Raum APB/3027 an. Dort können Sie alle Ihre Fragen zum Vorlesungsstoff stellen.==Termine==Die erste Vorlesung findet am Mittwoch, den 05.04.2017, statt. Weitere Termine sind jeweils:* Mittwoch, 4.DS (13:00–14:30) HSZ/0004* Freitag, 3.DS (11:10–12:40) HSZ/0004==Übungen==Die Einschreibungen in die Übungsgruppen erfolgt über [https://jexam.inf.tu-dresden.de/ JExam]. Die Einschreibung ist möglich ab 28. März, 17:00 Uhr.'''Bitte beachten Sie''': 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 sind berechtigt, nicht eingeschriebene Studierende bei Überfüllung aus der Übung zu verweisen. '''Achtung'''* Die Übungen beginnen in der zweiten Vorlesungswoche* Die Übung am Freitag in der 2. DS ''einmalig'' vom 14. April auf den 13. April, 1.DS, APB/E008 verlegt.* Ab sofort (20. April) gibt es einen weiteren Übungstermin Donnerstag, 1. DS, APB/E008; die Einschreibung über jExam ist ab sofort möglich* Die Übung Mittwoch 5. DS bei Francesco Kriegel findet ab sofort im Raum *APB/E010* statt* Die Übung Mittwoch 5. DS bei Francesco Kriegel wird einmalig vom vorlesungsfreien Dies Academicus auf Freitag, den 19. Mai, 2. DS, APB/E008 verlegt.* Die Übung am Donnerstag, den 25. Mai, in der 1. DS wird einmalig verlegt auf Mittwoch, den 24. Mai, 1. DS, Raum APB/E023.* Die Übung am Donnerstag, den 25. Mai, in der 6. DS wird einmalig verlegt auf Montag, den 29. Mai, 2. DS, Raum WIL/C104.* Die Übung am Dienstag, den 13. Juni, 5. DS findet einmalig zeitgleich mit der Übung am Mittwoch, dem 14. Juni, 5. DS, im selben Raum statt.===Übungsblätter===Aufgabenblätter werden ungefähr eine Woche vor der Übung hier bereitstellt werden.* [[Medium:TheoLog17-uebung-01.pdf|1. Übungsblatt]]* [[Medium:TheoLog17-uebung-02.pdf|2. Übungsblatt]]* [[Medium:TheoLog17-uebung-03.pdf|3. Übungsblatt]]* [[Medium:TheoLog17-uebung-04.pdf|4. Übungsblatt]] ([[Medium:TheoLog17-uebung-04-pcp-in-haskell.pdf|Haskell-Programm (als pdf)]] zur „Lösung" des PCP)* [[Medium:TheoLog17-uebung-05.pdf|5. Übungsblatt]]* [[Medium:TheoLog17-repetitorium-1.pdf|1. Repetitorium]]* [[Medium:TheoLog17-uebung-06.pdf|6. Übungsblatt]], [[Medium:TheoLog17-uebung-06-03-musterloesung.pdf|Musterlösung für Aufgabe 3]]* [[Medium:TheoLog17-uebung-07.pdf|7. Übungsblatt]], [[Medium:TheoLog17-uebung-07-04-musterloesung.pdf|Musterlösung für Aufgabe 4]]* [[Medium:TheoLog17-uebung-08.pdf|8. Übungsblatt]]* [[Medium:TheoLog17-repetitorium-2.pdf|2. Repetitorium]]* [[Medium:TheoLog17-uebung-09.pdf|9. Übungsblatt]]* [[Medium:TheoLog17-uebung-10.pdf|10. Übungsblatt]], [[Medium:TheoLog17-uebung-10-04-musterloesung.pdf|Musterlösung für Aufgabe 4]]* [[Medium:TheoLog17-repetitorium-3.pdf|3. Repetitorium]]* [[Medium:TheoLog17-uebung-11.pdf|11. Übungsblatt]]Zur Vorbereitung auf die Prüfung wird auch eine [[Medium:TheoLog17-musterklausur.pdf|Musterklausur]] bereitgestellt.== Unterlagen ==Die vollständigen Foliensätze zur Vorlesung erscheinen spätestens kurz nach der Vorlesung online (siehe ''Termine und Unterlagen''). Weiterführende Literatur ist unter ''Literatur'' angegeben. Die Quellen der Vorlesungsfolien sind auf github verfügbar: https://github.com/mkroetzsch/TheoLogAlle Foliensätze der Vorlesungen können entsprechend den Lizensbedingungen von [https://creativecommons.org/licenses/by/3.0/de/ Creative Commons CC By 3.0 Deutschland] genutzt, weitergegeben und modifiziert werden. Als Namensnennung ist folgende Angabe einzufügen: (C) Markus Krötzsch, https://iccl.inf.tu-dresden.de/web/TheoLog2017, CC BY 3.0 DEBildrechte können davon abweichen und sind gesondert angegeben. Die Foliensätze enthalten keinerlei Texte, die aus Werken entnommen sind, für welche die VG Wort Verwertungsrechte vertritt.== Kontakt ==Fragen können am einfachsten in Vorlesung oder Übungsgruppe gestellt werden oder per Email an [[Markus Krötzsch]] und [[Daniel Borchmann]]. Kommentare und Bug Reports können gern auch direkt über die entsprechenden Seiten auf github gepostet werden: https://github.com/mkroetzsch/TheoLogt werden: https://github.com/mkroetzsch/TheoLog)
Theoretische Informatik und Logik + (Die Vorlesung vermittelt eine vertiefende … Die Vorlesung vermittelt eine vertiefende Einleitung in die theoretische Informatik, beginnend mit den Grundlagen der Berechenbarkeits- und Komplexitätstheorie, Prädikatenlogik und deren Bezug zu Komplexität und Datenbanken, bis hin zu weiterführenden Themen wie Gödels Unvollständigkeitstheoreme und die Beziehung von Logik und formalen Sprachen. Wir stoßen vor zu den Grenzen der Informatik und Mathematik, treffen auf fleißige Biber und verrückte Logiker, vergleichen SQL mit Tic Tac Toe und stellen die großen Fragen unseres Fachgebiets.Die Vorlesung ist weitgehend selbsterklärend, aber Grundlagen aus der Veranstaltung [[Formale Systeme (WS2017)|Formale Systeme]] können hilfreich sein.==Termine==Die erste Vorlesung findet am Mittwoch, den 09.04.2018, statt. Weitere Termine sind jeweils:* Montag, 2.DS (09:20–10:50) HSZ/0004* Freitag, 3.DS (11:10–12:40) HSZ/0004== Klausureinsicht zur Wiederholungsklausur ==Die Klausureinsicht zur Wiederholungsklausur findet am Mittwoch, den 17.04.2019, von 11:10 Uhr bis 12:30 Uhr im Raum [[APB 3027]] statt.== Klausureinsicht ==Am Mittwoch den 24.10.2018 kann Einsicht in die Klausur genommen werden. Die Einsicht findet in Raum APB/3027 statt. Bitte kommen Sie zu Beginn eines Ihrem Nachnamen zugewiesenen Zeitfensters:* 09:00-09:15 A-B* 09:15-09:30 C-D* 09:30-09:45 E-F* 09:45-10:00 G-G* 10:00-10:15 H-J* 10:15-10:30 K-K* 10:30-10:45 L-L* 10:45-11:00 M-Q* 11:00-11:15 R-R* 11:15-11:30 S-S* 11:30-11:45 T-V* 11:45-12:00 W-Z== Klausur ==Die '''Klausur''' findet am 10. August 2018 um 11:10 im Hörsaalzentrum (Bergstr.64) statt (ohne Gewähr, Änderungen werden vom Prüfungsamt bekanntgegeben).Bitte beachten Sie die Aufteilung auf zwei Hörsäle: * Studierende im Studiengang BACHELOR INFORMATIK: HSZ/0003 * Studierende im Studiengang DIPLOM INFORMATIK: HSZ/0004== Lernräume ==In Vorbereitung auf die Klausur wird es folgende Termine für Lernräume geben:* Mittwoch 01.08.2018, 11-13:00 Uhr, APB/3027* Mittwoch 01.08.2018, 13-15:00 Uhr, APB/3027Diese können zur angegeben Zeit ohne vorherige Terminabsprache besucht werden.==Übungen==Die Einschreibungen in die Übungsgruppen erfolgt über [https://jexam.inf.tu-dresden.de/ JExam]. '''Bitte beachten Sie''': 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 sind berechtigt, nicht eingeschriebene Studierende bei Überfüllung aus der Übung zu verweisen. ===Übungsblätter===Aufgabenblätter werden ungefähr eine Woche vor der Übung hier bereitstellt werden.Zur Vorbereitung auf die Prüfung wird auch eine Musterklausur bereitgestellt.* [[Medium:TheoLog18-uebung-01.pdf|1. Übungsblatt]]* [[Medium:TheoLog18-uebung-02.pdf|2. Übungsblatt]]* [[Medium:TheoLog18-uebung-03.pdf|3. Übungsblatt]]* [[Medium:TheoLog18-uebung-04.pdf|4. Übungsblatt]]* [[Medium:TheoLog18-uebung-05.pdf|5. Übungsblatt]]* [[Medium:TheoLog18-uebung-06.pdf|6. Übungsblatt]], [[Medium:TheoLog18-uebung-06-03-musterloesung.pdf|Musterlösung für Aufgabe 3]]* [[Medium:TheoLog18-uebung-07.pdf|7. Übungsblatt]]* [[Medium:TheoLog18-repetitorium-01.pdf|1. Repetitorium]], [[Medium:Theolog2018-Repetitorium-01-Folien.pdf|Folien]]* [[Medium:TheoLog18-uebung-08.pdf|8. Übungsblatt]]* [[Medium:TheoLog18-uebung-09.pdf|9. Übungsblatt]]* [[Medium:TheoLog18-uebung-10.pdf|10. Übungsblatt]]* [[Medium:TheoLog18-uebung-11.pdf|11. Übungsblatt]]* [[Medium:TheoLog18-uebung-12.pdf|12. Übungsblatt]]* [[Medium:TheoLog18-repetitorium-02.pdf|2. Repetitorium]], [[Medium:Theolog2018-Repetitorium-02-Folien.pdf|Folien]]===Musterklausur===Als Prüfungsvorbereitung wird eine [[Medium:ThL18-musterklausur.pdf|Musterklausur]] zur Verfügung gestellt. Diese wird am 20.07. in der Vorlesungszeit vorgerechnet werden. [[Medium:Theolog2018-musterklausur-folien.pdf|Folien]]== Unterlagen ==Die vollständigen Foliensätze zur Vorlesung erscheinen spätestens kurz nach der Vorlesung online (siehe ''Termine und Unterlagen''). Weiterführende Literatur ist unter ''Literatur'' angegeben. Die Quellen der Vorlesungsfolien sind auf github verfügbar: https://github.com/knowsys/TheoLogAlle Foliensätze der Vorlesungen können entsprechend den Lizensbedingungen von [https://creativecommons.org/licenses/by/3.0/de/ Creative Commons CC By 3.0 Deutschland] genutzt, weitergegeben und modifiziert werden. Als Namensnennung ist folgende Angabe einzufügen: (C) Markus Krötzsch, https://iccl.inf.tu-dresden.de/web/TheoLog2018, CC BY 3.0 DEBildrechte können davon abweichen und sind gesondert angegeben. Die Foliensätze enthalten keinerlei Texte, die aus Werken entnommen sind, für welche die VG Wort Verwertungsrechte vertritt.Besonderen Dank gilt allen [https://github.com/knowsys/TheoLog/graphs/contributors Contributors], die Anmerkungen und Verbesserungen beigetragen haben: [[Daniel Borchmann]], [[Maximilian Marx]], [https://github.com/freeDom- Dominik (freeDom-)], [https://github.com/CniKKoR CniKKoR], [https://github.com/marcusrossel Marcus Rossel], [https://github.com/SchermulyM SchermulyM], [https://github.com/tidenhub David Tiede], [[Francesco Kriegel]], [https://github.com/RobertPeine Robert Peine], [https://github.com/chlewe Christian Lewe], [https://github.com/hobbeshunter Martin Wudenka], [https://github.com/eknoes Sönke (eknoes)], [https://github.com/freakyblue Jonny Seitz], [https://github.com/NWuensche Niklas Wünsche], und [https://github.com/FlorianUlbrich Florian Ulbrich]. (Stand Juli 2018; Ergänzungen sind willkommen.)== Kontakt ==Fragen können am einfachsten in Vorlesung oder Übungsgruppe gestellt werden oder per Email an das Organisationsteam (siehe Links oben). Kommentare und Bug Reports können gern auch direkt über die entsprechenden Seiten auf github gepostet werden: https://github.com/knowsys/TheoLogwerden: https://github.com/knowsys/TheoLog)
Forschungslinie + (Diese Vorlesung im Rahmen der Forschungsli … Diese Vorlesung im Rahmen der Forschungslinien-Vorlesung stellt kurz die Forschung um das Erfüllbarkeitsproblem dar. Weitere Details, auch zu dem damit verbundenen Wettbewerb finden Sie zeitnah auf dieser Webseite.Wettbewerb Es soll ein Löser entwickelt werden, der einen Graphen im DIMACS-Graph-Format einlesen kann, und für diesen Graph einen Hamiltonian-Cycle ausgibt, oder ausgibt, dass es keine Lösung gibt. Im Wettbewerb werden mehrere Graphen gelöst. Der Löser, welcher die meisten Graphen in einem gegebenen Timeout (ca. 10 Minuten) erfolgreich lösen kann, gewinnt. Löser, die eine falsche Lösung ausgeben, werden disqualifiziert. Beispielgraphen gibt es hier: http://mat.gsia.cmu.edu/COLOR/instances.htmlAbgabetermin Die finale Version des Werkzeugs muss am Freitag, 3.7., bis 24:00 eingereicht worden sein.Wettbewerbsumgebung Unter dem Reiter Termine und Unterlagen wurden Datein für die Wettbewerbungsumgebung und ein Generator für Graphen hinterlegt. Die genutzte Umgebung für den Wettbewerb wird dazu sehr ähnlich sein. Die neuste Version wurde am 30.6. zur Verfügung gestellt.Format und andere Details <ul><li>das Format für die Lösung ist (da gibt es ein Checker-Werzeug in der Umgebung geben, was nur dieses Format richtig erkennt, und eure Lösungen entsprechend bewertet):</li><ul><li>kein Cycle: "s UNSATISFABLE" auf stdout, exitcode 20 </li><li>ein Cycle mit dem Pfad 5->3->4->1->2->5 "s SATISFIABLE" "v 5 3 4 1 2" auf stdout, exitcode 10 </li></ul><li>Die Graphen sind eigentlich gerichtet, der Generator liefert fürkleine Graphen meist ungerichtete Graphen, da beide Kanten da sind.Für größere Graphen ist das nicht garantiert.</li><li>Der Generator ordnet die Kanten, darauf kann man sich aber nichtverlassen, falls ich Graphen von außen mit zulasse.</li><li>Der SAT Solver darf mehrfach aufgerufen werden. Dann interessiert uns was ihr damit genau tut.</li></ul>Registrierung Um an dem Wettbewerb teilnehmen zu können, müssen sich die Team von maximal drei Studenten mit einem Teamnamen, sowie der Namen der Studenten und der Matrikelnummer per Email bis zwei Wochen vor dem Wettbewerb bei Norbert Manthey (Vorname.Nachname at tu-dresden.de) registrieren. Eine Vorabversion des Tools muss bis eine Woche vor dem Wettbewerb eingereicht werden, damit sie auf ihre Lauffähigkeit getestet werden kann (der Wettbewerb wird auf einem Linux System ausgetragen). Der Wettbewerb findet nur statt, wenn sich mindestens drei Teams angemeldet haben.en. Eine Vorabversion des Tools muss bis eine Woche vor dem Wettbewerb eingereicht werden, damit sie auf ihre Lauffähigkeit getestet werden kann (der Wettbewerb wird auf einem Linux System ausgetragen). Der Wettbewerb findet nur statt, wenn sich mindestens drei Teams angemeldet haben.)
Introduction to Existential Rules + (Existential Rules are a knowledge represen … Existential Rules are a knowledge representation formalism used in artificial intelligence and database theory. Their syntactic flexibility enables an easy integration of both semantic knowledge and databases. Syntactically close to Datalog rules, an important distinguishing feature is the possibility to describe individuals whose existence was not originally known, which is of great help for modeling purposes. In this lecture, we will provide a formal introduction into the existential rules framework, discuss existing techniques to reason over decidable fragments of this language and investigate the limits of the expressivity of existential rules.<h4>Prerequisites</h4>*basic knowledge of propositional and first-order logic*some familiarity with computational complexity<h4>Organisation</h4>The first lecture will be on Monday, 8th April 2023, 11:10-12:40 (DS 3) in room APB E005.The first tutorial will be on Monday, 15th April 2023, 9:20-10:50 (DS 2) in room APB E005.Tutorials and lectures take place on Mondays, 9:20-10:50 (DS 2) and 11:10-12:40 (DS 3), respectively, in room APB E005 on the dates indicated in the schedule.ectively, in room APB E005 on the dates indicated in the schedule.)
Finite and algorithmic model theory + (Finite and algorithmic model theory (summe … Finite and algorithmic model theory (summer semester 2020/21)===Course Description===The goal of the lecture is to present a basic mathematical toolkit useful for studying expressivity&complexity of first-order logic and its fragments. It is motivated by applications of logics in computer science (e.g. in formal verification, databases or knowledge representation). The course is recommended to students enjoying theoretical computer science or/and pure mathematics.===Prerequisites===Undergraduate-level knowledge of predicate and first-order logic (syntax&semantics of FO), as well as a little from computational complexity (Turing machines, standard (non)deterministic complexity classes and basic knowledge about undecidable problems), is required. Don't worry if you are not fluent with the mentioned material from computational complexity -- it will be possible to organize some extra lessons to cover the essentials. ===Schedule and Location===Because of the ongoing COVID-19 pandemic, all lectures and tutorials will be online, via Zoom, respectively on Tuesdays (14:50 - 16:20) and Wednesdays (11:10 - 12:40).The lecturer and the tutor for the course will be Bartosz Bednarczyk, teaching under the supervision of Sebastian Rudolph.===Lecture plan===The expected content of the lecture will be as follows:1. Inexpressivity via compactness theorem and why it is not appropriate for finite models.2. Zero-one laws of FO.3. Ehrenfeucht-Fraïssé games - a basic tool for showing FO-inexpressivity.4. FO can express only local properties: Hanf locality with applications to fixed parameter tractability of FO model-checking on graphs of bounded degree.5. On the complexity of fixed-variable fragments of FO, undecidability of FO.6. NP-completeness of FO1 and solving finite satisfiability for FO1 with counting quantifiers via integer programming.7. NExpTime upper bounds for FO2 and exponential model property of FO2.8. ExpTime upper bound for GF2 and its tree-model property.9. AExpSpapce=2ExpTime upper bounds for full GF.===Opportunities===B. Bednarczyk is happy to provide research-level master's or bachelor's projects ideas (of different difficulty levels) and to supervise them.===Contact===Please, feel free to contact B. Bednarczyk if you have any further questions.t B. Bednarczyk if you have any further questions.)
Parameterized Algorithms and Implementations for SAT and Generalizations + (For details and enrollment see: [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/23071064074/CourseNode/101413612795102 OPAL Course Page] We will start with remote tasks and self studying/slides in April after Eastern.)
Foundations of Constraint Programming + (Foundations of Constraint Programming <h4>Organization</h4> The first lecture will be on Thursday, 16th October 2014, 11:10-12:40 (DS 3) in room APB E005. The lecture is scheduled for Thursday, 11:10-12:40 (DS 3) in room APB E005.)
Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies ( … Foundations of Semantic Web Technologies (winter semester 2023/24)===Course Description===The idea of the Semantic Web is to provide a machine understandable version of the World Wide Web which enables computers to not only make information accessible to the human users but to also actively use it on their own. In this lecture we give a basic introduction to the logics and standards used to realize this vision, such as e.g., RDF and OWL, its applications and the ongoing research topics in that field. The course consists of lectures which introduce the general concepts and of exercise sessions which connect these concepts to practise.===Schedule and Location===Lecture: Wednesday, 13:00-14:30, APB/E005 (start: 11.10.2023),Exercise: Monday 13:00-14:30, APB/E005 (start: 16.10.2022)===Lecture plan===The expected content of the lecture will be as follows:Lecture 1: Introduction Lecture 2: RDF Model & Syntax Lecture 3: RDF Schema (RDFS)Lecture 4: RDF(S) SemanticsLecture 5: Web Ontology Language (I) Lecture 6: Web Ontology Language (II) Lecture 7: SPARQL Lecture 8: SPARQL SemanticsLecture 9: Rules and Notation 3 LogicLecture 10: Notation 3 Semantics and applications Lecture 11: Linked DataLecture 12: ShapesLecture 13: RDB2RDFLecture 14: ConclusionThe plan is preliminary and will be adjusted during the term of the course. Slides will be added after each lecture.===Contact===Please, feel free to contact D. Arndt if you have any further questions.===OPAL===Please also register at opal: https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/41677160453/(in case of problems, contact mailto:doerthe.arndt@tu-dresden.de)===Matrix===There is also a Matrix-chat for this course: https://matrix.to/#/#FSWT-2023:tu-dresden.de: https://matrix.to/#/#FSWT-2023:tu-dresden.de)
Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies ( … Foundations of Semantic Web Technologies (winter semester 2022/23)===Course Description===The idea of the Semantic Web is to provide a machine understandable version of the World Wide Web which enables computers to not only make information accessible to the human users but to also actively use it on their own. In this lecture we give a basic introduction to the logics and standards used to realize this vision, such as e.g., RDF and OWL, its applications and the ongoing research topics in that field. The course consists of lectures which introduce the general concepts and of exercise sessions which connect these concepts to practise.===Schedule and Location===Lecture: Thursday, 14:50-16:20, APB/E006 (start: 13.10.2022),Exercise: Monday 11:10-12:40, ZEU/147 (start: 17.10.2022)===Lecture plan===The expected content of the lecture will be as follows:Lecture 1: Introduction Lecture 2: RDF Model & Syntax Lecture 3: RDF Schema (RDFS)Lecture 4: RDF(S) SemanticsLecture 5: Web Ontology Language (I) Lecture 6: Web Ontology Language (II) Lecture 7: OWL semantics and profilesLecture 8: SPARQL 1.0Lecture 9: SPARQL 1.1Lecture 10: SPARQL SemanticsLecture 11: Rules and Notation 3 LogicLecture 12: Notation 3 Semantics and applications Lecture 13: Linked DataLecture 14: ConclusionThe plan is preliminary and will be adjusted during the term of the course. Slides will be added after each lecture.===Contact===Please, feel free to contact D. Arndt if you have any further questions.===OPAL===Please also register at: https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/37128404995(Some material is only available there)===Chat===There is a matrix channel for that course: https://matrix.to/#/!FjOLfpVxoHGxaUwybi:tu-dresden.de?via=tu-dresden.de=== virtual meeting link ===https://bbb.tu-dresden.de/b/dor-3et-qmx-z1h== https://bbb.tu-dresden.de/b/dor-3et-qmx-z1h)
Algorithmic Game Theory + (Game Theory is a multi-disciplinary and pe … Game Theory is a multi-disciplinary and pervasive field that is concerned with how strategic decision making can be formally modelled and mathematically analysed.In this course, we will approach the subject from a computer science perspective and -- in addition to covering the foundational aspects -- also address how game theory can be approached computationally, e.g. consider how computers can be programmed to play games, or analyse the computational complexity of various game-theoretic notions.=== Dates and times ===The lecture takes place as follows:* Mondays, DS3, [https://navigator.tu-dresden.de/raum/145803.0980 SCH/A316].Exercise sessions are offered at the following times:* Tuesdays, DS6, APB/E006* Thursdays, DS4, APB/E005* Thursdays, DS5, APB/E006Exercises start in the week of the first lecture, i.e. on 16th/18th April.In the week of 6th to 10th May, there will be an exceptional [https://tu-dresden.zoom-x.de/j/69888281536?pwd=RmhndmFndGVOUTl2Y1h5VUIwNjBsQT09 virtual exercise session on Wednesday, 8th May, 13:00 via Zoom].On Thursday, 13th June, due to rooms being used for OUTPUT, the exercise sessions take place as follows:* DS4: [https://navigator.tu-dresden.de/etplan/bss/01/raum/334201.0200 BSS/149]* DS5: [https://navigator.tu-dresden.de/etplan/web/01/raum/351201.0620 WEB/117]On Tuesday, 25th June, there will be no exercise session. Students are asked to use the exercise sessions on Thursday (27th June) instead., which will be held in a hybrid fashion via [https://tu-dresden.zoom-x.de/j/66765949524?pwd=PU1rYP1IJPSJ9be4AWGLO3ZdPaqvjH.1 Zoom].=== Topics ===* Noncooperative games in normal form* Noncooperative games in extensive form* Search in game trees* Games with missing information* Evolutionary game theory* The Game Description Language and General Game Playing* Cooperative Games=== Exam ===For CMS students and students wishing to use this course for modules INF-B-510 or INF-B-520, there will be a written exam (90min). The written exam will take place on '''16th August, 2024, 13:00 in HSZ/E01/U'''. The exam will be closed book, i.e. without notes, and no other resources (in particular technical aids) are permitted.For anyone else (INF-VERT-2/6, INF-BAS-2/6, INF-PM-FOR, IST) the exam will be oral. To obtain an exam slot, please contact Ms. Ramona Behling.A consultation session for discussing common questions regarding the lecture and/or exam(s) will be held on '''15th August, 2024, 12:00–13:00 in APB/E023''' (note the updated time).00 in APB/E023''' (note the updated time).)
Description Logic + (Intelligent behavior usually depends on th … Intelligent behavior usually depends on the availability of appropriate domain knowledge and the ability to draw inferences from this knowledge and observed facts. For this reason, knowledge representation and reasoning is a key subarea of Artificial Intelligence. Description Logics (DLs) are a well-investigated family of logic-based knowledge representation languages, which are frequently used to formalize ontologies for application domains such as the Semantic Web, biology and medicine, and engineering domains. The course introduces syntax and semantics of DLs as well as the relevant inference problems. It then investigates model-theoretic properties (like finite-model-property, tree-model-property, and bisimulation invariance) and computational properties (like decidablility and complexity of reasoning) both for expressive and inexpressive members of the DL family of knowledge representation languages. It also shows up a connection between query answering in databases and reasoning in DLs.More information can be found [https://tu-dresden.de/ing/informatik/thi/lat/studium/lehrveranstaltungen/sommersemester-2021/description-logic here].mmersemester-2021/description-logic here].)
Description Logic + (Intelligent behavior usually depends on th … Intelligent behavior usually depends on the availability of appropriate domain knowledge and the ability to draw inferences from this knowledge and observed facts. For this reason, knowledge representation and reasoning is a key subarea of Artificial Intelligence. Description Logics (DLs) are a well-investigated family of logic-based knowledge representation languages, which are frequently used to formalize ontologies for application domains such as the Semantic Web, biology and medicine, and engineering domains. The course introduces syntax and semantics of DLs as well as the relevant inference problems. It then investigates model-theoretic properties (like finite-model-property, tree-model-property, and bisimulation invariance) and computational properties (like decidablility and complexity of reasoning) both for expressive and inexpressive members of the DL family of knowledge representation languages. It also shows up a connection between query answering in databases and reasoning in DLs.More information can be found [https://tu-dresden.de/ing/informatik/thi/lat/studium/lehrveranstaltungen/summer-semester-2022/description-logic here].mer-semester-2022/description-logic here].)

Doctoral Seminar “Advances in Probabilistic Model Checking” + (Intragroup event)

Knowledge Graphs + (Knowledge graphs are becoming an important … Knowledge graphs are becoming an important paradigm in industry and research, with applications including prominent examples such as Google's own Knowledge Graph, Wikipedia's knowledge base sister [[Wikidata/en|Wikidata]], and numerous artificial intelligence projects from Alexa to Siri. Meanwhile, companies are exploring the use of their own enterprise knowledge graphs for improving internal knowledge management.With so many facets, knowledge graphs are a cross-cutting topic in computer science that involves aspects of data management (graph databases, file formats), publication (exchange formats, data integration), knowledge organisation (constraints, ontologies), and advanced analytics (expressive query languages, graph data mining). On each of these levels, there is some interesting theory and some interesting technology to be learned. This course will cover a colourful mix of technologies and methods related to the use of graphs for data analysis, knowledge representation, and data management.===Registration===The course generally does not require a special registration and there is no limit for participants. However, you need to enroll in the '''[https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/36817698820/CourseNode/1663208808106461009 OPAL course]''' for one of the exercise sessions. Additionally, students in programmes that use the Selma system (esp. students in CMS Master) will need to register there to obtain credits. Most of the materials will be freely available world-wide. Live sessions (especially tutorials) are restricted to students of TU Dresden.===Examinations in Summer 2023===For the oral exams, we have blocked two dates this term:* Monday, 2023-07-17* Friday, 2023-07-28As usual, you should book a date with our [mailto:secretary_wbs@mailbox.tu-dresden.de secretary] after you have officially enrolled in your respective examination office/system.The written exam will be on Friday, 2023-08-04, from 08:30–10:00, in [https://navigator.tu-dresden.de/etplan/sch/03/raum/145803.0990 SCH/A251]. Make sure you are officially enrolled in your respective examination office/system. You do not need to contact our secretary for the written exam.===Examinations===* The type of the examination depends on the study programme (written examination for CMS, oral examination otherwise). * For CMS students, the written examination will be on Wednesday, 2023-03-01, from 09:20—10:50, in [https://navigator.tu-dresden.de/raum/136100.0050?language=en HSZ/E05]. Make sure you are registered in Selma. You do not need to contact us.* For all other students, we have reserved two dates for the oral examinations. As usual, you should book a date with our [mailto:secretary_wbs@mailbox.tu-dresden.de secretary] after you have officially enrolled in your respective examination office/system:** Tuesday, 2023-02-14, and** Friday, 2023-03-03.* '''Post-exam review''': You can review your written exam on Thursday, 2023-04-20, at 13:00 in [[APB 3027]].===Schedule and Location===The lecture will adopt a hybrid format. Lectures will be published as videos, while exercises will be in-person.All dates are published on this page (see ''Dates & Materials'' above)* Lecture sessions: published as [https://www.youtube.com/playlist?list=PLar5iR7mhb4dJHDSjmeo6W7HomHBSZf9t videos], see ''Dates & Materials'' above* Exercise session: two groups, enroll via '''[https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/36817698820/CourseNode/1663208808106461009 OPAL]'''.** Tuesdays, DS3 (11:10 to 12:40) in [[APB E005]]** Tuesdays, DS5 (14:50 to 16:20) in [[APB E005]]* The '''first exercise sessions will take place on Tuesday, 2022-10-18'''. '''There will be no exercise sessions on Tuesday 2022-10-11'''.* A '''Q&A session''' will take place on '''Tuesday, 2023-02-07, during DS5 (14:50 to 16:20)''', in [[APB E005]] (see below), where we will discuss, among other questions, the '''[[Medium:kg2022-mock-exam.pdf|mock exam]]'''.* '''Important:''' Stay informed about [https://tu-dresden.de/tu-dresden/gesundheitsmanagement/information-regarding-covid-19-coronavirus-sars-cov-2/tud-corona-ticker# current covid-19 regulations of TU Dresden]. A '''[https://matrix.tu-dresden.de/#/room/#kg2021:tu-dresden.de Matrix chat room]''' for discussions is available. Selected material is published in a '''[https://github.com/knowsys/Course-Knowledge-Graphs GitHub repository]'''.knowsys/Course-Knowledge-Graphs GitHub repository]'''.)
Knowledge Graphs + (Knowledge graphs are becoming an important … Knowledge graphs are becoming an important paradigm in industry and research, with applications including prominent examples such as Google's own Knowledge Graph, Wikipedia's knowledge base sister [[Wikidata/en|Wikidata]], and numerous artificial intelligence projects from Alexa to Siri. Meanwhile, companies are exploring the use of their own enterprise knowledge graphs for improving internal knowledge management.With so many facets, knowledge graphs are a cross-cutting topic in computer science that involves aspects of data management (graph databases, file formats), publication (exchange formats, data integration), knowledge organisation (constraints, ontologies), and advanced analytics (expressive query languages, graph data mining). On each of these levels, there is some interesting theory and some interesting technology to be learned. This course will cover a colourful mix of technologies and methods related to the use of graphs for data analysis, knowledge representation, and data management.===Schedule and Location===All dates are published on this page (see ''Dates & Materials'' above)* The weekly lecture sessions will take place on Tuesdays DS3 (11:10 to 12:40).* The weekly exercise session will take place on Tuesdays DS5 (14:50 to 16:20).::'''The first lecture will take place in the second week, i.e., on 16 Oct 2018'''* All sessions will take place in room APB/E005.All sessions will take place in room APB/E005.)
Knowledge Graphs + (Knowledge graphs are becoming an important … Knowledge graphs are becoming an important paradigm in industry and research, with applications including prominent examples such as Google's own Knowledge Graph, Wikipedia's knowledge base sister [[Wikidata/en|Wikidata]], and numerous artificial intelligence projects from Alexa to Siri. Meanwhile, companies are exploring the use of their own enterprise knowledge graphs for improving internal knowledge management.With so many facets, knowledge graphs are a cross-cutting topic in computer science that involves aspects of data management (graph databases, file formats), publication (exchange formats, data integration), knowledge organisation (constraints, ontologies), and advanced analytics (expressive query languages, graph data mining). On each of these levels, there is some interesting theory and some interesting technology to be learned. This course will cover a colourful mix of technologies and methods related to the use of graphs for data analysis, knowledge representation, and data management.===Registration===The course generally does not require a special registration and there is no limit for participants. However, students in programmes that use the Selma system (esp. students in CMS Master) will need to register there to obtain credits. Additionally, we kindly ask you to enroll in the '''[https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/32141574148 OPAL course]''' so we can contact you, should the need arise.Most of the materials will be freely available world-wide. Live sessions (especially tutorials) are restricted to students of TU Dresden. Information on how to join will be published through the '''[https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/32141574148 OPAL page of this course]''', which students of TU Dresden can access.===Examinations in Summer 2022===For the oral exams, we have blocked two dates this term:* Thursday, 2022-07-21* Tuesday, 2022-08-02As usual, you should book a date with our [mailto:secretary_wbs@mailbox.tu-dresden.de secretary] after you have officially enrolled in your respective examination office/system.Should a written exam in CMS become necessary, we will need to use the date assigned to us by the central examination room management, which might be different from the above days.===Schedule and Location===During the winter term 2021/22, the lecture and tutorials will be held online.All dates are published on this page (see ''Dates & Materials'' above)* Lecture sessions: Tuesdays DS3 (11:10 to 12:40), '''not every week; see dates published here''', in Zoom (see below)* Exercise session: DS5 (14:50 to 16:20)* The '''first exercise session will take place on Tuesday, 2020-10-19'''.* A '''Q&A session''' will take place on '''Monday, 2022-02-21, during DS3 (11:10 to 12:40)''', in Zoom (see below), where we will discuss, among other questions, the '''[[Medium:kg2021-mock-exam.pdf|mock exam]]'''.All sessions will take place online. Links to the respective video rooms will be published through the '''[https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/32141574148 OPAL page of this course]'''. Sessions for larger numbers of participants are conducted in '''Zoom'''; participants can use the link provided in the ''Links'' section in OPAL.A discussion forum on the '''[https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/32141574148/ OPAL page of this course]''' and a '''[https://matrix.tu-dresden.de/#/room/#kg2021:tu-dresden.de Matrix chat room]''' for discussions are available. Selected material is published in a '''[https://github.com/knowsys/Course-Knowledge-Graphs GitHub repository]'''.sys/Course-Knowledge-Graphs GitHub repository]'''.)
Knowledge Graphs + (Knowledge graphs are becoming an important … Knowledge graphs are becoming an important paradigm in industry and research, with applications including prominent examples such as Google's own Knowledge Graph, Wikipedia's knowledge base sister [[Wikidata/en|Wikidata]], and numerous artificial intelligence projects from Alexa to Siri. Meanwhile, companies are exploring the use of their own enterprise knowledge graphs for improving internal knowledge management.With so many facets, knowledge graphs are a cross-cutting topic in computer science that involves aspects of data management (graph databases, file formats), publication (exchange formats, data integration), knowledge organisation (constraints, ontologies), and advanced analytics (expressive query languages, graph data mining). On each of these levels, there is some interesting theory and some interesting technology to be learned. This course will cover a colourful mix of technologies and methods related to the use of graphs for data analysis, knowledge representation, and data management.===Registration===The course generally does not require a special registration and there is no limit for participants. However, you need to enroll in the '''[https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/41846439941/CourseNode/1663208808106461009 OPAL course]''' for one of the exercise sessions. Additionally, students in programmes that use the Selma system (esp. students in CMS Master) will need to register there to obtain credits. Most of the materials will be freely available world-wide. Live sessions (especially tutorials) are restricted to students of TU Dresden.===Examination Dates and Mode===The registration and scheduling for exams depends on the module that the exam is for. All students need to contact the [[Wissensbasierte_Systeme/en|KBS secretary]] to arrange time slots for their oral exams, or the secretary of another chair in case of another main examiner. Although we cannot generally accommodate wishes for specific dates, students who have justified time constraints during the examination period can still let us know as early as possible.For obtaining credits in module '''CMS-COR-KM,''' students have to take an exam that only involves this one course. This exam is either written or oral, depending on the number of registered students (as per the study regulations). Repetition exams in CMS-COR-KM in Summer 2024 will usually happen on '''Tue, 6th August 2024'''. We only expect oral exams, but the final mode can only be announced when registration is complete. Students who are taking Knowledge Graphs as part of any '''other module''' should contact the secretary of the main examiner to find a date. If the main examiner is Markus Krötzsch, the preferred date will also be '''6th August 2024'''.===Schedule and Location===All dates are published on this page (see ''Dates & Materials'' above).* '''Note that the faculty-wide room schedule is still not finalised and might be subject to further changes. Please check this page regularly for updates.'''* Lectures: <s>Tuesdays, DS3 (11:10 to 12:40) in [[SCH A252]]</s>. Note: the first Lecture will be in '''[[APB 1004]]'''.* Exercises: two groups, enroll via '''[https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/41846439941/CourseNode/1663208808106461009 OPAL]'''** Tuesdays, DS4 (13:00 to 14:30) in [[APB 3027]].** Tuesdays, DS5 (14:50 to 16:20) in [[APB E005]].* The first exercise sessions will be on '''Tuesday, 2023-10-17'''.* There will be no lecture on '''Tuesday, 2023-10-17''', please see ''Dates & Materials'' above for the video links.* There will be no lecture on '''Tuesday, 2023-10-24''', please see ''Dates & Materials'' above for the video links.* Until further notice, there will be no lectures in [[SCH A252]], please see ''Dates & Materials'' above for the video links.[SCH A252]], please see ''Dates & Materials'' above for the video links.)
Knowledge Graphs + (Knowledge graphs are becoming an important … Knowledge graphs are becoming an important paradigm in industry and research, with applications including prominent examples such as Google's own Knowledge Graph, Wikipedia's knowledge base sister [[Wikidata/en|Wikidata]], and numerous artificial intelligence projects from Alexa to Siri. Meanwhile, companies are exploring the use of their own enterprise knowledge graphs for improving internal knowledge management.With so many facets, knowledge graphs are a cross-cutting topic in computer science that involves aspects of data management (graph databases, file formats), publication (exchange formats, data integration), knowledge organisation (constraints, ontologies), and advanced analytics (expressive query languages, graph data mining). On each of these levels, there is some interesting theory and some interesting technology to be learned. This course will cover a colourful mix of technologies and methods related to the use of graphs for data analysis, knowledge representation, and data management.===Registration===The course generally does not require a special registration and there is no limit for participants. However, students in programmes that use the Selma system (esp. students in CMS Master) will need to register there to obtain credits. Additionally, we kindly ask you to enroll in the '''[https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/26478313479?19 OPAL course]''' so we can contact you, should the need arise.Most of the materials will be freely available world-wide. Live sessions (especially tutorials) are restricted to students of TU Dresden. Information on how to join will be published through the '''[https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/26478313479?19 OPAL page of this course]''', which students of TU Dresden can access. ===Schedule and Location===During the winter term 2020/21, the lecture and tutorials will be held online.All dates are published on this page (see ''Dates & Materials'' above)* Lecture sessions: Tuesdays DS2 (09:20 to 10:50), '''not every week; see dates published here''', in Zoom (see below)* Exercise session: DS3 (11:10 to 12:40)* The first exercise session will take place on Tuesday, 2020-11-03.* A '''Q&A session''' will take place on '''Friday, 2021-02-26, during DS2 (09:20 to 10:50)''', in Zoom (see below), where we will discuss the mock exam.* A second '''Q&A session''' will take place on '''Monday, 2021-03-15, during DS4 (13:00 to 14:30)''', in Zoom (see below).All sessions will take place online. Links to the respective video rooms will be published through the '''[https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/26478313479?19 OPAL page of this course]'''. Sessions for larger numbers of participants are conducted in '''Zoom'''; participants can use the link provided in the ''Links'' section in OPAL.A discussion forum on the '''[https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/26478313479?19 OPAL page of this course]''' and a '''[https://matrix.tu-dresden.de/#/room/#kg2020:tu-dresden.de Matrix chat room]''' for discussions are available. Selected material is published in a '''[https://github.com/knowsys/Course-Knowledge-Graphs GitHub repository]'''.===Exam Summer Semester 2021 ===The exam will be an '''oral online exam''' that takes place on 26 July 2021. Registration has to follow the official process of your examination office (also see hints below). In addition, you have to contact the secretary of the [[KBS]] group for being assigned a specific time for your oral exam. When taking the exam for modules that require further credits, the exam will be split into parts that are conducted separately ('''portfolio examination''').===Exam Winter Semester 2020/2021===Due to the COVID-19 situation, the exam will be a '''written online exam''', using the ONYX platform. This applies to all modules, including those that would normally have an oral examination. We will send out detailed instructions via email to all students regiestered in OPAL. '''The only exception are modules INF-PM-FOR and INF-PM-ANW''', where the examination will be as usual (ungraded, 15min oral); students in these modules should contact us to get a topic and date for their 15min exam.'''The written exam will take place on Tuesday, 2021-03-16, from 09:20 to 10:20 (login is possible from 08:50 on).''' We will conduct a '''mock exam''' on '''Tuesday, 2021-02-23, from 11:30 to 12:30.''' All students have to register according to the usual procedures in their course and within the usual deadlines:* '''CMS students''' register using '''Selma'''* '''MCL students''' follow the '''usual procedures for registration'''* '''INF-B510/INF-B520 students''' follow the '''usual procedures for registration'''* '''all other students''' follow '''these [https://tu-dresden.de/ing/informatik/studium/news/covid19-lehr-und-pruefungsbetrieb-an-der-fakultaet-informatik procedures]'''The '''deadline for registrations is Sunday, 2021-01-24.''' Please keep in mind that '''unless you register via Selma, you need to [mailto:secretary_wbs@mailbox.tu-dresden.de contact us] to complete the registration.'''resden.de contact us] to complete the registration.''')
Knowledge Graphs + (Knowledge graphs are becoming an important … Knowledge graphs are becoming an important paradigm in industry and research, with applications including prominent examples such as Google's own Knowledge Graph, Wikipedia's knowledge base sister [[Wikidata/en|Wikidata]], and numerous artificial intelligence projects from Alexa to Siri. Meanwhile, companies are exploring the use of their own enterprise knowledge graphs for improving internal knowledge management.With so many facets, knowledge graphs are a cross-cutting topic in computer science that involves aspects of data management (graph databases, file formats), publication (exchange formats, data integration), knowledge organisation (constraints, ontologies), and advanced analytics (expressive query languages, graph data mining). On each of these levels, there is some interesting theory and some interesting technology to be learned. This course will cover a colourful mix of technologies and methods related to the use of graphs for data analysis, knowledge representation, and data management.===Schedule and Location===All dates are published on this page (see ''Dates & Materials'' above)* The weekly lecture sessions will take place on Tuesdays DS3 (11:10 to 12:40).* The weekly exercise session will take place on Tuesdays DS5 (14:50 to 16:20).* All sessions will take place in room APB/E005.All sessions will take place in room APB/E005.)
Knowledge Graphs + (Knowledge graphs are becoming an important … Knowledge graphs are becoming an important paradigm in industry and research, with applications including prominent examples such as Google's own Knowledge Graph, Wikipedia's knowledge base sister [[Wikidata/en|Wikidata]], and numerous artificial intelligence projects from Alexa to Siri. Meanwhile, companies are exploring the use of their own enterprise knowledge graphs for improving internal knowledge management.With so many facets, knowledge graphs are a cross-cutting topic in computer science that involves aspects of data management (graph databases, file formats), publication (exchange formats, data integration), knowledge organisation (constraints, ontologies), and advanced analytics (expressive query languages, graph data mining). On each of these levels, there is some interesting theory and some interesting technology to be learned. This course will cover a colourful mix of technologies and methods related to the use of graphs for data analysis, knowledge representation, and data management.ledge representation, and data management.)
Foundations of Logic Programming + (Logic Programming is a form of declarative … Logic Programming is a form of declarative programming that has its roots in first-order predicate logic and automated theorem proving based on the resolution method.This introductory course covers the fundamental topics of logic programming such as the rule-based syntax, procedural and declarative semantics, the treatment of negation, the logic programming language PROLOG, and answer set programming (ASP).=== Exam ===If you want to take an exam in this course (oral exam at the end of the term), register in the [https://selma.tu-dresden.de/APP/COURSEDETAILS/-N043790546934662,-N000096,-N000000000000000,-N383724015172197,-N383724015176198,-N0,-N0 Selma course] (CMS and CL students).To obtain an appointment for an oral exam, contact [mailto:ramona.behling@tu-dresden.de Ramona Behling], presenting your exam registration.hling], presenting your exam registration.)
Foundations of Logic Programming + (Logic Programming is a form of declarative … Logic Programming is a form of declarative programming that has its roots in first-order predicate logic and automated theorem proving based on the resolution method, but also draws inspiration from logic-based knowledge representation, constraint programming, and SAT solving.This introductory course covers the fundamental topics of logic programming such as the rule-based syntax, procedural and declarative semantics, the treatment of negation, the logic programming language PROLOG, and the stable model semantics with its use in the problem solving paradigm known as answer set programming (ASP).=== Exam ===If you want to take an exam in this course (oral exam at the end of the term), register in the [https://selma.tu-dresden.de/APP/COURSEDETAILS/-N399930202004886,-N000096,-N000000000000000,-N387695094145167,-N387695094154168,-N0,-N0 Selma course] (CMS and CL students).To obtain an appointment for an oral exam, contact [mailto:ramona.behling@tu-dresden.de Ramona Behling], presenting your exam registration.hling], presenting your exam registration.)
Foundations of Logic Programming + (Logic programming supports the declarative … Logic programming supports the declarative programming paradigm, which describes the solution logically rather than how to compute it. This introductory course covers the fundamental topics of logic programming such as rule-based syntax, procedural and declarative semantics, negation, the logic programming language PROLOG, and answer set programming.<h4>Organisation</h4>The first lecture will be on Wednesday, 15th October 2014, 11:10-12:40 (DS 3) in room APB E005.The lecture is scheduled for Wednesday, 11:10-12:40 (DS 3) in room APB E005. The tutorial will be held biweekly on Monday, 13:00-14:30 (DS4) in room APB E005.Please check the particular dates of lecutres and tutorials. check the particular dates of lecutres and tutorials.)
Foundations of Logic Programming + (Logic programming supports the declarative … Logic programming supports the declarative programming paradigm, which describes the solution logically rather than how to compute it. This introductory course covers the fundamental topics of logic programming such as rule-based syntax, procedural and declarative semantics, negation, the logic programming language PROLOG, and answer set programming (ASP).<h4>Organisation</h4>The first lecture will be on Wednesday, 12th October 2015, 11:10-12:40 (DS 3) in room APB E005.The lecture is scheduled for Wednesdays, 11:10-12:40 (DS 3) in room APB E005. The tutorial will be held biweekly on Friday, 16:40-18:10 (DS6) in room APB E005.Please check the particular dates of lectures and tutorials. check the particular dates of lectures and tutorials.)
Foundations of Logic Programming + (Logic programming supports the declarative … Logic programming supports the declarative programming paradigm, which describes the solution logically rather than how to compute it. This introductory course covers the fundamental topics of logic programming such as rule-based syntax, procedural and declarative semantics, negation, the logic programming language PROLOG, and answer set programming.<h4>Organisation</h4>The first lecture will be on Monday, 12th October 2015, 13:00-14:30 (DS 4) in room APB E005.The lecture is scheduled for Wednesdays, 13:00-14:30 (DS 4) in room APB E005. The tutorial will be held biweekly on Tuesday, 7:30-9:00 (DS1) in room APB E005.Please check the particular dates of lectures and tutorials. check the particular dates of lectures and tutorials.)
Concurrency Theory + (Modern computer systems are often multi-th … Modern computer systems are often multi-threaded or even fully distributed over several machines and geographical locations. Instead of the well-known sequential computational models (e.g., Turing machines, λ-calculus, etc.), the key notion for describing concurrent computations is that of a ***process***. In this course, we study several phenomena occurring in concurrent computations by means of process calculi, for which we will define and analyze their formal semantics. As one of the key aspects, we ask when two processes are considered to be equivalent.es are considered to be equivalent.)
Logical Modelling + (NEWS: * Presentations of the practical As … NEWS:* Presentations of the practical Assignments: '''Wednesday 26.7''' (DS 4)* We meet regularly on Wednesdays (except 17.5 = Dies Academicus)This seminar intends to address the topic of practical modeling in knowledge representation languages. As formalisms, we will cover* OWL (the popular Web Ontology Language used in the Semantic Web but also for offline knowledge management solutions)* Answer Set Programming, a logic programming approach used for modeling search and constraint satisfaction problems, and* FO(ID) and the IDP System.All approaches come with a good tool support for modeling and automated inferencing. After a few initial sessions to provide the basics, the students will be asked to logically model a certain domain and later present the result and explain the design decisions made.ult and explain the design decisions made.)
Foundations of Semantic Web Technologies + (Ontologies are the major paradigm for know … Ontologies are the major paradigm for knowledge representation and reasoning. Their success is driven by the Semantic Web effort, but there is also considerable use outside the Web context, e. g. in information integration or life sciences. In this course, we will present an in-depth treatment of the ontology representation languages RDF and OWL as well as associated query languages which are recommended standards by the World Wide Web consortium.tandards by the World Wide Web consortium.)
Foundations of Semantic Web Technologies + (Ontologies are the major paradigm for know … Ontologies are the major paradigm for knowledge representation and reasoning. Their success is driven by the Semantic Web effort, but there is also considerable use outside the Web context, e. g. in information integration or life sciences. In this course, we will present an in-depth treatment of the ontology representation languages RDF and OWL as well as associated query languages which are recommended standards by the World Wide Web consortium.tandards by the World Wide Web consortium.)
Foundations of Semantic Web Technologies + (Ontologies are the major paradigm for know … Ontologies are the major paradigm for knowledge representation and reasoning. Their success is driven by the Semantic Web effort, but there is also considerable use outside the Web context, e. g. in information integration or life sciences. In this course, we will present an in-depth treatment of the ontology representation languages RDF and OWL as well as associated query languages which are recommended standards by the World Wide Web consortium.tandards by the World Wide Web consortium.)
Advanced Problem Solving and Search + (Problem solving and search is a central to … Problem solving and search is a central topic in Artificial Intelligence. This course presents several techniques to solve in general difficult problems.The course covers the following '''topics''':*Basic Concepts*Uninformed vs Informed Search*Local Search, Stochastic Hill Climbing, Simulated Annealing*Tabu Search*Answer Set Programming*Constraint Satisfaction*Evolutionary Algorithms, Genetic Algorithms*Structural Decomposition Techniques (Tree/Hypertree Decompositions)The course does not cover topics in the area of Machine Learning and Neural Networks.NOTE: This course was previously named Problem Solving and Search in Artificial Intelligence. The contents of former PSSAI and APSS are identical, and therefore students can only take one of the two courses.===Learning Outcomes===*The students should identify why typical AI problems are difficult to solve*The students will analyze different algorithms and methods for AI problems and identify when their application is appropriate *The connections between the (graph) structure and the complexity of a problem should become clear, as well as which methods can be used to tackle the problem*In the tutorials, the students will analyze different problems and develop solutions for them. ===Prerequisites===*Basic knowledge of theoretical computer science and Logic. *Good English skills: both the teaching and examination will be exclusively in English.===Organisation===The goals can be acquired by studying the lecture material and solving the exercises of the tutorials.The lectures will be held asynchronously. The lectures will consist of videos and other materials that will be uploaded online. The tutorials will be offered on-site on Mondays DS2 and DS3, and as online live sessions via BigBlueButton on Mondays DS2 (link: https://bbb.tu-dresden.de/b/luc-ao0-hnh-0wo ; no recordings of these sessions will be uploaded).The slides of the lectures and exercises of the tutorials will be uploaded in OPAL, for each corresponding session. The lecture videos will also be uploaded in OPAL and I invite you to use the forum to ask questions and share your exercise solutions. Please, register for the course on the OPAL site:https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/34558738433/CourseNode/101501861298687try/34558738433/CourseNode/101501861298687)
Advanced Problem Solving and Search + (Problem solving and search is a central to … Problem solving and search is a central topic in Artificial Intelligence. This course presents several techniques to solve in general difficult problems.The course covers the following '''topics''':*Basic Concepts*Uninformed vs Informed Search*Local Search, Stochastic Hill Climbing, Simulated Annealing*Tabu Search*Evolutionary Algorithms, Genetic Algorithms*Answer Set Programming*Constraint Satisfaction Problems*Structural Decomposition Techniques (Tree/Hypertree Decompositions)The course does not cover topics in the area of Machine Learning and Neural Networks.NOTE: This course was previously named Problem Solving and Search in Artificial Intelligence. The contents of former PSSAI and APSS are identical, and therefore students can only take one of the two courses.===Learning Outcomes===*The students should identify why typical AI problems are difficult to solve*The students will analyze different algorithms and methods for AI problems and identify when their application is appropriate *The connections between the (graph) structure and the complexity of a problem should become clear, as well as which methods can be used to tackle the problem*In the tutorials, the students will analyze different problems and develop solutions for them. ===Prerequisites===*Basic knowledge of theoretical computer science and Logic. *Good English skills: teaching will be exclusively in English.===Organisation===The goals can be acquired by studying the lecture material and solving the exercises of the tutorials.The slides of the lectures and exercises of the tutorials will be uploaded in OPAL, for each corresponding session. We invite you to use the forum to ask questions and share your exercise solutions.Please, register for the course on the OPAL site:https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/46238597126===Exam===Key information:There are two forms of examination:Students of the CMS master and exchange students: *There will be a written exam. Dates and information will follow during the semester. There is no possibility to take the exam remotely.*You must register in Selma or with your examination office. *'''The written exam will be on Thursday, February 13th,12:15-13:45'''*'''[https://navigator.tu-dresden.de/etplan/zeu/01/raum/118101.0480 ZEU/LICH/H]: students with surname starting with ''A'' to ''L'' '''*'''[https://navigator.tu-dresden.de/etplan/bar/01/raum/141901.0020 BAR/SCHÖ/E]: students with surname starting with ''M'' to ''Z'' '''*'''Please be in the correct room by 12:00'''Students with complex examinations:*Please, schedule your oral exams with our secretary (cl@tu-dresden.de) after registering in Selma.tu-dresden.de) after registering in Selma.)
Problem Solving and Search in Artificial Intelligence + (Problem solving and search is a central to … Problem solving and search is a central topic in Artificial Intelligence. This course presents several techniques to solve in general difficult problems.The course covers the following '''topics''':*Basic Concepts*Uninformed vs Informed Search*Local Search, Stochastic Hill Climbing, Simulated Annealing*Tabu Search*Answer Set Programming*Constraint Satisfaction*Evolutionary Algorithms, Genetic Algorithms*Structural Decomposition Techniques (Tree/Hypertree Decompositions)===Learning Outcomes===*The students should identify why typical AI problems are difficult to solve*The students will analyze different algorithms and methods for AI problems and identify when their application is appropriate *The connections between the (graph) structure and the complexity of a problem should become clear, as well as which methods can be used to tackle the problem*In the practical part, the students will analyze a given problem and develop a solution for it. ===Prerequisites===Basic knowledge of theoretical computer science and Logic.===Organisation===The goals can be acquierd by studying the lecture material, solving the exercises of the tutorials and developing animplementation for a practical problem.The practical work should be performed in groups of two students throughout the semester with regular updates on the progress.The lecture will be on Tuesday DS1 and the tutorials and practical sessions on Thursday DS1. Please check the concrete schedule for changes.'''The course is full, no furhter registrations will be accepted.'''furhter registrations will be accepted.''')
Advanced Problem Solving and Search + (Problem solving and search is a central to … Problem solving and search is a central topic in Artificial Intelligence. This course presents several techniques to solve in general difficult problems.The course covers the following '''topics''':*Basic Concepts*Uninformed vs Informed Search*Local Search, Stochastic Hill Climbing, Simulated Annealing*Tabu Search*Constraint Satisfaction Problems*Evolutionary Algorithms, Genetic Algorithms*Answer Set Programming*Structural Decomposition Techniques (Tree/Hypertree Decompositions)The course does not cover topics in the area of Machine Learning and Neural Networks.NOTE: This course was previously named Problem Solving and Search in Artificial Intelligence. The contents of former PSSAI and APSS are identical, and therefore students can only take one of the two courses.===Learning Outcomes===*The students should identify why typical AI problems are difficult to solve*The students will analyze different algorithms and methods for AI problems and identify when their application is appropriate *The connections between the (graph) structure and the complexity of a problem should become clear, as well as which methods can be used to tackle the problem*In the tutorials, the students will analyze different problems and develop solutions for them. ===Prerequisites===*Basic knowledge of theoretical computer science and Logic. *Good English skills: both the teaching and examination will be exclusively in English.===Organisation===The goals can be acquired by studying the lecture material and solving the exercises of the tutorials.The slides of the lectures and exercises of the tutorials will be uploaded in OPAL, for each corresponding session. We invite you to use the forum to ask questions and share your exercise solutions.Please, register for the course on the OPAL site:https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/39148716041===Exam===Key information:There are two forms of examination:Students of the CMS master and exchange students: *The written exam will take place on the 28th of July, 2023 at the TU Dresden campus. There is no possibility to take the exam remotely.*You must register in Selma or with your examination office. In the future, you will also need to register on the OpalExam platform. A link will be provided for this.Students with complex examinations:*Please, schedule your oral exams with Ramona Behling (ramona.behling@tu-dresden.de).na Behling (ramona.behling@tu-dresden.de).)
Advanced Problem Solving and Search + (Problem solving and search is a central to … Problem solving and search is a central topic in Artificial Intelligence. This course presents several techniques to solve in general difficult problems.The course covers the following '''topics''':*Basic Concepts*Uninformed vs Informed Search*Local Search, Stochastic Hill Climbing, Simulated Annealing*Tabu Search*Evolutionary Algorithms, Genetic Algorithms*Answer Set Programming*Constraint Satisfaction Problems*Structural Decomposition Techniques (Tree/Hypertree Decompositions)The course does not cover topics in the area of Machine Learning and Neural Networks.NOTE: This course was previously named Problem Solving and Search in Artificial Intelligence. The contents of former PSSAI and APSS are identical, and therefore students can only take one of the two courses.===Learning Outcomes===*The students should identify why typical AI problems are difficult to solve*The students will analyze different algorithms and methods for AI problems and identify when their application is appropriate *The connections between the (graph) structure and the complexity of a problem should become clear, as well as which methods can be used to tackle the problem*In the tutorials, the students will analyze different problems and develop solutions for them. ===Prerequisites===*Basic knowledge of theoretical computer science and Logic. *Good English skills: teaching will be exclusively in English.===Organisation===The goals can be acquired by studying the lecture material and solving the exercises of the tutorials.The slides of the lectures and exercises of the tutorials will be uploaded in OPAL, for each corresponding session. We invite you to use the forum to ask questions and share your exercise solutions.Please, register for the course on the OPAL site:https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/41672212497===Exam===Key information:There are two forms of examination:Students of the CMS master and exchange students: *There will be a written exam. Dates and information will follow during the semester. There is no possibility to take the exam remotely.*You must register in Selma or with your examination office. Students with complex examinations:*Please, schedule your oral exams with Ramona Behling (ramona.behling@tu-dresden.de).na Behling (ramona.behling@tu-dresden.de).)
Problem Solving and Search in Artificial Intelligence + (Problem solving and search is a central to … Problem solving and search is a central topic in Artificial Intelligence. This course presents several techniques to solve in general difficult problems.The course covers the following '''topics''':*Basic Concepts*Uninformed vs Informed Search*Local Search, Stochastic Hill Climbing, Simulated Annealing*Tabu Search*Answer Set Programming*Constraint Satisfaction*Evolutionary Algorithms, Genetic Algorithms*Structural Decomposition Techniques (Tree/Hypertree Decompositions)===Learning Outcomes===*The students should identify why typical AI problems are difficult to solve*The students will analyze different algorithms and methods for AI problems and identify when their application is appropriate *The connections between the (graph) structure and the complexity of a problem should become clear, as well as which methods can be used to tackle the problem*In the practical part, the students will analyze a given problem and develop a solution for it. ===Prerequisites===Basic knowledge of theoretical computer science and Logic.===Organisation===The goals can be acquierd by studying the lecture material, solving the exercises of the tutorials and developing animplementation for a practical problem.The practical work should be performed in groups of two students throughout the semester with regular updates on the progress.The lecture will be on Tuesday DS2 and the tutorials on Thursday DS1. Please check the concrete schedule for changes.Announcement: because of the COVID-19 pandemic we will provide the materials for self-learning on the planed dates for lectures and tutorials. Please register for the course in OPAL:https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/23291363328 ortal.sachsen.de/opal/auth/RepositoryEntry/23291363328 )
Advanced Problem Solving and Search + (Problem solving and search is a central to … Problem solving and search is a central topic in Artificial Intelligence. This course presents several techniques to solve in general difficult problems.The course covers the following '''topics''':*Basic Concepts*Uninformed vs Informed Search*Local Search, Stochastic Hill Climbing, Simulated Annealing*Tabu Search*Answer Set Programming*Constraint Satisfaction*Evolutionary Algorithms, Genetic Algorithms*Structural Decomposition Techniques (Tree/Hypertree Decompositions)The course does not cover topics in the area of Machine Learning and Neural Networks.NOTE: This course was previously named Problem Solving and Search in Artificial Intelligence. The contents of former PSSAI and APSS are identical, and therefore students can only take one of the two courses.===Learning Outcomes===*The students should identify why typical AI problems are difficult to solve*The students will analyze different algorithms and methods for AI problems and identify when their application is appropriate *The connections between the (graph) structure and the complexity of a problem should become clear, as well as which methods can be used to tackle the problem*In the tutorials, the students will analyze different problems and develop solutions for them. ===Prerequisites===*Basic knowledge of theoretical computer science and Logic. *Good English skills: both the teaching and examination will be exclusively in English.===Organisation===The goals can be acquired by studying the lecture material and solving the exercises of the tutorials.The lectures will be held on Mondays DS1 (07.30 - 09.00 am) and the tutorials on Mondays DS2 (09.20 - 10.50 am). Please check the schedule for changes. The lectures will consist of videos and other materials that will be uploaded online. The tutorials will be online live sessions via BigBlueButton (no recordings of these sessions will be uploaded).The slides of the lectures and exercises of the tutorials will be uploaded in OPAL, for each corresponding session. The lecture videos will also be uploaded in OPAL and I invite you to use the forum to ask questions and share your exercise solutions. Please, register for the course on the OPAL site:https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/32014761984/CourseNode/101501861298687try/32014761984/CourseNode/101501861298687)
Problem Solving and Search in Artificial Intelligence + (Problem solving and search is a central to … Problem solving and search is a central topic in Artificial Intelligence. This course presents several techniques to solve in general difficult problems.The course covers the following '''topics''':*Basic Concepts*Uninformed vs Informed Search*Local Search, Stochastic Hill Climbing, Simulated Annealing*Tabu Search*Answer Set Programming*Constraint Satisfaction*Evolutionary Algorithms, Genetic Algorithms*Structural Decomposition Techniques (Tree/Hypertree Decompositions)===Learning Outcomes===*The students should identify why typical AI problems are difficult to solve*The students will analyze different algorithms and methods for AI problems and identify when their application is appropriate *The connections between the (graph) structure and the complexity of a problem should become clear, as well as which methods can be used to tackle the problem*In the practical part, the students will analyze a given problem and develop a solution for it. ===Prerequisites===Basic knowledge of theoretical computer science and Logic. In addition, the course and examination will be exclusively in English.===Organisation===The goals can be acquired by studying the lecture material and solving the exercises of the tutorials.The lectures will be held on Fridays DS1 (07.30 - 09.00 am) and the tutorials on Fridays DS2 (09.20 - 10.50). Please check the schedule for changes.Announcement: because of the COVID-19 pandemic we will provide the materials for self-learning on the planned dates for lectures and we will have on-line live sessions for the tutorials.Please, register for the course on the OPAL site:https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/26346913795/CourseNode/101501861298687===Examination===This year, due to the exceptional COVID-19 pandemic and the high number of registered students, the exam will be written and online, on the OPAL-ONYX platform. It will mostly consist of single and multiple-choice questions as well as some quick exercises.The exam has finally been scheduled for 11/02/2021 at 16:40h. In addition, a test exam will be carried out on 8/02/2021 at 10:00. It is your responsibility to attend the test exam to ensure that the exam infrastructure works correctly in the equipment that you will use for your exam on the 11th. Of course, no grading will be done on the test exam whatsoever (in fact you will have mock questions). As a consequence, regarding complex examinations held jointly with another examiner:- Students who wish to take a complex examination jointly with another examiner need to look for the main examiner. Due to the large number of registered students in PSSAI, I kindly request you to find another main examiner, and I will decide on an individual basis whenever the load is reasonable. - In principle, PSSAI will only offer separate partial examinations (Teilprüfungen) this semester.If you wish to register for examination this semester, you must do this via the Examination Office. In addition, as previously stated earlier this semester, PSSAI will be offered again in the coming summer semester of 2021. Consequently, examination will be possible again at the end of the summer semester and the format will be the same unless there are substantial changes in the overall health situation and regulations.anges in the overall health situation and regulations.)