Semantisches Browsen
Aus International Center for Computational Logic
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.</br>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.</br></br>Die Vorlesung ist weitgehend selbsterklärend, aber Grundlagen aus der Veranstaltung [[Formale Systeme]] können hilfreich sein.</br></br>== Vorlesungen ==</br></br>Vorlesungstermine:</br></br>* Mo 3. DS, [https://navigator.tu-dresden.de/raum/145403.0460 HÜL/S386/H]</br>* Do 4. DS, [https://navigator.tu-dresden.de/raum/1361-1.0400 HSZ/0002/E]</br></br>== Übungen ==</br></br>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'''.</br>Für die Teilnahme an einer Übungsgruppe ist die Einschreibung in dieser Gruppe '''verpflichtend'''.</br>Studierenden ohne Einschreibung kann die Teilnahme an einer selbstgewählten Übung nicht garantiert werden.</br>Übungsleiter:innen sind berechtigt, nicht eingeschriebene Studierende bei Überfüllung aus der (digitalen) Übung zu verweisen.</br></br>Übungsgruppen finden ab dem 14. April 2025 zu ihren jeweiligen Terminen statt.</br>Übungsblätter können über den Reiter „Termine und Unterlagen“ abgerufen werden.</br></br>'''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.</br>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).</br></br>== Kontakt ==</br></br>Zur Kommunikation unter Vorlesungsteilnehmer:innen der TU Dresden stehen ein OPAL-Diskussionsforum zur Verfügung.</br></br>Persönliche Fragen können auch direkt an das Organisationsteam (siehe Links oben) gestellt werden, falls sie aus einem zwingenden Grund nicht über andere Kanäle gerichtet werden können.</br>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).
Klausur +
Lecturer
Lecturers
Lecture series
Module
INF-B-290, INF-D-330 +
2 +
4 +
Tutor
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Theoretische Informatik und Logik +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
31. März 2025, 10:32:09 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Hat Unterobjekt„Hat Unterobjekt <span style="font-size:small;">(Has subobject)</span>“ ist ein softwareseitig fest definiertes Attribut und stellt einen <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Container">Datenverbund</a> dar. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik + und Theoretische Informatik und Logik +
Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +, Theoretische Informatik und Logik +
