Next:
Contents
Cours d'Algorithmique Programmation A0 (NOHA)
1ère Partie - Année 2000 - 2001
María-Virginia Aponte
Contents
Introduction
Objectifs du Cours + TP
Notions de base
Qu'est-ce qu'un programme?
Resolution de problèmes en informatique
Les langages de programmation
Traitement de programmes
Les compilateurs
Compilation et exécution
Premiers éléments d'Ada
Structure d'un programme Ada
Premières constructions syntaxiques
Notations pour la syntaxe: les grammaires BNF
Les identificateurs
Déclaration de valeurs
Les expressions
Les actions
Premières notions de sémantique
L'exécution
Etat de la machine
Mémoire
Environnement et mémoire: sémantique des déclarations
Sémantique des premières constructions
Sémantique des expressions
Sémantique de l'affectation
Sémantique de la séquence
L'appel de sous-programmes
Afficher à l'écran
Les types: première approche
Premiers types pré-définis
Le typage ou cohérence entre types
Instruction conditionelle
Factorisation dans une conditionnelle
Eléments de logique propositionnelle
Equivalences logiques
Tables de vérité
Boucles itératives
Boucle
loop
Boucle
while
Boucle
for
Correction des programmes
Terminaison
Adéquation à la spécification
Exemples et exercices
Les fonctions
Déclaration de fonctions
Exécution d'un appel
Liaisons locales à un sous-programme
Portée des déclarations
Les exceptions
Lévée d'exceptions
Traitement d'exceptions
Sémantique d'un traitement d'exceptions
Propagation d'exceptions
About this document ...
Maria-Viginia Aponte
2001-11-21
