English
Hilfe
Login
Lehrangebot
Lehrveranstaltungen
Studienangebot
Abschlussarbeiten
Studienbewerbung
Mobility Services
roomTUlearn
Raumverwaltung
Belegungsplan
Unterstützungsangebote für Studierende
Lehre
Forschung
Organisation
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
2009W
2008W
2008S
2006W
2005W
2004W
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 Personen
Ciabattoni, Agata
Institut
E185 Institut für Computersprachen
LVA Termine
Tag
Zeit
Datum
Ort
Beschreibung
Fr.
14:00 - 16:00
15.10.2010 - 29.10.2010
Seminarraum FAV EG C (Seminarraum Gödel)
Fr.
14:00 - 16:00
05.11.2010 - 12.11.2010
Seminarraum FAV EG B (Seminarraum von Neumann)
Fr.
14:00 - 16:00
19.11.2010 - 27.01.2011
Seminarraum FAV EG C (Seminarraum Gödel)
Einzeltermine anzeigen
Mathematische Logik 1 - Einzeltermine
F
P
1
N
E
Tag
Datum
Zeit
Ort
Beschreibung
Fr.
15.10.2010
14:00 - 16:00
Seminarraum FAV EG C (Seminarraum Gödel)
Fr.
22.10.2010
14:00 - 16:00
Seminarraum FAV EG C (Seminarraum Gödel)
Fr.
29.10.2010
14:00 - 16:00
Seminarraum FAV EG C (Seminarraum Gödel)
Fr.
05.11.2010
14:00 - 16:00
Seminarraum FAV EG B (Seminarraum von Neumann)
Fr.
19.11.2010
14:00 - 16:00
Seminarraum FAV EG C (Seminarraum Gödel)
Fr.
26.11.2010
14:00 - 16:00
Seminarraum FAV EG C (Seminarraum Gödel)
Fr.
03.12.2010
14:00 - 16:00
Seminarraum FAV EG C (Seminarraum Gödel)
Fr.
10.12.2010
14:00 - 16:00
Seminarraum FAV EG C (Seminarraum Gödel)
Fr.
17.12.2010
14:00 - 16:00
Seminarraum FAV EG C (Seminarraum Gödel)
Fr.
14.01.2011
14:00 - 16:00
Seminarraum FAV EG C (Seminarraum Gödel)
Fr.
21.01.2011
14:00 - 16:00
Seminarraum FAV EG C (Seminarraum Gödel)
F
P
1
N
E
LVA-Anmeldung
Nicht erforderlich
Curricula
Studienkennzahl
Verbindlichkeit
Semester
Anm.Bed.
Info
066 011 DDP Computational Logic (Erasmus-Mundus)
Keine Angabe
066 931 Computational Intelligence
Pflichtfach
066 938 Technische Informatik
Gebundenes Wahlfach
Literatur
Es wird kein Skriptum zur Lehrveranstaltung angeboten.
Weitere Informationen
Homepage der Lehrveranstaltung
Sprache
Englisch