703400 Computational Logic

703400 Computational Logic

Wintersemester 2005/2006 | Stand: 30.01.2006 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Dr. Stefanus Blom
Nao Hirokawa
Univ.-Prof. Dr. Georg Moser, +43 512 507 53213
Dipl.-Math. Christian Vogt

LV-Nummer:

703400

Titel:

Computational Logic

Typ/Stunden:

PR 8

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Englisch

Anmerkungen:

Beginn: KW 40

Link:

http://cl-informatik.uibk.ac.at/teaching/bsc/

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Informatik

Bakkalaureat

3./5. Semester (WS) bzw. 4./6. Semester (SS)

Technische Mathematik

II. Studienabschnitt

Wahlfach Informatik

Gruppe 1	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Fr 02.12.2005	13.00 - 14.00	HS 11 HS 11	Barrierefrei