piwik-script

English Intern
    Lehrstuhl für Informatik I - Algorithmen, Komplexität und wissensbasierte Systeme

    Logik für Informatiker

    Titel:Logik für Informatiker
    Typ:Vorlesung mit Übung
    Kürzel / Nr:10-I-LOG / 121714
    SWS / LP:2V+2Ü / 5LP
    Dozent:Dietmar Seipel
    Betreuer:Falco Nogatz
    Termine:Vorlesung:
    Donnerstags, 10 bis 12 Uhr, Zuse-Hörsaal
    Übung:
    siehe WueCampus
    Lernplattform:Die Veranstaltung wird mit Hilfe der Lernplattform WueCampus durchgeführt. Bitte registrieren Sie sich hier.
    Prüfungstermine:siehe WueCampus
    Beschreibung

    Die formale Logik ist für die Informatik von fundamentaler Bedeutung und besitzt zahlreiche Anwendungen in Theorie und Praxis. Sie ist Grundlage für die Theoretische Informatik (Berechenbarkeit, Komplexität, Beweise, ...) und Anwendungen u.a. in relationalen und deduktiven Datenbanken, in der Künstlichen Intelligenz und zur Verifikation komplexer Systeme.

    Die Lehrveranstaltung Logik für Informatiker vermittelt die wesentlichen Konzepte und Techniken der Aussagen- und Prädikatenlogik. Im Einzelnen werden folgende Themen behandelt: Syntax und Semantik der Aussagenlogik, Äquivalenzen und Normalformen, Hornformeln, SAT, Resolution, unendliche Formelmengen, Syntax und Semantik der Prädikatenlogik.

    Unterrichtssprache:Deutsch
    Turnus:jedes Wintersemester
    Niveau:Grundständig
    Inhalt:Syntax und Semantik der Aussagenlogik, Äquivalenzen und Normalformen, Hornformeln, SAT, Resolution, unendliche Formelmengen, Syntax und Semantik der Prädikatenlogik.
    Lernergebnisse:Die Studierenden beherrschen folgende Bereiche: Syntax und Semantik der Aussagenlogik, Äquivalenzen und Normalformen, Hornformeln, SAT, Resolution, unendliche Formelmengen, Syntax und Semantik der Prädikatenlogik.

    Hinweis zum Datenschutz

    Mit 'OK' verlassen Sie die Seiten der Universität Würzburg und werden zu Facebook weitergeleitet. Informationen zu den dort erfassten Daten und deren Verarbeitung finden Sie in deren Datenschutzerklärung.

    Hinweis zum Datenschutz

    Mit 'OK' verlassen Sie die Seiten der Universität Würzburg und werden zu Twitter weitergeleitet. Informationen zu den dort erfassten Daten und deren Verarbeitung finden Sie in deren Datenschutzerklärung.

    Kontakt

    Lehrstuhl für Informatik I (Effiziente Algorithmen und wissensbasierte Systeme)
    Am Hubland
    97074 Würzburg

    Tel.: +49 931 31-85054
    E-Mail

    Suche Ansprechpartner

    Hubland Süd, Geb. Z8
    Hubland Süd, Geb. Z8
    Hubland Süd, Geb. M2
    Hubland Süd, Geb. M2