Home
Virtueller Studienplatz
01825 Logik für Informatiker (SoSe 16)
Navigation
Rubriken
Funktionen
Willkommen
Veranstaltungsangebot
Logik für Informatiker
Portal
Kurssuche
Hilfe
Sitemap
Über den Virtuellen Studienplatz
Impressum
Datenschutz
Lehrveranstaltung 01825 (SoSe 16)
Fakultät für Mathematik und Informatik
Lehrgebiet Theoretische Informatik
01825 Logik für Informatiker im Sommersemester 2016
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
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
Einheiten
Bemerkungen
KE 1: Aussagenlogik
KE 2: Syntax und Semantik der Prädikatenlogik
KE 3: Grundbegriffe der Prädikatenlogik, Kalküle
KE 4: Normalformen, Herbrand-Strukturen, Hauptresultate
KE 5: Logik-Programmierung
KE 6: Ergänzungen zur Prädikatenlogik, modale Aussagenlogik
KE 7: Anwendungen in der Wissenslogik
Zusatzmaterial
Betreuung
Betreuende
Liste der Campus Standorte bzw. Studienzentren
Zusatzveranstaltungen
Die zu dieser Lehrveranstaltung angebotenen Zusatzveranstaltungen werden Teilnehmern nach dem Login angezeigt.
Irrtümer und nachträgliche Datenänderungen vorbehalten.
Seite erstellt in 0,1s | 19.4.24,04:38 im Sommersemester 2024 | realisiert durch das LVU-System
login >>
Kennwort vergessen?
FernUniversität in Hagen, 58084 Hagen, Telefon: +49 2331 987-01, E-Mail: fernuni@fernuni-hagen.de