Programmation fonctionnelle et logique

  • Enseignement

    Détails

    Faculté Faculté des sciences et de médecine
    Domaine Informatique
    Code UE-SIN.05020
    Langues Français
    Type d'enseignement Cours
    Cursus Bachelor
    Semestre(s) SA-2020

    Titre

    Français Programmation fonctionnelle et logique
    Allemand Funktionale und logische Programmierung
    Anglais Functional and logical programming

    Horaires et salles

    Horaire résumé Vendredi 14:15 - 18:00, Hebdomadaire, PER 17, salle 001
    Struct. des horaires 2+2h par semaine durant 14 semaines
    Heures de contact 56

    Enseignement

    Responsables
    Enseignants
    Assistants
    Description 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.
    Objectifs de formation Le but de ce cours est d'introduire les fondements de la programmation fonctionnelle et de la programmation logique.
    Commentaire

    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.

    Softskills
    Non
    Hors domaine
    Non
    BeNeFri
    Oui
    Mobilité
    Oui
    UniPop
    Non
  • Dates et salles
    Date Heure Type d'enseignement Lieu
    18.09.2020 14:15 - 18:00 Cours PER 17, salle 001
    25.09.2020 14:15 - 18:00 Cours PER 17, salle 001
    02.10.2020 14:15 - 18:00 Cours PER 17, salle 001
    09.10.2020 14:15 - 18:00 Cours PER 17, salle 001
    16.10.2020 14:15 - 18:00 Cours PER 17, salle 001
    23.10.2020 14:15 - 18:00 Cours PER 17, salle 001
    30.10.2020 14:15 - 18:00 Cours PER 17, salle 001
    06.11.2020 14:15 - 18:00 Cours PER 17, salle 001
    13.11.2020 14:15 - 18:00 Cours PER 17, salle 001
    20.11.2020 14:15 - 18:00 Cours PER 17, salle 001
    27.11.2020 14:15 - 18:00 Cours PER 17, salle 001
    04.12.2020 14:15 - 18:00 Cours PER 17, salle 001
    11.12.2020 14:15 - 18:00 Cours PER 17, salle 001
    18.12.2020 14:15 - 18:00 Cours PER 17, salle 001
  • Modalités d'évaluation

    Examen écrit

    Mode d'évaluation Par note
    Description Selon modalité A de l'annexe du plan d'études en informatique
  • Affiliation
    Valable pour les plans d'études suivants:
    Complément DEEM en informatique
    Version: 2020_1/V_01
    Complément DEEM pour Informatique 60 ou +30 > Programmes 60 ou +30 > Complément au programme Informatique 60 > Complément DEEM pour Informatique 60 (dès SA2020)

    Complément au MSc in Bioinformatics and Computational Biology [MA]
    Version: 2020_1/V_01
    Complément au MSc in Bioinformatics and Computational Biology > UE avancées en Informatique (niveau bachelor)

    Complément au MSc in Computer Science [MA]
    Version: 2020_1/V_01
    Complément au MSc en informatique > UE avancées en Informatique (niveau bachelor)

    Complément au MSc in Computer Science [MA]
    Version: 2018_1/V_01
    Complément au MSc en informatique > UE avancées en Informatique (niveau bachelor)

    Enseignement complémentaire en sciences
    Version: ens_compl_sciences
    Paquet indépendant des branches > UE avancées en Informatique (niveau bachelor)

    Informatique 120
    Version: 2020_1/V_01
    BSc en informatique, branche principale, 2-3ème années > Informatique 2e et 3e année, UE obligatoires (dès SA2019)

    Informatique 30
    Version: 2020_1/V_01
    Branche complémentaire en informatique 30 > Informatique br. compl. 30 ou 60 ECTS à choix (dès SA2019)

    Informatique 60
    Version: 2020_1/V_01
    Branche complémentaire en informatique 60 > Informatique br. compl. 30 ou 60 ECTS à choix (dès SA2019)

    Informatique 50 [BSc/BA SI]
    Version: 2020_1/V_01
    BSc_SI/BA_SI, Informatique 50 ECTS, 1-3ème années > BSc_SI/BA_SI, Informatique, 2-3ème années, UE à choix pour 50 ECTS (dès SA2020)

    Informatique [3e cycle]
    Version: 2015_1/V_01
    Complément aux études doctorales en informatique > UE avancées en Informatique (niveau bachelor)

    Informatique [DEEM] 60
    Version: 2020_1/V_01
    Branche complémentaire en informatique (DEEM) 60 > Informatique branche complémentaire DEEM 60 ECTS à choix (dès SA2019)

    Informatique de gestion 180 ECTS [BA]
    Version: 2020/SA_V01
    3ème année 60 ECTS > Cours de 3ème année > Cours à choix min. 14 ECTS > Cours à choix - Type A > Programmation fonctionnelle et logique

    Préalable au Bioinformatique et biologie computationnelle [PRE-MA]
    Version: 2020_1/V_01
    Préalable au MSc in Bioinformtics and Computational Biology > UE avancées en Informatique (niveau bachelor)