Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Logout in [min] [minutetext]

Logik für Informatiker - Detailansicht

  • Funktionen:
  • Zur Zeit kein Belegungszeitraum aktiv.
Grunddaten
Veranstaltungsart Vorlesung Langtext
Veranstaltungsnummer 3214 Kurztext
Semester WS 2020/21 SWS 2
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Rhythmus Jedes Semester Studienjahr
Hyperlink  
Sprache Deutsch
Laut SPO für
Abschluss Studiengang Semester Kategorie ECTS
Master mit vorausg. Absch Informatik 1 - 1 3
Zuordnung zu Einrichtungen
Masterstudiengang Informatik
Inhalt
Inhalt 2 Aussagenlogik
2.1 Syntax
2.2 Semantik
2.3 Beweisverfahren
2.4 Resolution
2.5 Hornklauseln
2.6 Berechenbarkeit und Komplexität
2.7 Anwendungen und Grenzen
2.8 Übungen

3 Prädikatenlogik erster Stufe
3.1 Syntax
3.2 Semantik
3.2.1 Gleichheit
3.3 Quantoren und Normalformen
3.4 Beweiskalküle
3.5 Resolution
3.5.1 Resolutionsstrategien
3.5.2 Gleichheit
3.6 Automatische Theorembeweiser
3.7 Mathematische Beispiele
3.8 Anwendungen
3.9 Zusammenfassung
3.10 Übungen

4 Grenzen der Logik
4.1 Das Suchraumproblem
4.2 Entscheidbarkeit und Unvollständigkeit
4.3 Der fliegende Pinguin
4.4 Modellierung von Unsicherheit
4.5 Übungen

5 Logikprogrammierung mit PROLOG
5.1 PROLOG Systeme und Implementierungen
5.2 Einfache Beispiele
5.3 Ablaufsteuerung und prozedurale Elemente
5.4 Listen
5.5 Selbstmodifizierende Programme
5.6 Ein Planungsbeispiel
5.7 Constraint Logic Programming
5.8 Zusammenfassung
5.9 Übungen
Literatur http://www.cs.berkeley.edu/~russell/aima.html
S. Russell and P. Norvig
Artificial Intelligence: A Modern Approach

http://erde.fbe.fh-weingarten.de/ertel/vorlesungen/ki/ki.html
W. Ertel: Künstliche Intelligenz, Vieweg (erscheint 2007)

J. Dassow: Logik für Informatiker, Teubner Verlag, 2005
Lernziele Der Student soll Syntax und Semantik der Aussagenlogik und der Prädikatenlogik 1. Stufe verstehen. Ausserdem soll er die Mechanisiserung der Logik in Form des Resolutionskalküls verstehen und einfache Probleme mit der Programmiersprache PROLOG lösen können.

Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WS 2020/21 , Aktuelles Semester: SoSe 2024