About the Book
Ce contenu est une compilation d'articles de l'encyclopedie libre Wikipedia. Pages: 84. Chapitres: Reseau de neurones artificiels, Linguistique informatique, Prix Turing, Complexite, Theorie de la complexite des algorithmes, Graphe aleatoire, Machine a vecteurs de support, Computationnalisme, Recherche d'information, Logique de description, Langage rationnel, Systeme complexe, Reecriture, Diophantien, Logique combinatoire, Loi de Grosch, Edward Kofler, Discrete Event System Specification, Transducteur a etats finis, Theorie des automates, Dixieme probleme de Hilbert, Complexite de Kolmogorov, Modele, Modele booleen, Programmation genetique, Perceptron, Continuation, Information partielle lineaire, Monade, Transduction rationnelle, Interpretation abstraite, Probleme de satisfaction de contraintes, Modele vectoriel, Arbre des suffixes, Terminaison d'un systeme de reecriture, Langage algebrique, Semantique des langages de programmation, Modele des croyances transferables, Loi d'Amdahl, Semantique axiomatique, Theorie des domaines, Modele probabiliste de pertinence, Prix Godel, Perceptron multicouche, Deployeur universel de programmes, Variable libre, Theorie des automates finis, Codage, Bisimulation, Pangramme autodescriptif, Systeme de transition d'etats, 21 problemes NP-complets de Karp, Lemme d'Ogden, Theorie de Vapnik-Chervonenkis, Hierarchie polynomiale, Arbre de Steiner, Nombre cyclomatique, Semantique operationnelle, Preordre de simulation, Cognitique, European Association for Theoretical Computer Science, Branch and cut, Branch and price, Chemin critique, Prix Knuth, Semantique denotationnelle, Retour de pertinence, Theoreme du point fixe de Kleene, Sharp-P-complet, Index de maintenabilite, Propriete de Church-Rosser, Confluence, Ordre partiel complet, Theoreme de Matiiassevitch, Join-Calcul, Encodage one-hot, Modelisation d'entreprise, Algorithme emergent, Raffinage, Alignement d'ontologies, Okapi...
