Harald Wertz

Université Paris 8
Dépt. Informatique, Labo IA
2, rue de la Liberté
93526 Saint-Denis Cedex 02
FRANCE
Tél : (+33) 1 49 40 64 97
Fax : (+33) 1 49 40 67 83
E-mail : hw @ ai.univ-paris8.fr

[ Recherche | Enseignements | Autres Activités ]

english version:


Recherche 
Intérêts :
Compréhension de programmes
[1] [30] [68]
Description / Représentation de programmes
[12] [41] [58]
Langages de programmation de haut niveau d'abstraction
[8] [16] [52]
Environnements de programmation
[10] [18] [56]
Informatique et éducation
[7] [31] [36]
à ceci s'ajoutent, dépendant du temps disponible, des interêts variés sur la relativité, les fractals, la programmation de jeux, et autres qui sont indiqués dans la liste de mes Publications

Enseignements
Formation à Lisp
Le livre d'introduction à LISP
Exercices
Quelques programmes exemples en xBvl
Un petit interprete LISP
quelque variantes de parcours et constructions (doublantes) de listes
Formation à UNIX
Introduction au Système UNIX
Formation à Smalltalk
Classes, Instances, Messages et Héritage : Introduction à la Programmation Objet (en chantier)
et voici quequelques programmes à télécharger, extrait du livre accéssible ci-dessus :
le programmes des animaux
un exemple de PluggableButtonMorph : un compteur
l'exemple des boutons d'un ancien téléviseur
deux versions de la Tour de Hanoi : [version 1] et [version 2]
l'ensemble de programmes pour des dessins Logo : DessinsLogo
la suite des deux interprètes de systèmes de Lindenmayer (ils nécessitent DessinsLogo) : le Lsystème de base et le Lsystème stochastic
la suite des : calculateurs
et pour les étudiants qui suivent le cours en présentiel, ici les sources des petits programmes étudiés en cours (ceci sera mis à jour régulièrement) : Cours2013
Formation à la Compréhension de Programmes
Raisonnement par Récurrence [pdf]
Récurrence structurelle [pdf],  [html] [le programme explorable],  [pdf] [le programme lisible] [le programme code source] et une [trace d'éxécution]
Transformation de programmes [pdf]
Correction de Programmes [pdf] [powerpoint]
Exécution Symbolique [pdf] [powerpoint]
Quelques Programmes exemples :
première version du programme prettyPrint (en Vlisp) : [le code],  en pdf : [version lisible] et en html : [version explorable]
deuxième version (sous forme d'interprète symbolique) du programme prettyPrint (en Vlisp) : [le code],  en pdf : [version lisible] et en html : [version explorable]
version modifiée du programme prettyPrint pour faire une évaluation partielle : [le code] [version lisible] et [version explorable]
version modifiée du programme précedant pour faire une évaluation partielle et un pretty print : [le code] [version lisible] [version explorable]
le programme foo (en CommonLisp) : [le code] [les flux] [trois flux dynamiques]
le programme vcg (en Vlisp) : [le code] [les flux] [une trace dynamique pour l'échange de deux variables (en ps)]
le programme memofib (en Smalltalk (squeak)) : [le code] [version lisible]

Autres activités
Groupe de recherche APARU ( Automatic Program Animation, Representation and Understanding )

Pour nos amis géorgiens quelques images de l'inauguration de la Filière Franco/Géorgienne ;
et voici quelques autres photos, prises au fur et à mesure de mes séjours en Géorgie

H. Wertz
Labo d'Intelligence Artificielle

Google