Illustrationsbild für den Virtuellen Studienplatz

Lehrveranstaltung 01825 (SoSe 16)

 
01825 Logik für Informatiker im Sommersemester 2016
Hinweis Das Semester dieser Veranstaltung ist beendet.
grundlegende Überarbeitung: Sommersemester 2009 Umfang: 4.0 SWS
Übungsumfang: 2.0 SWS nächster geplanter Einsatz: -keine Angaben vorhanden-
Versionen Autorinnen und Autoren
Teilnahmevoraussetzungen Beschreibung
Termine
Veranstaltungsbeginn: 01.04.2016
Versand
Material
Hinweis Diese Lehrveranstaltung beinhaltet zugriffsgeschütztes Material, das nur nach dem Einloggen und bei vorhandener Belegung der Lehrveranstaltung eingesehen werden kann. Studierende der FernUniversität sollten sich einloggen.
Einheiten Übungen
Schließen
Übungen Bemerkungen
EA 1: Aussagenlogik
EA 2: Syntax und Semantik der Prädikatenlogik
EA 3: Grundbegriffe der Prädikatenlogik, Kalküle
EA 4: Normalformen, Herbrand-Strukturen, Hauptresultate
EA 5: Logik-Programmierung
EA 6: Ergänzungen zur Prädikatenlogik, modale Aussagenlogik
EA 7: Anwendungen in der Wissenslogik
ML 1: Aussagenlogik
ML 2: Syntax und Semantik der Prädikatenlogik
ML 3: Grundbegriffe der Prädikatenlogik, Kalküle
ML 4: Normalformen, Herbrand-Strukturen, Hauptresultate
ML 5: Logik-Programmierung
ML 6: Ergänzungen zur Prädikatenlogik, modale Aussagenlogik
ML 7: Anwendungen in der Wissenslogik
Zusatzmaterial
Betreuung
Betreuende Liste der Campus Standorte bzw. Studienzentren
Zusatzveranstaltungen
Hinweis Die zu dieser Lehrveranstaltung angebotenen Zusatzveranstaltungen werden Teilnehmern nach dem Login angezeigt.

Irrtümer und nachträgliche Datenänderungen vorbehalten.


Seite erstellt in 0,2s  |  29.3.24,12:00 im Wintersemester 2023/2024  |  realisiert durch das LVU-System
FernUni-Logo FernUniversität in Hagen, 58084 Hagen, Telefon: +49 2331 987-01, E-Mail: fernuni@fernuni-hagen.de