|
Dominique Pastre--Ollivier-Pallud
professeur d'informatique honoraire /
former professor of computer science
courriel : pastre (chez) phare (point) normalesup (point)
org
/e-mail : pastre (at) phare (dot) normalesup (dot)
org
|
Recherche / Research
Thème : Intelligence Artificielle / Artificial intelligence
Réalisation / Implementation : démonstrateur / prover
Muscadet
Applications sur la base
TPTP Problem Library
Participation aux compétitions
CASC
/ Participation to
CASC competitions
organisées dans le cadre des conférences CADE
/ held at CADE (Conferences on Automated DEduction) conferences
(dans les divisions FOF (premier ordre avec (FEQ) ou sans (NEQ) égalité)
/ in FOF divisions (first-order with (FEQ) or without (NEQ) equality)
Quelques publications / Some publications
Principaux enseignements effectués et quelques supports de cours
/ Main teaching
- Calcul Formel / Symbolic manipulation
et aussi / and also
- Structures de données et algorithmes / Data structures and algorithms
- Systèmes et langages de programmation / Systems and programming languages, commandes shell
- Compilation
- Algoritmique numérique / Numerical algorithms
- Architecture des ordinateurs
- Initiation à l'informatique / Initiation to computer science
(filières scientifiques et filières sciences humaines
/ for scientific and non scientific students)
- Mathématiques/ Mathematics
en 1er cycle scientifique
et 1er cycle sciences humaines
langages enseignés et/ou utilisés / languages
Algol, Fortran, Basic, PL1, LSE, Pascal, C, Java
Shell
Lex, Yacc
Lisp, Prolog
Reduce, Mapple, Macsyma, MuPAD
Scilab
Tout savoir sur / To know everything about
