Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

CM1 L3

Introduction à la programmation logique et fonctionnelle
by

Olivier Bailleux

on 11 January 2016

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of CM1 L3

Programmation logique et fonctionnelle
en L3 Informatique

Approche pédagogique
Identification des compétences
Description des compétences


Préparer les évaluations
Organiser votre travail personnel
Grille de compétences
Autonomie
Anticiper les cours
Documents accessibles en ligne
Lecture approfondie



En séance : travail sur fiches, exemples, discussions, débriefing...
Evaluation basée sur les compétences
Barème du DS et de l'examen donnés à l'avance
Pourquoi des cours (en partie) théoriques ?
On retrouve ce type d'enseignement dans tous les cursus Bac+5 en informatique :
Ecoles d'ingénieurs, Universités
France, étranger
Licence générale


Licence professionnelle
Fait partie du socle de connaissances attendu chez un cadre supérieur informaticien :
Prendre du recul
Esprit de synthèse
Capacité d'abstraction
Culture scientifique
Ouverture d'esprit
Rigueur intellectuelle
Contenu des enseignements
Programmation fonctionnelle
Programmation logique
Qu'est ce que c'est ?
Partie théorique
Partie pratique
Programmer sans utiliser de boucles ni modifier de variables !
Pourquoi ?

Facilite l'implantation à partir de spécifications mathématiques
Facilite les preuves de correction de programmes

Intérêt pédagogique pour l'apprentissage de l'algorithmique des listes et des arbres
Intérêt pour les applications critiques : spatial, aéronautique, militaire, nucléaire, médical, monétique...
Lambda-calcul : le langage de programmation le plus rudimentaire de l'univers connu !
Aspects fonctionnels du langage CAML
Qu'est ce que c'est ?
Partie théorique
Partie pratique
Programmation déclarative par spécification d'un problème en logique des prédicats
Pourquoi ?

Développer rapidement des applications orientées IA

Résolution de problèmes
Systèmes experts
Analyse du langage naturel
Requêtes sur des bases de connaissances
...
Particulièrement adapté à la réalisation de prototypes
Logique des propositions
Initiation au langage PROLOG
Evaluation
DS
Examen
durée 1h30
coefficient 1/3

Lamda-calcul
CAML
durée 2h
coefficient 2/3

Logique propositionnelle
Logique des prédicats
Prolog
Logique des prédicats
Article 1
Article 2
Article 3
La présence en CM est facultative. Chacun vient de son plein gré. Il n'y a pas de contrôle de présence. Les absents ne sont ni culpabilisés ni jugés. Mais parce qu'ils manquent certaines explications importantes, ils peuvent se mettre en situation d'échec.
Les étudiants qui viennent en cours évitent les bavardages intempestifs et autres comportements de nature à dégrader l'ambiance de travail (utiliser un smartphone, faire une sieste, lire
un roman, prendre une collation, etc.). Il font aussi l'effort d'arriver à l'heure.
Vous êtes très vivement encouragés à poser des questions à l'enseignant. N'hésitez pas à l'interrompre s'il se transforme en moulin à parole.
Full transcript