Programmation fonctionnelle et logique

  • Unterricht

    Details

    Fakultät Math.-Nat. und Med. Fakultät
    Bereich Informatik
    Code UE-SIN.05020
    Sprachen Französisch
    Art der Unterrichtseinheit Vorlesung
    Kursus Bachelor
    Semester HS-2024

    Titel

    Französisch Programmation fonctionnelle et logique
    Deutsch Funktionale und logische Programmierung
    Englisch Functional and logical programming

    Zeitplan und Räume

    Vorlesungszeiten Freitag 13:15 - 17:00, Wöchentlich, PER 21, Raum E130 (Herbstsemester)
    Strukturpläne 2+2h par semaine durant 14 semaines
    Kontaktstunden
    		56

    Unterricht

    Verantwortliche
    • Lalanne Denis
    Dozenten-innen
    • Luggen Michael
    Assistenten
    • Martignoni Augustin
    Beschreibung

    La première partie du cours est consacrée à la programmation fonctionnelle qui vise à exprimer tout programme en terme de fonctions mathématiques. Les concepts de base de ce style de programmation, que sont les fonctions, la récursivité, les fonctions d'ordre supérieur et les fonctions anonymes, seront abordés et illustrés par des exercices pratiques avec la langage Elixir.
    La seconde partie du cours est consacrée au langage Prolog qui est le principal représentant du paradigme de la programmation logique. Ce style de programmation inspiré de la logique du premier ordre conçoit tout programme comme un ensemble de faits et de règles (clauses de Horn) décrivant la solution d'un problème. Outre l'étude des concepts de base de ce langage, cette seconde partie du cours sera également l'occasion d'introduire la programmation par contrainte (CSP) et l'analyse syntaxique (DCG), deux thèmes pour lesquels Prolog est particulièrement adapté.

    Chacune des deux parties sera accompagnée sur toute sa durée d'un mini-projet.
    Lernziele Le but de ce cours est d'introduire les fondements de la programmation fonctionnelle et de la programmation logique.
    Bemerkungen

    Les unités d’enseignement se composent généralement de deux heures de cours et deux heures d’exercices par semaine. Nous vous prions de bien vouloir vous conformer aux délais d’inscriptions aux épreuves de la Faculté des sciences et de médecine.
    Soft Skills Nein
    ausserhalb des Bereichs Nein
    BeNeFri Ja
    Mobilität Ja
    UniPop Nein
  • Einzeltermine und Räume
    Datum Zeit Art der Unterrichtseinheit Ort
    20.09.2024 13:15 - 17:00 Kurs PER 21, Raum E130
    27.09.2024 13:15 - 17:00 Kurs PER 21, Raum E130
    04.10.2024 13:15 - 17:00 Kurs PER 21, Raum E130
    11.10.2024 13:15 - 17:00 Kurs PER 21, Raum E130
    18.10.2024 13:15 - 17:00 Kurs PER 21, Raum E130
    25.10.2024 13:15 - 17:00 Kurs PER 21, Raum E130
    08.11.2024 13:15 - 17:00 Kurs PER 21, Raum E130
    22.11.2024 13:15 - 17:00 Kurs PER 21, Raum E130
    29.11.2024 13:15 - 17:00 Kurs PER 21, Raum E130
    06.12.2024 13:15 - 17:00 Kurs PER 21, Raum E130
    13.12.2024 13:15 - 17:00 Kurs PER 21, Raum E130
    20.12.2024 13:15 - 17:00 Kurs PER 21, Raum E130
  • Leistungskontrolle

    Schriftliche Prüfung - HS-2024, Wintersession 2025

    Datum 31.01.2025 14:00 - 16:00
    Bewertungsmodus Nach Note
    Beschreibung Selon modalité A de l'annexe du plan d'études en informatique
    Bemerkung

    Open book exam
  • Zuordnung
    Zählt für die folgenden Studienpläne:
    Ba - Wirtschaftsinformatik - 180 ECTS
    Version: 2020-SA_V02
    3. Studienjahr 60 ECTS > Kurse im 3. Jahr > Wahlkurse min. 14 ECTS > Wahlkurse - Typus A > Programmation fonctionnelle et logique
    Ergänzende Lehrveranstaltungen in Naturwissenschaften
    Version: ens_compl_sciences
    Paquet indépendant des branches > Fortgeschrittene UE in Informatik (Niveau Bachelor)
    Informatik 120
    Version: 2022_1/V_01
    BSc in Informatik, Hauptfach, 2.-3. Jahr > Informatik 2. und 3. Jahr, Obligatorische UE (ab HS2021)
    Informatik 30
    Version: 2022_1/V_01
    Zusatzfach in Informatik 30 > Informatik Nebenfach 30 oder 60 ECTS zur Wahl (ab HS2019)
    Informatik 60
    Version: 2022_1/V_01
    Zusatzfach in Informatik 60 > Informatik Nebenfach 30 oder 60 ECTS zur Wahl (ab HS2019)
    Informatik 50 [BSc/BA SI]
    Version: 2022_1/V_01
    BSc_SI/BA_SI, Informatik 50 ECTS, 1.-3. Jahre > BSc_SI/BA_SI, Informatik, 2-3. Jahr, UE zur Wahl für 50 ECTS (ab HS2020)
    Informatik [3e cycle]
    Version: 2015_1/V_01
    Weiterbildung > Fortgeschrittene UE in Informatik (Niveau Bachelor)
    Informatik [LDM] 60
    Version: 2022_1/V_01
    Zusatzfach in Informatik (LDS) 60 > Informatik Nebenfach LDM 60 ECTS zur Wahl (ab HS2021)
    Informatik [POST-DOC]
    Version: 2015_1/V_01
    Weiterbildung > Fortgeschrittene UE in Informatik (Niveau Bachelor)
    Vorstufe zum MSc in Bioinformatik und computationale Biologie [PRE-MA]
    Version: 2022_1/V_01
    Vorstufe zum MSc in Bioinformatics and Computational Biology > Fortgeschrittene UE in Informatik (Niveau Bachelor)
    Vorstufe zum MSc in Digitale Neurowissenschaft [PRE-MA]
    Version: 2023_1/V_01
    Vorstufe zum MSc in Digitale Neurowissenschaft > Fortgeschrittene UE in Informatik (Niveau Bachelor)
    Vorstufe zum MSc in Informatik [PRE-MA]
    Version: 2022_1/V_01
    Vorstufe zum MSc in Informatik > Fortgeschrittene UE in Informatik (Niveau Bachelor)
    Zusatz LDM Informatik
    Version: 2022_1/V_01
    Zusatzfach LDM für Informatik 60 oder +30 > Programm 60 oder +30 > Zusatz zum Programm Informatik 60 > Zusatz LDM für Informatik 60 (ab HS2020)
    Zusatz zum MSc in Bioinformatics and Computational Biology [MA]
    Version: 2022_1/V_01
    Zusatz zum MSc in Bioinformatics and Computational Biology > Fortgeschrittene UE in Informatik (Niveau Bachelor)
    Zusatz zum MSc in Computer Science [MA]
    Version: 2022_1/V_01
    Zusatz zum MSc in Informatik > Fortgeschrittene UE in Informatik (Niveau Bachelor)
    Zusatz zum MSc in Digitale Neurowissenschaft [MA]
    Version: 2023_1/V_01
    Zusatz zum MSc in Informatik > Fortgeschrittene UE in Informatik (Niveau Bachelor)