185.256 Mathematische Logik 1
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2010W, VU, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

There are many reasons why a computer scientist should study logic. Historically it formed the roots of computer science, both Church's and Turing's work being motivated by the decision problem for first-order logic. Nowadays we are finding conversely that computer science is generating an explosion of interest in logic, with the desire to automate reasoning and the necessity to prove programs or systems correct. Basically, logic and computer science address the same problems of formalizing, elaborating and communicating knowledge.

Inhalt der Lehrveranstaltung

Prädikatenlogik, Kalküle für die Prädikatenlogik, Vollständigkeit, Satz von Löwenheim-Skolem, das Entscheidungsproblem.

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Fr.14:00 - 16:0015.10.2010 - 29.10.2010Seminarraum FAV EG C (Seminarraum Gödel)
Fr.14:00 - 16:0005.11.2010 - 12.11.2010Seminarraum FAV EG B (Seminarraum von Neumann)
Fr.14:00 - 16:0019.11.2010 - 27.01.2011Seminarraum FAV EG C (Seminarraum Gödel)
Mathematische Logik 1 - Einzeltermine
TagDatumZeitOrtBeschreibung
Fr.15.10.201014:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel)
Fr.22.10.201014:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel)
Fr.29.10.201014:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel)
Fr.05.11.201014:00 - 16:00Seminarraum FAV EG B (Seminarraum von Neumann)
Fr.19.11.201014:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel)
Fr.26.11.201014:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel)
Fr.03.12.201014:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel)
Fr.10.12.201014:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel)
Fr.17.12.201014:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel)
Fr.14.01.201114:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel)
Fr.21.01.201114:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel)

LVA-Anmeldung

Nicht erforderlich

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Weitere Informationen

Sprache

Englisch