185.A09 Advanced Mathematical Logic
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2013W, VU, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

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

Ziele der Lehrveranstaltung

Knowledge of central theorems and techniques of classical mathematical logic, that are neither covered in bachelor courses nor in the module "Logic and Computability".

Inhalt der Lehrveranstaltung

- rudiments of model theory

- completeness proof for classical first order logic

- quantifier elimination

- Gödel's first and second incompleteness theorems

Weitere Informationen

The course takes placed in blocked format, probably during two weeks.

ETCS Breakdown (3 ETCS = 90 hours):

  • 20 hours:  lecture time
  • 70 hours:  homework assignments, preparations

General introduction to courses of the "Theory and Logic Group" (185/2):

Thursday, October 10, 11am, Zemanek-Room, Favortienstraße 11, ground floor

Vortragende

  • Behounek, Libor

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.14:00 - 17:0015.10.2013 - 21.01.2014Seminarraum 308 Advanced Mathematical Logic
Di.14:00 - 17:0007.01.2014Seminarraum 308 Advanced Mathematical Logic
Advanced Mathematical Logic - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.15.10.201314:00 - 17:00Seminarraum 308 Advanced Mathematical Logic
Di.29.10.201314:00 - 17:00Seminarraum 308 Advanced Mathematical Logic
Di.05.11.201314:00 - 17:00Seminarraum 308 Advanced Mathematical Logic
Di.12.11.201314:00 - 17:00Seminarraum 308 Advanced Mathematical Logic
Di.03.12.201314:00 - 17:00Seminarraum 308 Advanced Mathematical Logic
Di.10.12.201314:00 - 17:00Seminarraum 308 Advanced Mathematical Logic
Di.17.12.201314:00 - 17:00Seminarraum 308 Advanced Mathematical Logic
Di.07.01.201414:00 - 17:00Seminarraum 308 Advanced Mathematical Logic
Di.14.01.201414:00 - 17:00Seminarraum 308 Advanced Mathematical Logic
Di.21.01.201414:00 - 17:00Seminarraum 308 Advanced Mathematical Logic
LVA wird geblockt abgehalten

LVA-Anmeldung

Von Bis Abmeldung bis
23.09.2013 15:00 31.10.2013 12:00 30.11.2013 12:00

Curricula

StudienkennzahlSemesterAnm.Bed.Info
066 931 Computational Intelligence

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Basic notions of classical propositional and first order logic

Weitere Informationen

Sprache

Englisch