703020 Logik

Wintersemester 2007/2008 | Stand: 14.02.2008 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Dipl.-Ing. Andreas Schnabl
assoz. Prof. Dr. René Thiemann, +43 512 507 53234
Dr. Sarah Winkler

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 40

Link:

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

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Bachelorstudium Informatik

3. Semester

Logik

Lehramt

Informatik und Informatikmanagement

II. Studienabschnitt

Termine

Gruppe 1	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Winkler S.
Datum	Uhrzeit	Ort
Mi 10.10.2007	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Mi 17.10.2007	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Mi 24.10.2007	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Mi 31.10.2007	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Mi 07.11.2007	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Mi 14.11.2007	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Mi 21.11.2007	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Mi 28.11.2007	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Mi 05.12.2007	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Mi 12.12.2007	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Mi 09.01.2008	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Mi 16.01.2008	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Mi 23.01.2008	12.00 - 14.00	HS 10 HS 10	Barrierefrei
Gruppe 2	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Winkler S.
Datum	Uhrzeit	Ort
Mi 10.10.2007	14.00 - 16.00	HS 10 HS 10	Barrierefrei
Mi 17.10.2007	14.00 - 16.00	HS 10 HS 10	Barrierefrei
Mi 24.10.2007	14.00 - 16.00	HS 10 HS 10	Barrierefrei
Mi 31.10.2007	14.00 - 16.00	HS 10 HS 10	Barrierefrei
Mi 07.11.2007	14.00 - 16.00	HS 10 HS 10	Barrierefrei
Mi 14.11.2007	14.00 - 16.00	HS 10 HS 10	Barrierefrei
Mi 21.11.2007	14.00 - 16.00	HS 10 HS 10	Barrierefrei
Mi 28.11.2007	14.00 - 16.00	HS 10 HS 10	Barrierefrei
Mi 05.12.2007	14.00 - 16.00	HS 10 HS 10	Barrierefrei
Mi 12.12.2007	14.00 - 16.00	HS 10 HS 10	Barrierefrei
Mi 09.01.2008	14.00 - 16.00	HS 10 HS 10	Barrierefrei
Mi 16.01.2008	14.00 - 16.00	HS 10 HS 10	Barrierefrei
Mi 23.01.2008	14.00 - 16.00	HS 10 HS 10	Barrierefrei
Gruppe 3	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Thiemann R.
Datum	Uhrzeit	Ort
Mi 10.10.2007	12.00 - 14.00	HS 11 HS 11	Barrierefrei
Mi 17.10.2007	12.00 - 14.00	HS 11 HS 11	Barrierefrei
Mi 24.10.2007	12.00 - 14.00	HS 11 HS 11	Barrierefrei
Mi 31.10.2007	12.00 - 14.00	HS 11 HS 11	Barrierefrei
Mi 07.11.2007	12.00 - 14.00	HS 11 HS 11	Barrierefrei
Mi 14.11.2007	12.00 - 14.00	HS 11 HS 11	Barrierefrei
Mi 21.11.2007	12.00 - 14.00	HS 11 HS 11	Barrierefrei
Mi 28.11.2007	12.00 - 14.00	HS 11 HS 11	Barrierefrei
Mi 05.12.2007	12.00 - 14.00	HS 11 HS 11	Barrierefrei
Mi 12.12.2007	12.00 - 14.00	HS 11 HS 11	Barrierefrei
Mi 09.01.2008	12.00 - 14.00	HS 11 HS 11	Barrierefrei
Mi 16.01.2008	12.00 - 14.00	HS 11 HS 11	Barrierefrei
Mi 23.01.2008	12.00 - 14.00	HS 11 HS 11	Barrierefrei
Gruppe 4	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Schnabl A.
Datum	Uhrzeit	Ort
Mi 10.10.2007	14.00 - 16.00	HS 11 HS 11	Barrierefrei
Mi 17.10.2007	14.00 - 16.00	HS 11 HS 11	Barrierefrei
Mi 24.10.2007	14.00 - 16.00	HS 11 HS 11	Barrierefrei
Mi 31.10.2007	14.00 - 16.00	HS 11 HS 11	Barrierefrei
Mi 07.11.2007	14.00 - 16.00	HS 11 HS 11	Barrierefrei
Mi 14.11.2007	14.00 - 16.00	HS 11 HS 11	Barrierefrei
Mi 21.11.2007	14.00 - 16.00	HS 11 HS 11	Barrierefrei
Mi 28.11.2007	14.00 - 16.00	HS 11 HS 11	Barrierefrei
Mi 05.12.2007	14.00 - 16.00	HS 11 HS 11	Barrierefrei
Mi 12.12.2007	14.00 - 16.00	HS 11 HS 11	Barrierefrei
Mi 09.01.2008	14.00 - 16.00	HS 11 HS 11	Barrierefrei
Mi 16.01.2008	14.00 - 16.00	HS 11 HS 11	Barrierefrei
Mi 23.01.2008	14.00 - 16.00	HS 11 HS 11	Barrierefrei