|
|
|
|
|
|
L'objectif de ce module est d'acquérir les
fondements du langage C, de la conception de programmes
structurés aux structures dynamiques abstraites. |
|
1 - Allocation
dynamique de structures
-
Tableaux dynamiques
-
Structures
2 - Fonctions
récursives : principes, mise en œuvre,
contrôle
3 - Structures de
données récursives
4- Les Tables de
hachage
5- Les
Fichiers |
|
|
|
|
|
|
|
L'objectif de ce module c'est de donner les
notions essentielles de la logique classique du premier ordre et de
sensibiliser à plusieurs applications de la logique en
informatique. Une attention particulière sera donnée
à la problématique de la recherche automatique des
preuves. |
|
- Logique
Classique Propositionnelle :
- Syntaxe
: langage formel, formules
-
Sémantique :
-
interprétations, vérité, satisfiabilité,
validité, conséquence logique, équivalence logique
dans le cadre de la logique booléenne.
- Lien avec
la notion d'algèbre de Boole
-
théorème de compacité dans le cadre de la logique
booléenne.
-
Systèmes Formels de Preuve :
- calculs a
la Hilbert, calculs des séquents de Gentzen, résolution
de Robinson. Résultats de correction et complétude pour
ces systèmes.
- Quelques
exemples d'applications.
- Calculs
Classique des Prédicats du Premier Ordre :
- Syntaxe
: termes, formules, variables libres et liées,
substitutions.
-
Sémantique :
- Extension
des notions d'interprétations, vérité,
satisfiabilité, validité, conséquence logique,
équivalence logique au cas du calcul des prédicats.
-
théorème de compacité dans le cadre du calcul des
prédicats.
-
Systèmes Formels de Preuve
- Extension
des calculs et des résultats déjà vus au cas du
calculs des prédicats, sans et avec égalité.
Théorème de Herbrand. Unification.
-
Semi-decidabilite du problème de la validité,
problèmes lies a la recherche automatique de preuves au
premier ordre.
- Quelques
exemples d'applications.
- Notion
et exemples de théorie du premier ordre, lien avec les
spécifications formelles des types de données.
|
|
|
|
|
|
|
|
Ce cours présente le système Unix ainsi
que son environnement. |
|
- Unix -
présentation générale du système Unix
-
histoire, différentes évolutions (BSD, système V,
...),
-
l'interface de programmation
- le
système de gestion de fichiers
- gestion
des processus
- Les
outils de développement
-
processus de compilation
-
automatisation de la compilation : makefile
- gestion
de projets : librairies, RCS, CVS
- mise au
point de programmes : gdb, ddd
-
optimisation du code : prof
- Le
système de fenêtrage X11
-
schéma client-serveur
-
interface de programmation
-
gestionnaire de fenêtres
-
Configurations
|
|
|
|
|
|
|
|
1. Semestre 1
