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

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 (Herbstsemester)
Strukturpläne	2+2h par semaine durant 14 semaines
Kontaktstunden	56

Unterricht

Verantwortliche	Le Peutrec Stéphane
Dozenten-innen	Le Peutrec Stéphane
Assistenten	Witschard Loris
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

Schriftliche Prüfung - SA-2020, Wintersession 2021

Datum	12.02.2021 10:00 - 12:00
Bewertungsmodus	Nach Note
Beschreibung	Selon modalité A de l'annexe du plan d'études en informatique
Bemerkung	Schriftliche ONLINE Prüfung (COVID-19)

Schriftliche Prüfung - SP-2021, Herbstsession 2021

Datum	13.09.2021 14:00 - 16:00
Bewertungsmodus	Nach Note
Beschreibung	Selon modalité A de l'annexe du plan d'études en informatique
Bemerkung	schriftliche Prüfung in Präsenz