703027 Logik

Wintersemester 2014/2015 | Stand: 26.05.2015 | LV auf Merkliste setzen

Institut:

Lektor/in/n/en:

Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
Julian Nagele, MSc
Yann Pierre Savoye, PhD
Priv.-Doz. Dr. Harald Zankl

LV-Nummer:

703027

Titel:

Logik

Typ/Stunden:

PS 2

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Deutsch

Lernergebnis:

Absolventinnen und Absolventen dieses Moduls verstehen die Inhalte der Vorlesung und können diese wiedergeben und anwenden. Sie haben die Fertigkeit erworben, sich ähnliche Inhalte selbst zu erarbeiten. Sie verstehen Logik-Kalküle und können sie anwenden. Darüber hinaus sind sie in der Lage zu abstrahieren und komplexe Probleme in formalen Kalkülen zu modellieren.

Inhalt:

Diskussion, Vertiefung und Übung der Inhalte der Vorlesung; Übung im wissenschaftlichen Argumentieren und im Präsentieren von Themen aus der Logik

Methoden:

Wöchentliche Übungsaufgaben, die im Proseminar von den Studierenden präsentiert und diskutiert werden

Prüfungsmodus:

Prüfungsimmanente Lehrveranstaltung

Literatur:

Michael Huth and Mark Ryan
Logic in Computer Science (second edition)
Cambridge University Press, 2004
ISBN 0-521-54310-X (paperback)

Folien sowie Lösungen zu ausgewählten Aufgaben werden online zur Verfügung gestellt.

Link:

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

Beginn:

09.10.2014

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Lehramtsstudium (laut Stand vom 8.6.2011)

Informatik und Informatikmanagement

II. Studienabschnitt

Bachelorstudium Informatik nach dem Curriculum 2007 (180 ECTS-AP, 6 Semester)

3. Semester

Pflichtmodul 14: Logik (7,5 ECTS-AP, 5 SSt.)

Termine

Gruppe 1	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Middeldorp A.
Datum	Uhrzeit	Ort
Do 02.10.2014	10.15 - 12.00	HS 10 HS 10	Barrierefrei
Do 09.10.2014	10.15 - 12.00	HS 10 HS 10	Barrierefrei
Do 16.10.2014	10.15 - 12.00	HS 10 HS 10	Barrierefrei
Do 23.10.2014	10.15 - 12.00	HS 10 HS 10	Barrierefrei
Do 30.10.2014	10.15 - 12.00	HS 10 HS 10	Barrierefrei
Do 06.11.2014	10.15 - 12.00	HS 10 HS 10	Barrierefrei
Do 13.11.2014	10.15 - 12.00	HS 10 HS 10	Barrierefrei
Do 20.11.2014	10.15 - 12.00	HS 10 HS 10	Barrierefrei
Do 27.11.2014	10.15 - 12.00	HS 10 HS 10	Barrierefrei
Do 04.12.2014	10.15 - 12.00	HS 10 HS 10	Barrierefrei
Do 11.12.2014	10.15 - 12.00	HS 10 HS 10	Barrierefrei
Do 08.01.2015	10.15 - 12.00	HS 10 HS 10	Barrierefrei
Do 15.01.2015	10.15 - 12.00	HS 10 HS 10	Barrierefrei
Do 22.01.2015	10.15 - 12.00	HS 10 HS 10	Barrierefrei
Do 29.01.2015	10.15 - 12.00	HS 10 HS 10	Barrierefrei
Gruppe 2	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Zankl H.
Datum	Uhrzeit	Ort
Do 02.10.2014	10.15 - 12.00	HSB 4 HSB 4	Barrierefrei
Do 09.10.2014	10.15 - 12.00	HSB 4 HSB 4	Barrierefrei
Do 16.10.2014	10.15 - 12.00	HSB 4 HSB 4	Barrierefrei
Do 23.10.2014	10.15 - 12.00	HSB 4 HSB 4	Barrierefrei
Do 30.10.2014	10.15 - 12.00	HSB 4 HSB 4	Barrierefrei
Do 06.11.2014	10.15 - 12.00	HSB 4 HSB 4	Barrierefrei
Do 13.11.2014	10.15 - 12.00	HSB 4 HSB 4	Barrierefrei
Do 20.11.2014	10.15 - 12.00	HSB 4 HSB 4	Barrierefrei
Do 27.11.2014	10.15 - 12.00	HSB 4 HSB 4	Barrierefrei
Do 04.12.2014	10.15 - 12.00	HSB 4 HSB 4	Barrierefrei
Do 11.12.2014	10.15 - 12.00	HSB 4 HSB 4	Barrierefrei
Do 08.01.2015	10.15 - 12.00	HSB 4 HSB 4	Barrierefrei
Do 15.01.2015	10.15 - 12.00	HS E (Technik) HS E (Technik)	Barrierefrei
Do 22.01.2015	10.15 - 12.00	HS E (Technik) HS E (Technik)	Barrierefrei
Do 29.01.2015	10.15 - 12.00	HS E (Technik) HS E (Technik)	Barrierefrei
Gruppe 3	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Savoye Y.
Datum	Uhrzeit	Ort
Do 02.10.2014	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Do 09.10.2014	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Do 16.10.2014	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Do 23.10.2014	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Do 30.10.2014	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Do 06.11.2014	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Do 13.11.2014	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Do 20.11.2014	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Di 25.11.2014	08.15 - 10.00	rr 15 rr 15	Barrierefrei
Do 04.12.2014	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Do 11.12.2014	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Do 08.01.2015	12.15 - 14.00	HSB 5 HSB 5	Barrierefrei
Do 15.01.2015	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Do 22.01.2015	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Do 29.01.2015	12.15 - 14.00	HS 10 HS 10	Barrierefrei
Gruppe 4	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Nagele J.
Datum	Uhrzeit	Ort
Do 02.10.2014	10.15 - 12.00	SR 13 SR 13	Barrierefrei
Do 09.10.2014	10.15 - 12.00	Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude)	Barrierefrei
Do 16.10.2014	10.15 - 12.00	SR 13 SR 13	Barrierefrei
Do 23.10.2014	10.15 - 12.00	SR 13 SR 13	Barrierefrei
Do 30.10.2014	10.15 - 12.00	SR 13 SR 13	Barrierefrei
Do 06.11.2014	10.15 - 12.00	SR 13 SR 13	Barrierefrei
Do 13.11.2014	10.15 - 12.00	SR 13 SR 13	Barrierefrei
Do 20.11.2014	10.15 - 12.00	SR 13 SR 13	Barrierefrei
Do 27.11.2014	10.15 - 12.00	SR 13 SR 13	Barrierefrei
Do 04.12.2014	10.15 - 12.00	SR 13 SR 13	Barrierefrei
Do 11.12.2014	10.15 - 12.00	SR 13 SR 13	Barrierefrei
Do 08.01.2015	10.15 - 12.00	SR 13 SR 13	Barrierefrei
Do 15.01.2015	10.15 - 12.00	SR 13 SR 13	Barrierefrei
Do 22.01.2015	10.15 - 12.00	SR 13 SR 13	Barrierefrei
Do 29.01.2015	10.15 - 12.00	SR 13 SR 13	Barrierefrei