Details

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

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 (Autumn semester)
Struct. of the schedule	2+2h par semaine durant 14 semaines
Contact's hours	56

Teaching

Responsibles	Lalanne Denis
Teachers	Le Peutrec Stéphane
Assistants	Badaracco Matteo
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

Written exam - SA-2019, Session de printemps 2020

Assessments methods	By rating
Descriptions of Exams	Selon modalité A de l'annexe du plan d'études en informatique

Written exam - SP-2020, Autumn Session 2020

Date	27.08.2020 10:00 - 12:00
Assessments methods	By rating
Descriptions of Exams	Selon modalité A de l'annexe du plan d'études en informatique
Comment	examen écrit en présence