703020 Logik

Wintersemester 2009/2010 | Stand: 15.02.2010 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Martin Avanzini, PhD
Dipl.-Ing. Andreas Schnabl
assoz. Prof. Dr. René Thiemann, +43 512 507 53234

LV-Nummer:

703020

Titel:

Logik

Typ/Stunden:

PS 2

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Deutsch

Lernergebnis:

Absolventinnen und Absolventen dieses Moduls sollen die Inhalte der Vorlesung verstehen sowie diese wiedergeben und anwenden können. Sie sollen die Fähigkeit erworben haben, sich ähnliche Inhalte selbstständig zu erarbeiten. Weiters sollen sie ein Grundverständnis für die Methoden der Logik erlangt haben.

Inhalt:

Diskussion, Vertiefung und Einübung der Inhalte der Vorlesung; Übung im wissenschaftlichen Argumentieren und im Präsentieren formaler Inhalte

Anmerkungen:

Beginn: KW 41

Link:

http://cl-informatik.uibk.ac.at/teaching/ws09/lics

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Lehramt

Informatik und Informatikmanagement

II. Studienabschnitt

Bachelorstudium Informatik nach dem Curriculum 2007

3. Semester

Logik

Termine

Gruppe 1	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Avanzini M.
Datum	Uhrzeit	Ort
Mi 21.10.2009	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Mi 28.10.2009	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Mi 04.11.2009	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Mi 11.11.2009	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Mi 18.11.2009	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Mi 25.11.2009	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Mi 02.12.2009	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Mi 09.12.2009	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Mi 16.12.2009	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Mi 13.01.2010	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Mi 20.01.2010	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Mi 27.01.2010	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Mi 03.02.2010	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Gruppe 2	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Thiemann R.
Datum	Uhrzeit	Ort
Mi 21.10.2009	14.15 - 16.00	SR 13 SR 13	Barrierefrei
Mi 28.10.2009	14.15 - 16.00	SR 13 SR 13	Barrierefrei
Mi 04.11.2009	14.15 - 16.00	SR 13 SR 13	Barrierefrei
Mi 11.11.2009	14.15 - 16.00	SR 13 SR 13	Barrierefrei
Mi 18.11.2009	14.15 - 16.00	SR 13 SR 13	Barrierefrei
Mi 25.11.2009	14.15 - 16.00	SR 13 SR 13	Barrierefrei
Mi 02.12.2009	14.15 - 16.00	SR 13 SR 13	Barrierefrei
Mi 09.12.2009	14.15 - 16.00	SR 13 SR 13	Barrierefrei
Mi 16.12.2009	14.15 - 16.00	SR 13 SR 13	Barrierefrei
Mi 13.01.2010	14.15 - 16.00	SR 13 SR 13	Barrierefrei
Mi 20.01.2010	14.15 - 16.00	SR 13 SR 13	Barrierefrei
Mi 27.01.2010	14.15 - 16.00	SR 13 SR 13	Barrierefrei
Mi 03.02.2010	14.15 - 16.00	SR 13 SR 13	Barrierefrei
Gruppe 3	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Schnabl A.
Datum	Uhrzeit	Ort
Mi 21.10.2009	14.15 - 16.00	HS 10 HS 10	Barrierefrei
Mi 28.10.2009	14.15 - 16.00	HS 10 HS 10	Barrierefrei
Mi 04.11.2009	14.15 - 16.00	HS 10 HS 10	Barrierefrei
Mi 11.11.2009	14.15 - 16.00	HS 10 HS 10	Barrierefrei
Mi 18.11.2009	14.15 - 16.00	HS 10 HS 10	Barrierefrei
Mi 25.11.2009	14.15 - 16.00	HS 10 HS 10	Barrierefrei
Mi 02.12.2009	14.15 - 16.00	HS 10 HS 10	Barrierefrei
Mi 09.12.2009	14.15 - 16.00	HS 10 HS 10	Barrierefrei
Mi 16.12.2009	14.15 - 16.00	HS 10 HS 10	Barrierefrei
Mi 13.01.2010	14.15 - 16.00	HS 10 HS 10	Barrierefrei
Mi 20.01.2010	14.15 - 16.00	HS 10 HS 10	Barrierefrei
Mi 27.01.2010	14.15 - 16.00	HS 10 HS 10	Barrierefrei
Mi 03.02.2010	14.15 - 16.00	HS 10 HS 10	Barrierefrei