Programmation fonctionnelle et logique

  • Teaching

    Details

    Faculty Faculty of Science and Medicine
    Domain Computer Science
    Code UE-SIN.05020
    Languages French
    Type of lesson Lecture
    Level Bachelor
    Semester SA-2020

    Title

    French Programmation fonctionnelle et logique
    German Funktionale und logische Programmierung
    English Functional and logical programming

    Schedules and rooms

    Summary schedule Friday 14:15 - 18:00, Hebdomadaire, PER 17, Room 001
    Struct. of the schedule 2+2h par semaine durant 14 semaines
    Contact's hours 56

    Teaching

    Responsibles
    Teachers
    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.
    Training objectives Le but de ce cours est d'introduire les fondements de la programmation fonctionnelle et de la programmation logique.
    Comments

    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
    No
    Off field
    No
    BeNeFri
    Yes
    Mobility
    Yes
    UniPop
    No
  • Dates and rooms
    Date Hour Type of lesson Place
    18.09.2020 14:15 - 18:00 Cours PER 17, Room 001
    25.09.2020 14:15 - 18:00 Cours PER 17, Room 001
    02.10.2020 14:15 - 18:00 Cours PER 17, Room 001
    09.10.2020 14:15 - 18:00 Cours PER 17, Room 001
    16.10.2020 14:15 - 18:00 Cours PER 17, Room 001
    23.10.2020 14:15 - 18:00 Cours PER 17, Room 001
    30.10.2020 14:15 - 18:00 Cours PER 17, Room 001
    06.11.2020 14:15 - 18:00 Cours PER 17, Room 001
    13.11.2020 14:15 - 18:00 Cours PER 17, Room 001
    20.11.2020 14:15 - 18:00 Cours PER 17, Room 001
    27.11.2020 14:15 - 18:00 Cours PER 17, Room 001
    04.12.2020 14:15 - 18:00 Cours PER 17, Room 001
    11.12.2020 14:15 - 18:00 Cours PER 17, Room 001
    18.12.2020 14:15 - 18:00 Cours PER 17, Room 001
  • Assessments methods

    Examen écrit

    Assessments methods By rating
    Descriptions of Exams Selon modalité A de l'annexe du plan d'études en informatique
  • Assignment
    Valid for the following curricula:
    Additional Courses in Sciences
    Version: ens_compl_sciences
    Paquet indépendant des branches > Advanced courses in Computer Science (Bachelor level)

    Additional Programme Requirements to the MSc in Bioinformatics and Computational Biology [MA]
    Version: 2020_1/V_01
    Additional Programme Requirements to the MSc Bioinformatics and Computational Biology > Advanced courses in Computer Science (Bachelor level)

    Additional Programme Requirements to the MSc in Computer Science [MA]
    Version: 2020_1/V_01
    Supplement to the MSc in Computer science > Advanced courses in Computer Science (Bachelor level)

    Additional Programme Requirements to the MSc in Computer Science [MA]
    Version: 2018_1/V_01
    Supplement to the MSc in Computer science > Advanced courses in Computer Science (Bachelor level)

    Additional TDHSE programme in Computer Science
    Version: 2020_1/V_01
    Additional TDHSE Programme Requirements for Computer Science 60 or +30 > Programmes 60 or +30 > Additional Programme Requirements to Computer Science 60 > Additional TDHSE programme for Computer Science 60 (from AS2020 on)

    Computer Science 120
    Version: 2020_1/V_01
    BSc in Computer science, Major, 2nd-3rd year > Computer Science 2nd and 3th year (from AS2019 on)

    Computer Science 30
    Version: 2020_1/V_01
    Minor in Computer science 30 > Computer Science, Minor 30 or 60 ECTS elective (from AS2019 on)

    Computer Science 60
    Version: 2020_1/V_01
    Minor in Computer Science 60 > Computer Science, Minor 30 or 60 ECTS elective (from AS2019 on)

    Computer Science 50 [BSc/BA SI]
    Version: 2020_1/V_01
    BSc_SI/BA_SI, Computer science 50 ECTS, 1st-3rd years > BSc_SI/BA_SI, Computer Science, 2nd-3rd years, elective courses for 50 ECTS (from AS2020 on)

    Computer Science [3e cycle]
    Version: 2015_1/V_01
    Supplement to doctoral studies in Computer Science > Advanced courses in Computer Science (Bachelor level)

    Computer Science [TDHSE] 60
    Version: 2020_1/V_01
    Minor in Computer Science (TDHSE) 60 > Computer Science, Minor TDHSE 60 ECTS elective (from SA2019 on)

    Information Systems 180 ECTS [BA]
    Version: 2020/SA_V01
    3nd year 60 ECTS > 3rd year courses > Cours à choix min. 14 ECTS / Wahlkurse min. 14 ECTS > Cours à choix - Type A / Wahlkurse - Typus A > Programmation fonctionnelle et logique

    Pre-Master-Programme to the MSc in Bioinformatics and Computational Biology [PRE-MA]
    Version: 2020_1/V_01
    Prerequisite to the MSc in Bioinformtics and Computational Biology > Advanced courses in Computer Science (Bachelor level)