Programmation fonctionnelle en OCaML

课程： Programmation fonctionnelle en OCaML | Plateforme pédagogique de l'université de Bordeaux

• 总则

  • Select activity Forum de discussion pour l'UE Programmation Fonctionnelle en OCaML

    

    Forum de discussion pour l'UE Programmation Fonctionnelle en OCaML 讨论区
  • Select activity Annonces pour l'UE Programmation Fonctionnelle en OCaML

    

    Annonces pour l'UE Programmation Fonctionnelle en OCaML 讨论区
• 

  全部展开

  全部折叠

  
• 

  说明：要显示或隐藏某小节，请单击此小节的名称。

  

• Organisation

  • Select activity Emploi du temps

    

    Emploi du temps 网页地址

• Ressources

  • Select activity Polycopié du cours

    

    Polycopié du cours 文件
  • Select activity Tous les transparents

    

    Tous les transparents 文件
  • Select activity Annales de devoirs surveillés

    

    Annales de devoirs surveillés 文件夹
  • Select activity Annales d'examen

    

    Annales d'examen 文件夹
  • Select activity Memo Installation Opam

    

    Memo Installation Opam 网页
  • Select activity Memo paramétrage Visual Studio Code

    

    Memo paramétrage Visual Studio Code 网页
  • Select activity Polycopié Claude Marché et Ralph Treinen

    

    Polycopié Claude Marché et Ralph Treinen 文件
  • Select activity Bibliographie

    

    Bibliographie 网页
  • Select activity Memo VS Code

    

    Memo VS Code 网页
  • Select activity Memo Doom Emacs

    

    Memo Doom Emacs 网页
  • Select activity Memo Emacs

    

    Memo Emacs 网页

• Bibliothèque sur les graphes

  • Select activity Algorithmes sur les graphes

    

    Algorithmes sur les graphes 投票

    已打开: 2025年10月7日 星期二 09:05

    Pour ceux qui voudraient aller plus loin en programmation OCaML, nous pouvons vous proposer de programmer quelques algorithmes sur les graphes à partir  d'une bibliothèque de base que nous vous fournirions.

    Il n'y a pas d'évaluation prévue pour ce travail. Pour ceux qui sont déjà à l'aise avec OCaML du fait de l'avoir pratiqué en Algorithmique des Structures arborescentes en L2, ça serait un investissement pour l'avenir puisque OCaML sera utilisé en Compilation ainsi qu'en Vérification en Master.

    Ce sondage pour savoir s'il y a des personnes intéressées par ce travail.

  • Select activity Bibliothèque sur les graphes

    

    Bibliothèque sur les graphes 文件夹

• Cours

  • Select activity Cours 1 du lundi 01 septembre 2025 9:30 - 10:50

    

    Cours 1 du lundi 01 septembre 2025 9:30 - 10:50 文件夹
  • Select activity Cours 2 du mercredi 03 septembre 2025 09:30 - 10:50

    

    Cours 2 du mercredi 03 septembre 2025 09:30 - 10:50 文件夹
  • Select activity Cours 3 du mardi 9 septembre 2025 11:00 - 12:20

    

    Cours 3 du mardi 9 septembre 2025 11:00 - 12:20 文件夹
  • Select activity Cours 4 du mardi 16 septembre 2025 11:00 - 12:20

    

    Cours 4 du mardi 16 septembre 2025 11:00 - 12:20 文件夹
  • Select activity Cours 5 du mardi 23 septembre 2025 11:00 = 12:20

    

    Cours 5 du mardi 23 septembre 2025 11:00 = 12:20 文件夹
  • Select activity Cours 6 du mardi 7 octobre 2025 11:00 - 12:20

    

    Cours 6 du mardi 7 octobre 2025 11:00 - 12:20 文件夹
  • Select activity Cours 7 du mardi 21 octobre 2025 11:00 - 12:20

    

    Cours 7 du mardi 21 octobre 2025 11:00 - 12:20 文件夹
  • Select activity Liens vers vidéos des cours de 2020-2021

    

    Liens vers vidéos des cours de 2020-2021 网页

• 1-Expressions

  • Select activity Feuille 1 - Premiers pas, expressions

    

    Feuille 1 - Premiers pas, expressions 文件

• 2-Fonctions

  • Select activity Feuille 2 - Premières fonctions, récursivité

    

    Feuille 2 - Premières fonctions, récursivité 文件
  • Select activity Rendu feuille 2

    

    Rendu feuille 2 作业

    到期日： 2025年10月3日 星期五 21:00

• 3-Types et inférence de type

  • Select activity Feuille 3 - Types

    

    Feuille 3 - Types 文件
  • Select activity Rendu feuille 3

    

    Rendu feuille 3 作业
  • Select activity Feuille 3bis

    

    Feuille 3bis 文件 PDF

    Exercice complémentaire. À ne faire que si vous avez fait entièrement les 3 premières feuilles y compris le calcul de fibonacci en temps logarithmique.

    40.4 KB上传 2025年09月9日 09:43
  • Select activity Rendu feuille 3bis

    

    Rendu feuille 3bis 作业

• 4- Application: plan complexe

  • Select activity Plan complexe

    

    Plan complexe 文件夹

• 5- Application: zones géométriques

  • Select activity Application: zones géométriques (dune)

    

    Application: zones géométriques (dune) 文件夹

    • Lignes à rajouter dans votre fichier .profile pour avoir les bonnes versions de OCaML et Dune
      • export OPAMROOT=/opt/local/opam
        
      • eval $(opam env)

    • Télécharger et désarchiver l'archive Zones.zip
    • Se placer dans le dossier le dossier Zones
    • Lire le fichier README
    • Se placer dans le dossier src
    • Copier une version testée du fichier mycomplex.ml dans le dossier
    • La visualisation ne fonctionnera que si ImageMagick est installé sur votre machine
      
  • Select activity Application: zones géométriques (sans dune)

    

    Application: zones géométriques (sans dune) 文件夹

    • Télécharger et désarchiver l'archive Zones.zip
    • Se placer dans le dossier le dossier Zones
    • Copier une version testée du fichier mycomplex.ml dans le dossier
      
    • Lire le fichier README
  • Select activity Correction Zones

    

    Correction Zones 文件 ML

    3.7 KB上传 2023年10月17日 14:07

• 6- Enregistrements, types récursifs, récursivité terminale

  • Select activity Feuille 6 - Enregistrements, types récursifs, récursivité terminale

    

    Feuille 6 - Enregistrements, types récursifs, récursivité terminale 文件
  • Select activity Rendu feuille 6

    

    Rendu feuille 6 作业

    打开： 2025年10月6日 星期一 00:00

• 7- Listes

  • Select activity Feuille 7:- Listes

    

    Feuille 7:- Listes 文件
  • Select activity Rendu feuille 7

    

    Rendu feuille 7 作业

    打开： 2025年10月6日 星期一 00:00

    到期日： 2025年11月10日 星期一 18:00

• 8- Application: Album photos

  • Select activity Feuille 8 - Album photos

    

    Feuille 8 - Album photos 文件
  • Select activity Rendu feuille 8

    

    Rendu feuille 8 作业

    打开： 2025年10月6日 星期一 00:00

    到期日： 2025年11月21日 星期五 18:00

• 9 - Dictionnaires

  • Select activity Rendu feuille 9

    

    Rendu feuille 9 作业

    打开： 2025年10月7日 星期二 00:00

    到期日： 2025年11月28日 星期五 18:00
  • Select activity Feuille 9 - Dictionnaires

    

    Feuille 9 - Dictionnaires 文件 PDF

    51.6 KB上传 2025年11月6日 16:34

• 10 - Listes (fonctions fold)

  • Select activity Feuille 10 - Listes (fonctions fold)

    

    Feuille 10 - Listes (fonctions fold) 文件
  • Select activity Rendu feuille 10

    

    Rendu feuille 10 作业

    打开： 2025年10月7日 星期二 00:00

    到期日： 2025年12月4日 星期四 18:00

• 11- Efficacité

  • Select activity Feuille 11 - Efficacité

    

    Feuille 11 - Efficacité 文件
  • Select activity Rendu feuille 11

    

    Rendu feuille 11 作业

    打开： 2025年11月4日 星期二 00:00

    到期日： 2025年12月12日 星期五 15:24

• 12- Tris

  • Select activity Feuille 12 - Tris

    

    Feuille 12 - Tris 文件 PDF

    56.9 KB修改 2025年11月6日 16:36
  • Select activity Rendu feuille 12

    

    Rendu feuille 12 作业

    打开： 2025年11月4日 星期二 00:00

    到期日： 2025年12月19日 星期五 18:00

• Annales TP noté

  • Select activity TP Noté 2021-2022

    

    TP Noté 2021-2022 文件 PDF

    46.9 KB上传 2024年12月6日 11:06
  • Select activity student.ml TP noté 2021-2022

    

    student.ml TP noté 2021-2022 文件 ML

    719 字节上传 2024年12月6日 11:09

• Cours 2024-2025