English
Hilfe
Login
Lehrangebot
Lehrveranstaltungen
Studienangebot
Abschlussarbeiten
Studienbewerbung
Mobility Services
roomTUlearn
Raumverwaltung
Belegungsplan
Unterstützungsangebote für Studierende
Lehre
Forschung
Organisation
104.107
Logik und Grundlagen der Mathematik
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.
2011S
2010S
2009S
2007W
2006W
2005W
2004W
2011S, VO, 2.0h, 3.0EC
Merkmale
Semesterwochenstunden: 2.0
ECTS: 3.0
Typ: VO Vorlesung
Ziele der Lehrveranstaltung
Die Studierenden sollen die Grundbegriffe der mathematischen Logik verstehen und insbesondere erkennen, dass (formale) Beweise Objekte mathematischer Untersuchungen sein können.
Inhalt der Lehrveranstaltung
Aussgenlogik, Prädikatenlogik 1.Stufe, Vollständigkeitssatz; Auswahlaxiom, Kardinalität; Einführung in die computationale Logik
Weitere Informationen
Beginn am Dienstag, 1.März 2011, 8:30 pünktlich.
Vortragende Personen
Goldstern, Martin
Institut
E104 Institut für Diskrete Mathematik und Geometrie
LVA Termine
Tag
Zeit
Datum
Ort
Beschreibung
Di.
08:30 - 10:00
01.03.2011 - 30.06.2011
FH Hörsaal 2
GOLDSTERN
Einzeltermine anzeigen
Logik und Grundlagen der Mathematik - Einzeltermine
F
P
1
N
E
Tag
Datum
Zeit
Ort
Beschreibung
Di.
01.03.2011
08:30 - 10:00
FH Hörsaal 2
GOLDSTERN
Di.
08.03.2011
08:30 - 10:00
FH Hörsaal 2
GOLDSTERN
Di.
15.03.2011
08:30 - 10:00
FH Hörsaal 2
GOLDSTERN
Di.
22.03.2011
08:30 - 10:00
FH Hörsaal 2
GOLDSTERN
Di.
29.03.2011
08:30 - 10:00
FH Hörsaal 2
GOLDSTERN
Di.
05.04.2011
08:30 - 10:00
FH Hörsaal 2
GOLDSTERN
Di.
12.04.2011
08:30 - 10:00
FH Hörsaal 2
GOLDSTERN
Di.
19.04.2011
08:30 - 10:00
FH Hörsaal 2
GOLDSTERN
Di.
26.04.2011
08:30 - 10:00
FH Hörsaal 2
GOLDSTERN
Di.
03.05.2011
08:30 - 10:00
FH Hörsaal 2
GOLDSTERN
Di.
10.05.2011
08:30 - 10:00
FH Hörsaal 2
GOLDSTERN
Di.
17.05.2011
08:30 - 10:00
FH Hörsaal 2
GOLDSTERN
Di.
24.05.2011
08:30 - 10:00
FH Hörsaal 2
GOLDSTERN
Di.
31.05.2011
08:30 - 10:00
FH Hörsaal 2
GOLDSTERN
Di.
07.06.2011
08:30 - 10:00
FH Hörsaal 2
GOLDSTERN
Di.
14.06.2011
08:30 - 10:00
FH Hörsaal 2
GOLDSTERN
Di.
21.06.2011
08:30 - 10:00
FH Hörsaal 2
GOLDSTERN
Di.
28.06.2011
08:30 - 10:00
FH Hörsaal 2
GOLDSTERN
F
P
1
N
E
Leistungsnachweis
mündliche Prüfung
LVA-Anmeldung
Nicht erforderlich
Curricula
Studienkennzahl
Verbindlichkeit
Semester
Anm.Bed.
Info
033 204 Mathematik in den Computerwissenschaften
Gebundenes Wahlfach
066 400 Mathematik
Pflichtfach
869 Mathematik i.d. Computerwissensch.
Pflichtfach
Literatur
Ein Skriptum zur Lehrveranstaltung ist erhältlich.
Sprache
Deutsch