formations/algo/tronCommun/presentation.txt

53 lines
2.8 KiB
Plaintext
Raw Permalink Normal View History

2017-08-28 17:36:36 +02:00
Introduction
~~~~~~~~~~~~
| "**Que nul n'entre ici s'il n'est géomètre**"
| Maxime apposée au porche d'entrée de l'École de Platon
- L'accent est mis sur l'approche **algorithmique scientifique**, dite algorithmique
algébrique. L'algorithmique est un sous-domaine de l'algèbre et des
approches modulaires (arithmétique modulaire...)
- Le point de vue mathématique étant assez exigeant, **aucun formalisme fort** de
l'algorithmique mathématique ne sera présenté. Aucun symbole mathématique donc, et
seulement du pseudo-code.
L'approche mathématique forte utilisant le formalisme mathématique de
l'algorithmique algébrique est en général enseignée en France uniquement aux cours
des grandes écoles.
- L'algorithmique présentée ici est donc délibérément pseudo-scientifique mais en revanche
ouverte au **multi-paradigme**. En général l'évocation d'un algorithme en pseudo code est toujours
réducteur car limité au style de programmation le plus à la mode actuellement, c'est-à-dire le
**style impératif**. Nous présenterons un éventail des plus grands paradigmes de programmation
existants. Nous nous limiterons à la **programmation impérative, fonctionnelle, modulaire,
générique et objet**. Nous envisagerons les structures de données et les structures de contrôle
spécifiques à chacun des styles évoqués.
- Et parce qu'un honnête programmeur doit avoir une vue d'ensemble de **l'état de son art**,
nous évoquerons un panorama des différents langages existants -- historiques et contemporains --
en les comparants les uns aux autres.
- Durant tout le cours, nous souhaitons proposer une pédagogie par l'exemple, et nous
limiterons l'exposé à deux langages d'implémentation des algorithmes : le **Python** pour la programmation
impérative modulaire et objet, et le **OCaml**, car nous évoquerons aussi certains points
de programmation fonctionnelle et modulaire, polymorphe et teintée de généricité.
Intérêt
-------
| "**Il ne suffit pas d'avoir les mains propres, il faut avoir l'esprit pur.**"
| Thalès de Milet ; Sentences - VIe s. av. J.-C.
L'algorithmique en tant que rapport à la vérité et à la pensée juste et vraie,
en tant qu'art de découper un problème complexe en tâches élémentaires,
en tant qu'énoncés de compréhension et de sémantique,
est la seule chose vraiment profonde dans l'informatique. Le reste n'est que 0 ou 1.
Cette notion d'algorithme est profondément enracinée dans le désir humain de
transmettre des méthodes pour comprendre des problématiques,
qu'il s'agisse de processus scientifiques ou mathématiques, de secrets,
de philosophie ou de divination au sens des anciens Grecs.
De règles linguistiques, aussi, chez les Romains.