Moses - Methodische und Praktische Grundlagen der Informatik 1 (Algorithmische und funktionale Lösung diskreter Probleme)

Modul / Version
#40560 / #2

Gültigkeit
SS 2016 - WS 2019/20

Verfügbare Sprache(n)
Deutsch

Titel des Moduls
Methodische und Praktische Grundlagen der Informatik 1 (Algorithmische und funktionale Lösung diskreter Probleme)

Leistungspunkte
9

Modulverantwortliche*r
Glesner, Sabine

Benotung
Benotet

Prüfungsform
Schriftliche Prüfung

Lehrsprache(n)
Deutsch

Zugehörigkeit

Fakultät
Fakultät IV

Institut
Institut für Softwaretechnik und Theoretische Informatik

Fachgebiet
34351800 FG Software and Embedded Systems Engineering (SESE)

Prüfungsausschuss
Keine Angabe

Kontakt

Sekretariat
TEL 12-2

Ansprechpartner*in
Bohlen, Johanna

E-Mail-Adresse
sabine.glesner@tu-berlin.de

Webseite

http://www.uebb.tu-berlin.de

Diese Modulbeschreibung gilt nicht im aktuellen Semester.

Die Modulbeschreibung gilt nur für den Zeitraum SS 2016 - WS 2019/20.

Lernergebnisse

Absolventinnen und Absolventen dieses Moduls beherrschen den sicheren Umgang mit Programmierumgebungen auf Arbeitsplatzrechnern; beherrschen die Technik und Methodik der Funktionalen Programmierung und haben ein Verständnis grundlegender Datentypen sowie der Verfahren von Aufwandsabschätzungen und Korrektheitsbeweise. Sie besitzen die Fertigkeit in Argumentation und formaler Darstellung von Lösungen ausgewählter Probleme.

Lehrinhalte

Funktionales Programmieren und Werkzeuggebrauch Konzepte und Aufbau der verwendeten funktionalen Programmiersprache Elemente funktionaler Programmierung (Parameter, Auswahl, Rekursion, Modularisierung,...) Funktionsdefinition, Rekursion und höhere Ordnungen Syntax, Semantik, Pragmatik, lexikalische und syntaktische Analyse (nur in Grundzügen) Typisierung, Basistypen, Typkonstruktionsmechanismen, Generizität Wertorientierung versus Zustandorientierung Spezifikation und Dokumentation Grundlegende Datentypen und darauf definierte Algorithmen Funktionale Lösung ausgewählter Probleme Algorithmische Lösungen mit Aufwandsabschätzung Terminationsbedingungen für funktionale Programme Datentypen: Zahlen, Wörter, Listen und Bäume Probleme: Arithmetik, Suchen, Sortieren und Traversieren

Modulbestandteile

Pflichtbereich

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

Lehrveranstaltungen	Art	Nummer	Turnus	Sprache	SWS	ISIS	VVZ
Algorithmische und funktionale Lösung diskreter Probleme	VL	0401 L 205	WiSe	de	4
Algorithmische und funktionale Lösung diskreter Probleme	IV	0401 L 205	WiSe	de	1

ISIS-Kurssuche nach Veranstaltungen des Moduls

Arbeitsaufwand und Leistungspunkte

Algorithmische und funktionale Lösung diskreter Probleme (VL):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Präsenzzeit	15.0	4.0h	60.0h
Vor-/Nachbearbeitung	15.0	2.0h	30.0h
			90.0h(~3 LP)

Algorithmische und funktionale Lösung diskreter Probleme (IV):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Hausaufgaben	15.0	5.0h	75.0h
Präsenzzeit	15.0	2.0h	30.0h
Vor-/Nachbearbeitung	15.0	3.0h	45.0h
			150.0h(~5 LP)

Lehrveranstaltungsunabhängiger Aufwand:

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Klausur	1.0	30.0h	30.0h
			30.0h(~1 LP)

Der Aufwand des Moduls summiert sich zu 270.0 Stunden. Damit umfasst das Modul 9 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

Das Modul wird in Form von Vorlesungen, Integrierten Veranstaltungen in Kleingruppen (Tutorien) und betreuter Rechnerzeit abgehalten. Die zu vermittelnden Inhalte werden anhand einer funktionalen Programmiersprache konzeptuell und praktisch vermittelt. Zusätzlich werden Lösungen in Kleingruppen selbstständig erarbeitet.

Voraussetzungen für die Teilnahme / Prüfung

Wünschenswerte Voraussetzungen für die Teilnahme an den Lehrveranstaltungen:

Dieses Modul hat keine wünschenswerten Voraussetzungen für die Lehrveranstaltungen.

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Dieses Modul hat keine Prüfungsvoraussetzungen.

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Schriftliche Prüfung

Sprache(n)

Deutsch

Dauer/Umfang

Keine Angabe

Prüfungsbeschreibung (Abschluss des Moduls)

Prüfungsform: Schriftliche Prüfung (90-minütige Klausur am Ende des Semesters); Prüfungsvorraussetzung: Unbenoteter Übungsschein.

Dauer des Moduls

Für Belegung und Abschluss des Moduls ist folgende Semesteranzahl veranschlagt:
1 Semester.

Dieses Modul kann in folgenden Semestern begonnen werden:
Wintersemester.

Maximale teilnehmende Personen

Dieses Modul ist nicht auf eine Anzahl Studierender begrenzt.

Anmeldeformalitäten

Anmeldung zu den Tutorien erfolgt über MOSES.

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit: nicht verfügbar

Skript in elektronischer Form

Verfügbarkeit: verfügbar

Zusätzliche Informationen:
Folien werden auf der ISIS-Kursseite veröffentlicht.

Literatur

Empfohlene Literatur
Abelson, H., Sussmann, G.J.: Struktur und Interpretation von Computerprogrammen, dritte Auflage, 1998.
Bird, R., Wadler, P.: Einführung in die funktionale Programmierung, Carl Hanser Verlag, 1992.
Cormen, Th.H.; Leiserson, Ch. E.; Rivest, R.L.; Stein, C.: Introduction to Algorithms, 2nd ed., MIT Press/McGraw-Hill, 2001
Pepper, P.: Funktionale Programmierung in OPAL, ML, HASKELL und GOFER, zweite Auflage, 2003.
Pepper, P.: Grundlagen der Informatik, Oldenburg, 1992.

Zugeordnete Studiengänge

Semester:

Zeige auch ausgelaufene Studiengänge und StuPOs

Diese Modulversion wird in folgenden Studiengängen verwendet:

	Studiengang / StuPO	StuPOs	Verwendungen	Erste Verwendung	Letzte Verwendung
Dieses Modul findet in keinem Studiengang Verwendung.

Studierende anderer Studiengänge können dieses Modul ohne Kapazitätsprüfung belegen.

Sonstiges

Keine Angabe