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 
  1. SoSe 2023
  2. Hilfe
  3. Sitemap
Switch to english language
Startseite    Anmelden     
Logout in [min] [minutetext]
Veranstaltungen      Räume und Gebäude      Personen     
Sie sind hier: Startseite

Lambda-Kalkül und Funktionale Programmiersprachen - Einzelansicht

Grunddaten
Veranstaltungsart V/Ü Langtext
Veranstaltungsnummer 100121 Kurztext
Semester WiSe 2022/23 SWS 4
Erwartete Teilnehmer/-innen 30 Studienjahr
Max. Teilnehmer/-innen
Credits 6 Belegung Belegpflicht
Hyperlink https://sso.uni-muenster.de/LearnWeb/learnweb2/course/view.php?id=64152
Sprache deutsch
Termine Gruppe: [unbenannt] iCalendar Export für Outlook
  Tag Zeit Rhythmus Dauer Raum Raum-
plan		 Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
iCalendar Export für Outlook Mo. 08:00 bis 10:00 woch bis 23.01.2023  Einsteinstr. 64 - M B 6 (M 6)        
iCalendar Export für Outlook Do. 08:00 bis 10:00 woch bis 26.01.2023  Einsteinstr. 64 - M B 6 (M 6)        
Gruppe [unbenannt]:
jetzt belegen / abmelden
 


Zugeordnete Personen
Zugeordnete Personen Zuständigkeit
Lammers, Dietmar, Dr. verantwort
Niehage, Mathis verantwort
Studiengänge
Abschluss - Studiengang Sem ECTS Bereich Teilgebiet
Bachelor - Informatik (82 079 7) - 6
Master - Informatik (88 079 8) - 6
Bachelor - Informatik (82 079 11) - 6
Master - Mathematik (88 105 10) -
Zwei-Fach-Bachelor - Informatik (L2 079 11) -
Master - Mathematik (88 105 13) -
Master - Informatik (88 079 14) -
Master - Informatik (88 079 20) -
Master - Mathematics (88 F23 20) -
MEd Gymnasien u Gesamt - Informatik (E3 079 19) -
Prüfungen / Module
Prüfungsnummer Modul
402005 Veranstaltung - Master Mathematik Version 2010
14101 Vorlesung - MEd Gymnasien u Gesamt Informatik Version 2019
14102 Übungen zur gewählten Vorlesung - MEd Gymnasien u Gesamt Informatik Version 2019
13101 Vorlesung 1 - MEd Gymnasien u Gesamt Informatik Version 2019
13102 Übungen zur gewählten Vorlesung 1 - MEd Gymnasien u Gesamt Informatik Version 2019
13103 Vorlesung 2 - MEd Gymnasien u Gesamt Informatik Version 2019
13104 Übungen zur gewählten Vorlesung 2 - MEd Gymnasien u Gesamt Informatik Version 2019
430002 Übungen zu "Lambda-Kalkül und funktionale Sprachen " - Master Mathematics Version 2020
430001 Lambda-Kalkül und funktionale Sprachen - Master Mathematics Version 2020
22002 Übungen zu "Lambda-Kalkül und funktionale Sprachen " - Master Informatik Version 2020
22001 Lambda-Kalkül und funktionale Sprachen - Master Informatik Version 2020
2007001 Vorlesung Lambda-Kalkül und funktionale Sprachen (mit integrierter Übung) - Master Mathematik Version 2013
18001 Vorlesungen aus dem Vorlesungsangebot der Informatik 1 - Bachelor Informatik Version 2011
20001 Vorlesung Lambda-Kalkül und funktionale Sprachen (mit integrierter Übung) - Master Informatik Version 2014
17001 Vorlesungen aus dem Vorlesungsangebot der Informatik 1 - Bachelor Informatik Version 2011
16001 eine Vorlesung oder eine Vorlesung mit Übungen aus dem Wahlpflicht-Vorlesungsangebot des Instituts für Informatik - Zwei-Fach-Bachelor Informatik Version 2011
16010 Modulabschlussprüfung - Zwei-Fach-Bachelor Informatik Version 2011
Zuordnung zu Einrichtungen
Fachbereich 10 Mathematik und Informatik
Inhalt
Kommentar

Geplant sind Präsenz-Vorlesung und -Übungen, ggf. kann der Kurs aber auch hybrid oder nur online stattfinden. Aktuelle Informationen entnehmen Sie bitte dem Lernweb-Kurs.

 

Der Lambda-Kalkül ist eng mit dem Berechenbarkeitsbegriff verbunden, zeigt aber - im Gegensatz etwa zu Turing-Maschinen - deutlich mehr praktische Anwendungen.

Wir interessieren uns für den Kalkül als solches und den Zusammenhang mit funktionalen Programmiersprachen sowie der kombinatorischen Logik.
Literatur
  • Chris Hankin, Lambda Calculi - A Guide For Computer Scientists
  • H. P. Barendregt, The Lambda Calculus, Its Syntax and Semantics
  • W.-M. Lippe, Funktionale und applikative Programmierung
Leistungsnachweis

Durch aktive Teilnahme an den Übungen und bestehen der Klausur (ggf. mündl. Prüfung) werden 6 CPs erworben.

Anrechenbarkeit:

  • im Masterstudiengang Informatik im Modul "Formale Methoden und Algorithmik" oder im Spezialisierungsmodul
  • im Bachelor-Studiengang Informatik (PO vor 2014) im Wahlbereich
  • in Master of Education Informatik im fachwissenschaftlichen Aufbaumodul

Zur Verwendung in den Lehramtsstudiengängen beachten Sie bitte die entsprechenden Aushänge oder sprechen Sie den Dozenten an.

Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2022/23 , Aktuelles Semester: SoSe 2023
Impressum | Datenschutzerklärung | Erklärung zur Barrierefreiheit