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[modifier | modifier le code]
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, 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[modifier | modifier le code]
Traductions[modifier | modifier le code]
- 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[modifier | modifier le code]
Contributions moins significatives, mais vachement importantes quand même, non mais ho ![modifier | modifier le code]
- 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[modifier | modifier le code]
Voyez mon brouillon.
Récompenses et sanctions[modifier | modifier le code]
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.
- Utilisateur fr
- Utilisateur fr-M
- Utilisateur en
- Utilisateur en-3
- Utilisateur es
- Utilisateur es-2
- Utilisateur Projet/Informatique
- Utilisateur Charte du contributeur en science
- Utilisateur TeXnicien
- Utilisateur Doctorant
- Utilisateur Chercheur
- Utilisateur enseignant
- Utilisateur ingénieur
- Utilisateur étudiant Supélec