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 SA-2021

    Titel

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

    Zeitplan und Räume

    Vorlesungszeiten Freitag 14:15 - 18:00, Wöchentlich, PER 21, Raum G120
    Strukturpläne 2+2h par semaine durant 14 semaines
    Kontaktstunden 56

    Unterricht

    Verantwortliche
    Dozenten-innen
    Assistenten
    Beschreibung La première partie du cours est consacrée au langage Haskell et à 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.

    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
    24.09.2021 14:15 - 18:00 Kurs PER 21, Raum G120
    01.10.2021 14:15 - 18:00 Kurs PER 21, Raum G120
    08.10.2021 14:15 - 18:00 Kurs PER 21, Raum G120
    15.10.2021 14:15 - 18:00 Kurs PER 21, Raum G120
    22.10.2021 14:15 - 18:00 Kurs PER 21, Raum G120
    29.10.2021 14:15 - 18:00 Kurs PER 21, Raum G120
    05.11.2021 14:15 - 18:00 Kurs PER 21, Raum G120
    12.11.2021 14:15 - 18:00 Kurs PER 21, Raum G120
    19.11.2021 14:15 - 18:00 Kurs PER 21, Raum G120
    26.11.2021 14:15 - 18:00 Kurs PER 21, Raum G120
    03.12.2021 14:15 - 18:00 Kurs PER 21, Raum G120
    10.12.2021 14:15 - 18:00 Kurs PER 21, Raum G120
    17.12.2021 14:15 - 18:00 Kurs PER 21, Raum G120
    24.12.2021 14:15 - 18:00 Kurs PER 21, Raum G120
  • Leistungskontrolle

    Schriftliche Prüfung - SA-2021, Wintersession 2022

    Bewertungsmodus Nach Note
    Beschreibung Selon modalité A de l'annexe du plan d'études en informatique
  • 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: 2021_1/V_01
    BSc in Informatik, Hauptfach, 2.-3. Jahr > Informatik 2. und 3. Jahr, Obligatorische UE (ab HS2021)

    Informatik 30
    Version: 2020_1/V_01
    Zusatzfach in Informatik 30 > Informatik Nebenfach 30 oder 60 ECTS zur Wahl (ab HS2019)

    Informatik 60
    Version: 2020_1/V_01
    Zusatzfach in Informatik 60 > Informatik Nebenfach 30 oder 60 ECTS zur Wahl (ab HS2019)

    Informatik 50 [BSc/BA SI]
    Version: 2020_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: 2021_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: 2020_1/V_01
    Vorstufe zum MSc in Bioinformtics and Computational Biology > Fortgeschrittene UE in Informatik (Niveau Bachelor)

    Vorstufe zum MSc in Informatik [PRE-MA]
    Version: 2020_1/V_01
    Vorstufe zum MSc in Informatik > Fortgeschrittene UE in Informatik (Niveau Bachelor)

    Zusatz LDM Informatik
    Version: 2020_1/V_01
    Zusatzfach LDS 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: 2020_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: 2020_1/V_01
    Zusatz zum MSc in Informatik > Fortgeschrittene UE in Informatik (Niveau Bachelor)

    Zusatz zum MSc in Computer Science [MA]
    Version: 2018_1/V_01
    Zusatz zum MSc in Informatik > Fortgeschrittene UE in Informatik (Niveau Bachelor)