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-2022

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 (Semestre d'automne)
Struct. des horaires	2+2h par semaine durant 14 semaines
Heures de contact	56

Enseignement

Responsables	Lalanne Denis
Enseignants	Luggen Michael
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

Examen écrit - SA-2022, Session d'hiver 2023

Date	03.02.2023 14:00 - 16:00
Mode d'évaluation	Par note
Description	Selon modalité A de l'annexe du plan d'études en informatique
Commentaire	Open book exam

Examen écrit - SP-2023, Session d'automne 2023

Date	08.09.2023 14:00 - 16:00
Mode d'évaluation	Par note
Description	Selon modalité A de l'annexe du plan d'études en informatique
Commentaire	Open book exam