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 :- 1 heure de cours (normalement le lundi de 15h à 16h)
- 1 heure de TD (normalement le lundi de 16h à 17h)
- 1 heure de TP sur machine (sous la forme de 2 heures par quinzaine le jeudi de 8h à 10h).
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ésLangages 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 là 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