Utilisateur:Eusebius/archive1
Un article de Wikipédia, l'encyclopédie libre.
Vous êtes ici sur la page personnelle d’un utilisateur de la Wikipédia francophone Cette page ne fait pas partie de l’espace encyclopédique de Wikipédia. Si vous avez accédé à cette page sur un autre site que celui de la Wikipédia francophone, c’est que vous êtes sur un site miroir ou un site qui fait de la réutilisation de contenu. Cette page n’est peut-être pas à jour et l’utilisateur identifié n’a probablement aucune affiliation avec le site sur lequel vous vous trouvez. L’original de cette page se trouve à http://fr.wikipedia.org/wiki/Utilisateur:Eusebius/archive1 . |
Je participe au projet informatique
|
Charte scientifique
J'adopte la Charte du contributeur en science sur Wikipédia.
|
es-2
|
Puedo contribuir con un nivel intermedio de español.
|
Je suis étudiant à Joseph Fourier.
|
Enseignant
Je suis enseignant.
|
Ingénieur et Master of Science en Informatique, bientôt docteur, chercheur en Intelligence Artificielle (Systèmes multi-agents) au Laboratoire d'Informatique de Grenoble, et enseignant à l'Université Joseph Fourier de Grenoble.
Je rédige essentiellement sur les projets logique, informatique et sécurité informatique.
Sommaire |
[modifier] Ouvrages référencés
Je possède (et j'ai plus ou moins lu) les ouvrages suivants, qui sont référencés sur Wikipédia. Donc si vous avez besoin d'une information dessus...
- (en)Patrick Blackburn, Maarten de Rijke et Yde Venema, Modal Logic, 2001 [détail des éditions]
- (en)Brian F. Chellas, Modal logic, an introduction, 1980 [détail des éditions]
- (en)Stuart Russel and Peter Norvig, Artificial Intelligence: a Modern Approach, 2003 [détail des éditions]
- (en)Michael R. Genesereth and Nils J. Nilsson, Logical Foundations of Artificial Intelligence, 1987 [détail des éditions]
- (en)Tom M. Mitchell, Machine Learning, 1997 [détail des éditions]
- Yves Noyelle, Belle programmation et langage C, 2001 [détail des éditions]
- Brian W. Kernighan et Dennis M. Ritchie, Le langage C, 1990 [détail des éditions]
- Alan Turing, Jean-Yves Girard, La machine de Turing, 1995 [détail des éditions]
- Ernest Nagel, James R. Newman, Kurt Gödel et Jean-Yves Girard, Le théorème de Gödel, 1989 [détail des éditions]
- Apostolos Doxiadis, Oncle Petros et la conjecture de Goldbach, 2000 [détail des éditions]
[modifier] Contributions dans l'espace encyclopédique
[modifier] Traductions
- Paradigme (programmation) Si vous voulez la relire et donc avancer le projet de traduction, vous me ferez très plaisir... Ça permettra d'avancer sur l'article.
[modifier] Pages créées et contributions significatives
[modifier] Contributions moins significatives, mais vachement importantes quand même, non mais ho !
- Prolog
- Logique propositionnelle
- Logique modale
- Grenoble
- Nantes
- Scouts de France
- Institut d'informatique et mathématiques appliquées de Grenoble
- Trusted Computing Platform Alliance, Trusted Computing Group, Trusted Platform Module
[modifier] Contributions en cours ou prévues
Voyez mon brouillon.
[modifier] Récompenses et sanctions
Jusqu'ici personne ne m'a remarqué, donc certes je ne me suis jamais fait envoyer de lauriers ni d'étoiles, mais je ne me suis jamais fait taper sur les doigts non plus. Et je ne me suis encore jamais fritté avec d'autres wikipédiens ; c'est d'ailleurs un point qui contribue grandement à ma satisfaction personnelle et à mon équilibre psychique.