Hugoprépas 3

Espace privé

Présentation de l'option informatique

par Marc TULOUP le 09 janvier 2024
Quelques éléments de réflexion pour votre choix d'option pour la seconde période.
En cas de d'interrogations supplémentaires ne pas hésiter à me contacter par mail à marc.tuloup_at_lyceehugobesancon.org (remplacer bien sûr _at_ par @).

L'enseignement de l'option informatique est un approfondissement de l'enseignement d'informatique commune, avec une approche plus théorique (avec preuve, raisonnements mathématiques, des théorèmes, etc...) mais sans perte de la pratique (indispensable pour l'apprentissage de l'informatique). Les deux grands axes de cet enseignement seront l'étude des structures de données les plus courantes, ainsi que celle des grandes méthodes de programmation.

Quelques éléments factuels :

Horaires

Chaque semaine :

Le programme des deux années :

Première année
Structure de données : listes, tableaux, piles, files, dictionnaires, arbres (juste une ébauche...)
Méthode de programmation : programmation récursive, méthode diviser pour régner, syntaxe et sémantique de la logique propositionnelle.
Deuxième année
Application des arbres, graphes avancés
Langages et Automates, Expressions rationnelles
Déduction naturelle pour la logique propositionnelle

Le langage utilisé :

Vous découvrirez un nouveau langage, relativement différent de python : Caml, dans sa version OCaml, gratuite, particulièrement adapté à l'enseignement de l'option informatique.

C'est un langage d'une très grande expressivité, ce qui fait que vous n'aurez qu'un petit nombre de "constructions" OCaml à connaître. OCaml est utilisé dans de grands projets informatiques industriels. Ce n'est donc pas un "gadget"... Plus d'information sur la page Wikipedia

Vous trouverez ici la page officiel de Ocaml.

Je vous conseille d'aller faire un tour en particulier ici pour vous faire une idée de la simplicité et de la puissance de OCaml en faisant vous même les premières leçons dans l'interpréteur offert dans votre navigateur préféré...ou plus tard pour disposer d'un environnement OCaml en ligne

Il y a également cette page (c'est le support d'apprentissage de l'université de Cornell) qui offre une version en ligne d'un livre d'apprentissage de OCaml

Déroulement de la semaine :


  • Pendant l'heure de cours une présentation classique du cours sera faite, avec quelques exemples d'application, et un temps pour les questions;
  • Pendant l'heure de TD, exercices sur feuille en liaison avec le cours du jour ou les cours précédents;
  • Pendant les TP : pratique de OCaml pour mettre en œuvre concrètement ce qui aura été présenté.