Академический Документы
Профессиональный Документы
Культура Документы
Philipe Ezequel
ezequel@univ-st-st-etienne.fr
webperso.univ-st-etienne.fr/~ezequel/index.html
Quest-ce que la programmation fonctionnelle ?
Al kowarizmie
Pdf : portable description format
Langage machine (58) >> langage dassemblage (pop eax) >> langage volus (compilateur,
interprteur)
Ada lovelace
Herman Hollerith fondateur de IBM (international bizness machine)
Cours 2
Commande less et od
~ /langages/c/peano
Une preuve par cardinalit nous montre quil existe des fonctions non calculables
Paradigmes de programmation
Familles de langages de programmation
Il existe trois langages qui sont :
Paradigmes impratifs : un programme constitu dun ensemble ou une suite
dinstructions (JAVA, PYTHON, FLASH, C++, C#, HTML, PHP, VBASIC, ADA,
PERL, PASCAL, FORTH, BRAINF**K
Paradigmes fonctionnel : le programme est une expression valuer (M de PEANO,
LISP, CAML, )
Paradigme logique : cest une suite de propositions logiques et une excution est une
preuves dassertion ;
Sance 3
La machine de Peano
- Evaluateur dexpression arithmtiques
- Possibilit de dfinir des fonctions
Addition algorithme
X+0=X
X+Y=(X+(Y-1)) +1
Fonction rcursive
Exemple