Logik

Klausur

Die Klausureinsicht findet am Mittwoch, 26.09.2012, im Raum O27/531 von 10.00 bis 10.30 Uhr statt.

Die Noten sind im LSF eingetragen.

Inhalt

Aussagenlogik

  • Syntax und Semantik
  • Normalformen
  • Resolution, Vollständigkeits- und Korrektheitsbeweise

Prädikatenlogik

  • Syntax und Semantik
  • Normalformen
  • Resolution, Vollständigkeits- und Korrektheitsbeweise

Literatur: 

  • Uwe Schöning: Logik für Informatiker, 5. Auflage. Spektrum Verlag, 2000.
  • Skript    


Vorlesungszeiten

Montag, 12:00 - 14:00 Uhr in H12

Übungsleiter

Simon Straub

Tutorien (wöchentlich ab KW 17)

Di 10:00 - 12:00 in O27/2202,
Markus Brenner

Di 16:00 - 18:00 in O27/545, 
Falco Nogatz (ab KW 19)

Mi 10:00 - 12:00 in O27/2201,
Maike Zwerger 

Mi 10:00 - 12:00 in O27/2203,
Mirco Lüdeke

Privacy Settings

This website uses cookies. Strictly Necessary Cookies are essential for the functionality of the website. In accordance with Art. 6, 1a) GDPR, you can choose to give your consent to a Video Cookie. The Video Cookie is set to offer embedded third-party content from video providers (e.g. YouTube, Vimeo) without further access protection. You can revoke your consent at any time. To do so, simply go to our privacy policy page (link below) and change the cookie settings.

or

or

Functional

in2code

Provider: in2code GmbH, Kunstmühlstraße 12a, 83026 Rosenheim, Deutschland

External Video Content

in2code

Provider: in2code GmbH, Kunstmühlstraße 12a, 83026 Rosenheim, Deutschland

Chatbot Assistant

ChatBot

Provider: Kauz GmbH
processed by: International Office der Universität Ulm, Helmholtzstraße 16, 89081 Ulm, Deutschland