Catégorie:Informatique théorique

Un article de Wikipédia, l'encyclopédie libre.

L'informatique en tant que science est tributaire de nombreux développements théoriques, certains relèvent purement des mathématiques ou de la logique, d'autres sont spécifiques à l'informatique, mais tout aussi formels et rigoureux.

Article principal : Informatique théorique

Sous-catégories

Cette catégorie comprend 19 sous-catégories, sur un total de 19.

A Algorithmique Arithmétique binaire Automate cellulaire C Calculabilité I Intelligence ambiante Intelligence artificielle

I (suite) Interface Homme-machine L Langage formel M Modèle de sécurité informatique Méthode formelle O Ontologie (informatique) P Personnalité en informatique théorique R Réécriture

T Théorie de l'information Théorie des graphes Théorie des ordres Théorie des types Théorème d'informatique V Vie artificielle

Pages dans la catégorie « Informatique théorique »

Outils : Explorer l’arborescence (graphique) • Chercher les images dans cette catégorie Recherches : Recherche interne • avec CatScan (requêtes simples) • avec CatCroiseur (complexes) • par date d'entrée

Les 53 pages suivantes figurent dans cette catégorie, sur un total de 53.

* Informatique théorique 2 21 problèmes NP-complets de Karp A Alignement d'ontologies Arbre des suffixes B Bisimulation C Codage Complexité Complexité de Kolmogorov Confluence (informatique) Continuation D DEVS Diophantien Dixième problème de Hilbert E Edward Kofler I Information Partielle Linéaire Interprétation abstraite K Kermeta

K (suite) Knuth-Bendix (algorithme) L Langage rationnel Linguistique informatique Logique combinatoire Logique de description Loi d'Amdahl Loi de Grosch M Machine à vecteurs de support Modèle (informatique) Modèle des croyances transférables Monade (informatique) P Pangramme autodescriptif Perceptron Prix Gödel Prix Knuth Prix Turing Propriété de Church-Rosser Préordre de simulation

R Recherche d'information Réseau de neurones Réécriture (informatique) S Système acceptable de programmation Système complexe Système de transition d'états Sémantique axiomatique Sémantique des langages de programmation Sémantique dénotationnelle Sémantique opérationnelle T Terminaison d'un système de réécriture Théorème de récursion de Kleene Théorie de Vapnik-Chervonenkis Théorie de la complexité Théorie des automates Théorie des automates finis Théorie des domaines V Variable libre

Catégorie : Informatique

Views

• Catégorie
• Discussion
• Version actuelle

Navigation

• Accueil
• Portails thématiques
• Index alphabétique
• Un article au hasard
• Contacter Wikipédia

Contribuer

• Aide
• Communauté
• Modifications récentes
• Accueil des nouveaux arrivants
• Faire un don

Rechercher

Autres langues

• Deutsch
• English
• Italiano
• 日本語
• Nederlands
• Polski
• Português
• Slovenčina
• 中文

• Cette page a été modifiée pour la dernière fois le 6 octobre 2007 à 23:32 par Utilisateur Grimlock. Basé sur le travail de Utilisateur(s) Jamcib, Erabot, Robert Weemeyer, Mathias.peron, K!roman et Aldoo.
• Droit d'auteur : Tous les textes sont disponibles sous les termes de la licence de documentation libre GNU (GFDL).
  Wikipedia® est une marque déposée de la Wikimedia Foundation, Inc., organisation de bienfaisance régie par le paragraphe 501(c)(3) du code fiscal des États-Unis.
  
• À propos de Wikipédia
• Avertissements

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -