Lecture

Lecture

Lecture - The Logic of Knowledge Bases SS 2014

Submitted by Jens Claßen on 1. April 2014 - 19:07
This course is about the logic of knowledge bases, in two distinct but related senses. On the one hand, a knowledge base is a collection of sentences in a representation language that entails a certain picture of the world represented. On the other hand, having a knowledge base entails being in a certain state of knowledge where a number of other epistemic properties hold. One of the principal aims of this course is to develop a detailed account of the relationship between symbolic representations of knowledge and abstract states of knowledge. Students wishing to attend the course should be familiar with first-order predicate logic.

Einführung in die Informatik WS 2013/2014

Submitted by stf on 2. October 2013 - 18:55

Die Veranstaltung "Einführung in die Informatik" ist eine der von der Fachgruppe Informatik seit dem Wintersemester 2001/2002 angebotenen Einführungsvorlesungen für Hörer aller Fakultäten:

  • Programmierung (Java) (WS)
  • Einführung in die Informatik (WS)
  • Algorithmen und Datenstrukturen (SS)
  • Software-Entwicklung (SS)
im Online-Vorlesungsverzeichnis CAMPUS finden Sie Einträge zu zu dieser Veranstaltung.

Lecture - Introduction to Artificial Intelligence WS 2013/2014

Submitted by Christoph Schwering on 24. September 2013 - 5:17
See Campus for announcements for Note:
  • To access the L2P room, you need to register for the course in Campus ("Zum klassischen Anmeldeverfahren"). There we publish slides, announcements, etc.
  • To take the exam, you need to do the modular registration process which closes 22 November.

Einführung in die Informatik WS 2012/2013

Submitted by stf on 1. October 2012 - 14:43

Die Veranstaltung "Einführung in die Informatik" ist eine der von der Fachgruppe Informatik seit dem Wintersemester 2001/2002 angebotenen Einführungsvorlesungen für Hörer aller Fakultäten:

  • Programmierung (Java) (WS)
  • Einführung in die Informatik (WS)
  • Algorithmen und Datenstrukturen (SS)
  • Software-Entwicklung (SS)
im Online-Vorlesungsverzeichnis CAMPUS finden Sie Einträge zu zu dieser Veranstaltung.

Einführung in die Informatik WS 2011/2012

Submitted by stf on 4. October 2011 - 12:28

Die Veranstaltung ist eine der von der Fachgruppe Informatik seit dem Wintersemester 2001/2002 angebotenen Einführungsvorlesungen für Hörer aller Fakultäten:

  • Programmierung (Java) (WS)
  • Einführung in die Informatik (WS)
  • Algorithmen und Datenstrukturen (SS)
  • Software-Entwicklung (SS)
im Online-Vorlesungsverzeichnis CAMPUS finden Sie Einträge zu Vorlesung, Übung(en) und Klausur(en) zu dieser Veranstaltung.