185.263 Theoretische Informatik und Logik
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2011W, VU, 4.0h, 6.0EC

Merkmale

  • Semesterwochenstunden: 4.0
  • ECTS: 6.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Vermittlung von Grundbegriffen der theoretischen Informatik und ihrer Methodik. Dabei sollen grundlegende mathematische Fertigkeiten erlernt bzw. weiter trainiert werden (z.B. strukturelle Induktion, Instanziierung abstrakter Konzepte in unterschiedlichen Beispielen, Verwendung formaler Sprachen zur Spezifikation unterschiedlicher Formen von Information). Außerdem wird die Kenntnis wichtiger Grundresultate und Methoden aus dem Bereich der formalen Sprachen sowie der Aussagen- und Prädikatenlogik angestrebt.

Inhalt der Lehrveranstaltung

Spezifikation formaler Sprachen, induktive Definitionen, reguläre Sprachen, endliche Automaten, formale Grammatiken, Turingmaschinen, Berechenbarkeit; Syntax-Sematik-Schnittstelle, Modellstrukturen, Terme und Boolesche Ausdrücke, Syntax und Semantik einer einfachen Programmiersprache, Syntax und Semantik der klassischen Aussagenlogik, Formeln und Formelschemata, Logische Konsequenz und Implikation, Normalformen, Sequentialkalkül, Semantische Tableaux, Resolutionsverfahren, Syntax und Semantik der klassischen Prädikatenlogik, sowie deren grundlegende Eigenschaften; prädikatenlogische Tableaux, Unifikation, prädikatenlogische Resolution.

Der Inhalt der Lehrveranstaltung wird in Vorlesungseinheiten präsentiert, die geblockt bis Mitte Dezember stattfinden. Zur Vertiefung des Verständnisses bearbeiten die Studierenden Übungsbeispiele, die in von TutorInnen betreuten Kleingruppen sowie im Rahmen von Abgabegespächen bei den Vortragenden diskutiert und beurteilt werden. Die Abschlussprüfung erfolgt schriftlich (zweistündig) am Ende des Semesters. Dazu gibt es drei Nachtragstermine im darauf folgenden Sommersemester.

Weitere Informationen

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.12:00 - 13:0005.10.2011 - 26.01.2012Hörsaal 15 GRAMLICH
Mi.12:00 - 16:0005.10.2011 - 25.01.2012Besprechungsraum Galerie 185.263
Mi.14:00 - 15:0005.10.2011 - 26.01.2012EI 6 Eckert HS GRAMLICH
Mi.16:00 - 17:0005.10.2011 - 26.01.2012Hörsaal 15 GRAMLICH
Do.18:00 - 20:0006.10.2011 - 12.01.2012FH Hörsaal 5 - TPH 185.263: Theoretische Informatik und Logik
Fr.15:00 - 17:0007.10.2011 - 13.01.2012Informatikhörsaal - ARCH-INF 185.263: Theoretische Informatik und Logik
Fr.15:00 - 17:0007.10.2011FH Hörsaal 5 - TPH 185.263: Theoretische Informatik und Logik
Mi.12:00 - 16:0012.10.2011 - 26.01.2012GM 7 Kleiner Schiffbau GRAMLICH
Mi.15:00 - 19:0012.10.2011 - 26.01.2012EI 6 Eckert HS GRAMLICH
Do.13:00 - 18:0013.10.2011 - 26.01.2012EI 6 Eckert HS GRAMLICH
Fr.15:00 - 17:0021.10.2011FH Hörsaal 6 - TPH 185.263: Theoretische Informatik und Logik
Di.09:00 - 14:0025.10.2011Seminarraum FAV EG C (Seminarraum Gödel) 185.263: Theoretische Informatik und Logik
Di.12:00 - 18:0025.10.2011Seminarraum FAV EG B (Seminarraum von Neumann) 185.263: Theoretische Informatik und Logik
Do.18:00 - 20:0024.11.2011HS 18 Czuber - UIW 185.263
Di.13:00 - 18:0006.12.2011Seminarraum FAV EG B (Seminarraum von Neumann) 185.263: Theoretische Informatik und Logik
Mo.15:00 - 19:0012.12.2011 - 12.12.2011Seminarraum FAV EG B (Seminarraum von Neumann) 185.263 Theoretische Informatik und Logik
Di.15:00 - 19:0013.12.2011 - 13.12.2011Seminarraum FAV EG B (Seminarraum von Neumann) 185.263 Theoretische Informatik und Logik
Mi.15:00 - 19:0014.12.2011 - 14.12.2011Seminarraum FAV EG B (Seminarraum von Neumann) 185.263 Theoretische Informatik und Logik
Do.09:00 - 12:0015.12.2011 - 15.12.2011Seminarraum FAV EG B (Seminarraum von Neumann) 185.263 Theoretische Informatik und Logik
Do.14:00 - 18:0015.12.2011 - 15.12.2011Seminarraum FAV EG B (Seminarraum von Neumann) 185.263 Theoretische Informatik und Logik
Fr.12:00 - 13:0016.12.2011 - 16.12.2011EI 6 Eckert HS
Fr.17:00 - 19:0016.12.2011 - 16.12.2011EI 6 Eckert HS
Fr.11:00 - 13:0023.12.2011 - 23.12.2011Seminarraum FAV EG B (Seminarraum von Neumann) 185.263 Theoretische Informatik und Logik
Fr.17:00 - 19:0023.12.2011 - 23.12.2011Seminarraum FAV EG B (Seminarraum von Neumann) 185.263 Theoretische Informatik und Logik
Do.13:00 - 15:0012.01.2012FAV Hörsaal 3 Zemanek (Seminarraum Zemanek) Prüfungseinsicht
Do.16:00 - 18:3022.03.2012EI 7 Hörsaal - ETIT 185.263
Do.18:00 - 20:3010.05.2012EI 7 Hörsaal - ETIT 185.263
Do.16:00 - 18:3014.06.2012FH Hörsaal 1 - MWB 185.263
Theoretische Informatik und Logik - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi.05.10.201112:00 - 13:00Hörsaal 15 GRAMLICH
Mi.05.10.201112:00 - 16:00Besprechungsraum Galerie 185.263
Mi.05.10.201114:00 - 15:00EI 6 Eckert HS GRAMLICH
Mi.05.10.201116:00 - 17:00Hörsaal 15 GRAMLICH
Do.06.10.201118:00 - 20:00FH Hörsaal 5 - TPH 185.263: Theoretische Informatik und Logik
Fr.07.10.201115:00 - 17:00FH Hörsaal 5 - TPH 185.263: Theoretische Informatik und Logik
Mi.12.10.201112:00 - 13:00Hörsaal 15 GRAMLICH
Mi.12.10.201112:00 - 16:00Besprechungsraum Galerie 185.263
Mi.12.10.201112:00 - 16:00GM 7 Kleiner Schiffbau GRAMLICH
Mi.12.10.201114:00 - 15:00EI 6 Eckert HS GRAMLICH
Mi.12.10.201115:00 - 19:00EI 6 Eckert HS GRAMLICH
Mi.12.10.201116:00 - 17:00Hörsaal 15 GRAMLICH
Do.13.10.201113:00 - 18:00EI 6 Eckert HS GRAMLICH
Do.13.10.201118:00 - 20:00FH Hörsaal 5 - TPH 185.263: Theoretische Informatik und Logik
Fr.14.10.201115:00 - 17:00Informatikhörsaal - ARCH-INF 185.263: Theoretische Informatik und Logik
Mi.19.10.201112:00 - 13:00Hörsaal 15 GRAMLICH
Mi.19.10.201112:00 - 16:00Besprechungsraum Galerie 185.263
Mi.19.10.201112:00 - 16:00GM 7 Kleiner Schiffbau GRAMLICH
Mi.19.10.201114:00 - 15:00EI 6 Eckert HS GRAMLICH
Mi.19.10.201115:00 - 19:00EI 6 Eckert HS GRAMLICH

LVA-Anmeldung

Von Bis Abmeldung bis
05.09.2011 17:00 12.10.2011 00:00

Anmeldemodalitäten

Melden Sie sich an um Zugang zum TUWEL Kurs zu erhalten.

Curricula

StudienkennzahlSemesterAnm.Bed.Info
033 522 Informatikmanagement 2. Semester
033 531 Data Engineering & Statistics 2. Semester
033 532 Medieninformatik und Visual Computing STEG
Lehrveranstaltung erfordert die Erfüllung des Studieneingangsgesprächs STEG
033 533 Medizinische Informatik 4. SemesterSTEG
Lehrveranstaltung erfordert die Erfüllung des Studieneingangsgesprächs STEG
033 534 Software & Information Engineering 4. SemesterSTEG
Lehrveranstaltung erfordert die Erfüllung des Studieneingangsgesprächs STEG
033 535 Technische Informatik 2. SemesterSTEG
Lehrveranstaltung erfordert die Erfüllung des Studieneingangsgesprächs STEG
066 939 Wirtschaftsingenieurwesen Informatik

Literatur

Ein Skriptum zur Lehrveranstaltung ist erhältlich.

Vorkenntnisse

Mathematik 1

Weitere Informationen

Sprache

Deutsch