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 Διεύθυνση URL

• 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 Επιλογή

    Άνοιξε: Τρίτη, 7 Οκτωβρίου 2025, 9:05 AM

    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 Ανάθεση εργασίας

    Λήξη: Παρασκευή, 3 Οκτωβρίου 2025, 9:00 PM

• 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 Ανέβηκε στις 9/09/25, 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 Ανέβηκε στις 17/10/23, 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 Ανάθεση εργασίας

    Άνοιξε: Δευτέρα, 6 Οκτωβρίου 2025, 12:00 AM

• 7- Listes

  • Select activity Feuille 7:- Listes

    

    Feuille 7:- Listes Αρχείο
  • Select activity Rendu feuille 7

    

    Rendu feuille 7 Ανάθεση εργασίας

    Άνοιξε: Δευτέρα, 6 Οκτωβρίου 2025, 12:00 AM

    Λήξη: Δευτέρα, 10 Νοεμβρίου 2025, 6:00 PM

• 8- Application: Album photos

  • Select activity Feuille 8 - Album photos

    

    Feuille 8 - Album photos Αρχείο
  • Select activity Rendu feuille 8

    

    Rendu feuille 8 Ανάθεση εργασίας

    Άνοιξε: Δευτέρα, 6 Οκτωβρίου 2025, 12:00 AM

    Λήξη: Παρασκευή, 21 Νοεμβρίου 2025, 6:00 PM

• 9 - Dictionnaires

  • Select activity Rendu feuille 9

    

    Rendu feuille 9 Ανάθεση εργασίας

    Άνοιξε: Τρίτη, 7 Οκτωβρίου 2025, 12:00 AM

    Λήξη: Παρασκευή, 28 Νοεμβρίου 2025, 6:00 PM
  • Select activity Feuille 9 - Dictionnaires

    

    Feuille 9 - Dictionnaires Αρχείο PDF

    51.6 KB Ανέβηκε στις 6/11/25, 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 Ανάθεση εργασίας

    Άνοιξε: Τρίτη, 7 Οκτωβρίου 2025, 12:00 AM

    Λήξη: Πέμπτη, 4 Δεκεμβρίου 2025, 6:00 PM

• 11- Efficacité

  • Select activity Feuille 11 - Efficacité

    

    Feuille 11 - Efficacité Αρχείο
  • Select activity Rendu feuille 11

    

    Rendu feuille 11 Ανάθεση εργασίας

    Άνοιξε: Τρίτη, 4 Νοεμβρίου 2025, 12:00 AM

    Λήξη: Παρασκευή, 12 Δεκεμβρίου 2025, 3:24 PM

• 12- Tris

  • Select activity Feuille 12 - Tris

    

    Feuille 12 - Tris Αρχείο PDF

    56.9 KB Τροποποιήθηκε 6/11/25, 16:36
  • Select activity Rendu feuille 12

    

    Rendu feuille 12 Ανάθεση εργασίας

    Άνοιξε: Τρίτη, 4 Νοεμβρίου 2025, 12:00 AM

    Λήξη: Παρασκευή, 19 Δεκεμβρίου 2025, 6:00 PM

• Annales TP noté

  • Select activity TP Noté 2021-2022

    

    TP Noté 2021-2022 Αρχείο PDF

    46.9 KB Ανέβηκε στις 6/12/24, 11:06
  • Select activity student.ml TP noté 2021-2022

    

    student.ml TP noté 2021-2022 Αρχείο ML

    719 bytes Ανέβηκε στις 6/12/24, 11:09

• Cours 2024-2025