Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Logout in [min] [minutetext]

Konzepte der Programmierung - Einzelansicht

  • Funktionen:
  • Druckversion
Grunddaten
Veranstaltungsart Pflichtvorl./Pflichtüb. Kurztext kdp_15s
Veranstaltungsnummer INF-12070-20151 Rhythmus jedes 2. Semester
Semester SS 2015 Studienjahr
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
SWS 5 Sprache deutsch
Credits 4
Hyperlink https://svn.uni-konstanz.de/dbis/inf2_15s/pub/
Termine: Vorlesung iCalendar Export
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export
Di. 15:15 bis 16:45 wöchentl. A - A 701 $lang.rollstuhl_gelb      
Einzeltermine ausblenden
iCalendar Export
Mi. 15:15 bis 16:45 wöchentl. R - R 513      
Einzeltermine:
  • 15.04.2015
  • 22.04.2015
  • 29.04.2015
  • 06.05.2015
  • 13.05.2015
  • 20.05.2015
  • 27.05.2015
  • 03.06.2015
  • 10.06.2015
  • 17.06.2015
  • 24.06.2015
  • 01.07.2015
  • 08.07.2015
  • 15.07.2015
  • 22.07.2015
  • 29.07.2015
  • 05.08.2015
  • 12.08.2015
  • 19.08.2015
  • 26.08.2015
  • 02.09.2015
  • 09.09.2015
  • 16.09.2015
  • 23.09.2015
  • 30.09.2015
Vorlesung:
 
 
Termine: Gruppe A iCalendar Export
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export
Do. 13:30 bis 15:00 wöchentl. E - E 404      
Gruppe A:
 
 
Termine: Gruppe B iCalendar Export
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export
Do. 17:00 bis 18:30 wöchentl. F - F 428      
Gruppe B:
 
 
Termine: Gruppe C iCalendar Export
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export
Fr. 08:15 bis 09:45 wöchentl. F - F 428      
Gruppe C:
 
 
Termine: Gruppe D iCalendar Export
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export
Fr. 10:00 bis 11:30 wöchentl. F - F 429      
Gruppe D:
 
 
Termine: Gruppe E iCalendar Export
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export
Fr. 11:45 bis 13:15 wöchentl. G - G 308      
Gruppe E:
 
 
Termine: Gruppe G iCalendar Export
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export
Fr. 15:15 bis 16:45 wöchentl. F - F 428      
Gruppe G:
 
 


Zugeordnete Lehrpersonen
Zugeordnete Lehrpersonen Zuständigkeit
Klinger, Stefan, Dr. verantwortlich
Wörteler, Leonard begleitend
Studiengänge
Abschluss Studiengang Semester Prüfungsversion
Informatik, BSc 1 - 2
Information Engineering, BSc 2 - 2
StudIS-Prüfungen / Module
Prüfungsnummer Prüfungstext
INF-12070 Konzepte der Programmierung
StudIS-Prüfungsorganisationssätze
Semester Termin Prüfer/-in Datum Beginn Dauer Raum Bemerkung Leistungsanmeldung Rücktritt bis StudIS-
Status
SS 2015 01 Klinger, Stefan , Dr.
Wörteler, Leonard
25.07.2015 14:00 A 600 01.06.2015 bis
13.07.2015
13.07.2015 StudIS-Prüfungsanmeldung beendet
SS 2015 02 Klinger, Stefan , Dr.
Wörteler, Leonard
12.10.2015 11:15 C 336 07.09.2015 bis
30.09.2015
30.09.2015 StudIS-Prüfungsanmeldung beendet
_______________
Nicht/noch nicht für die StudIS-Prüfungsanmeldung freigeschaltetNicht/noch nicht für die StudIS-Prüfungsanmeldung freigeschaltet
Für die StudIS-Prüfungsanmeldung freigeschaltet - Prüfungsanmeldung läuft noch nichtFür die StudIS-Prüfungsanmeldung freigeschaltet - Prüfungsanmeldung läuft noch nicht
Für die StudIS-Prüfungsanmeldung freigeschaltet - Prüfungsanmeldung läuft derzeitFür die StudIS-Prüfungsanmeldung freigeschaltet - Prüfungsanmeldung läuft derzeit
Anmeldezeitraum abgelaufen - Rücktritt noch möglichAnmeldezeitraum abgelaufen - Rücktritt noch möglich
StudIS-Prüfungsanmeldung beendetStudIS-Prüfungsanmeldung beendet
Zuordnung zu Einrichtungen
AG Scholl (Database and Information Systems)
FB Informatik und Informationswissenschaft
Inhalt
Voraussetzungen

keine

Leistungsnachweis

Leistungsnachweis: schriftliche Prüfung

erfolgreiche Teilnahme an den Übungen ist Voraussetzung für die Zulassung zur Prüfung

Note: die Note ergibt sich aus der Note der schriftlichen Prüfung

Lerninhalte Das Modul Informatik 2 besteht aus der Vorlesung “Konzepte der
Programmierung” und dem “Programmierkurs 2” (deklarative Sprache).

Kern des Moduls ist eine Einführung in deklarative Programmierung. Im
Unterschied zur imperativen Programmierung wird dabei durch den
Programmierer idealerweise nur vorgegeben, was berechnet werden soll,
aber nicht wie genau die Berechnung durchgeführt wird.

Am Beispiel der eine reine funktionalen Programmiersprache Haskell
soll dieses Konzept eingeführt werden. Dabei werden Konzepte wie
z.B. Seiteneffekte, Typsysteme, Auswertestrategien und Datenstrukturen
erläutert, und aus formaler Sicht betrachtet.

Mit einer Einführung in den lambda-Kalkül wird die einfachste formale
Grundlage fast aller Programmiersprachen vorgestellt, viele
Haskell-Konstrukte lassen sich leicht darauf zurückführen.

Vorlesungsbegleitend gibt der “Programmierkurs 2” eine praktische
Einführung in die Programmierung mit Haskell. Da Vorlesung und
Programmierkurs inhaltlich sehr eng verzahnt sind, werden die Übungen
zu beiden Veranstaltungen zusammengelegt.
Lernziel Absolventen haben ein grundlegendes Verständnis von
Programmierparadigmen und von funktionaler Programmierung. Sie sind
in der Lage, selbständig kleinere Projekte in Haskell zu definieren
und zu implementieren. Konzepte von Programmiersprachen sollen
bewusst gemacht werden.
Arbeitsaufwand

120 Stunden, davon 70 Stunden Präsenzstudium und 50 Stunden Eigenstudium.

Lehrmaterial
Links
Vorlesungsaufzeichnung

Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SS 2015 , Aktuelles Semester: SS 2017
STUDIS    Anzahl aktueller Nutzer/-innen: 15 Haben Sie Anregungen, Fragen, Lob oder Kritik zum LSF?
Dann schreiben Sie uns!
Impressum
Datenschutzerklärung