Utilisateur:Eusebius/archive1
Discussion:Paradigme (programmation)/Traduction
Informations Babel sur l’utilisateur | ||||
---|---|---|---|---|
| ||||
Utilisateurs par langue |
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.
Ouvrages référencés
modifierJe 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, Cambridge University Press, [détail de l’édition]
- (en)Brian F. Chellas, Modal logic, an introduction, Cambridge University Press, [détail de l’édition]
- (en)Stuart Russel and Peter Norvig, Artificial Intelligence: a Modern Approach, Prentice Hall, [détail de l’édition]
- (en)Michael R. Genesereth and Nils J. Nilsson, Logical Foundations of Artificial Intelligence, Morgan Kaufmann, [détail de l’édition]
- (en)Tom M. Mitchell, Machine Learning, McGraw-Hill International Editions, [détail de l’édition]
- Yves Noyelle, Belle programmation et langage C, Ellipses, [détail de l’édition]
- Brian W. Kernighan et Dennis M. Ritchie, Le langage C, Masson, [détail de l’édition]
- Alan Turing, Jean-Yves Girard, La machine de Turing, Éditions du Seuil, [détail de l’édition]
- Ernest Nagel, James R. Newman, Kurt Gödel et Jean-Yves Girard, Le théorème de Gödel, Éditions du Seuil, [détail de l’édition]
- Apostolos Doxiadis, Oncle Petros et la conjecture de Goldbach, Éditions du Seuil, [détail de l’édition]
Contributions dans l'espace encyclopédique
modifierTraductions
modifier- 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.
Pages créées et contributions significatives
modifierContributions moins significatives, mais vachement importantes quand même, non mais ho !
modifier- 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
Contributions en cours ou prévues
modifierVoyez mon brouillon.
Récompenses et sanctions
modifierJusqu'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.