Accès plus rapide que le navigateur!
122 relations: A Mathematical Theory of Communication, ACM Transactions on Algorithms, Acta Informatica, Alan Turing, Alfred Aho, Algèbre, Algèbre de Boole, Algorithmique, Alonzo Church, Apprentissage automatique, Architecture de von Neumann, Assistant de preuve, Association for Computing Machinery, Automate à pile, Automate cellulaire, Automate fini, Axiome, Base de données, Base de données relationnelle, Bertrand Russell, Bio-informatique, Calcul des prédicats, Calcul distribué, Castor affairé, Centre national de la recherche scientifique, Circuit booléen, Classe de complexité, Claude Shannon, Cobol, Cosmologie, Cryptographie, Dana S. Scott, David Hilbert, Discrete Mathematics & Theoretical Computer Science, Donald Knuth, Empirisme, ENIAC, Entropie (thermodynamique), Entropie de Shannon, European Association for Theoretical Computer Science, Fonction d'Ackermann, Fortran, Fundamenta Informaticae, Gabriel Cramer, Géométrie algorithmique, George Boole, Hiérarchie de Chomsky, Indexation automatique de documents, Information, Information and Computation, ..., Information Processing Letters, Informatique, Informatique quantique, Instruction conditionnelle (programmation), Intégration à très grande échelle, International Journal of Foundations of Computer Science, Jeffrey Ullman, John Hopcroft, John von Neumann, Journal of Automata, Languages and Combinatorics, Journal of the ACM, Juris Hartmanis, Lambda-calcul, Langage algébrique, Langage contextuel, Langage de programmation, Langage formel, Langage rationnel, Leonid Levin, Libre accès (édition scientifique), Lisp, Liste de publications importantes en informatique théorique, Logique, Logique mathématique, Machine de Turing, Machine de Turing universelle, Mathématiques, Mathématiques discrètes, Maurice Nivat, Méthode formelle (informatique), Michael Rabin, Noam Chomsky, Norbert Wiener, NP (complexité), Ordinateur, P (complexité), Parallélisme (informatique), Physique, Problème NP-complet, Problème P ≟ NP, Problème SAT, Programmation fonctionnelle, Programmation informatique, Réécriture (informatique), Récursivement énumérable, Relais électromécanique, Richard J. Lipton, Richard Karp, Ronald Aylmer Fisher, Routine (informatique), Sémantique des langages de programmation, Science formelle, SIAM Journal on Computing, Société informatique de France, Special Interest Group on Algorithms and Computation Theory, Stephen Cook, Structure de contrôle, Structure de données, Technologie, Théorème des quatre couleurs, Théorie algorithmique des nombres, Théorie de l'information, Théorie de la calculabilité, Théorie de la complexité (informatique théorique), Théorie des automates, Théorie des types, Theoretical Computer Science, Theory of Computing, Theory of Computing Systems, Traduction automatique, Warren Weaver, 1948. Développer l'indice (72 plus) »
A Mathematical Theory of Communication
A Mathematical Theory of Communication, paru en 1948, est un article du mathématicien américain Claude Shannon qui a fondé la théorie de l'information.
Nouveau!!: Informatique théorique et A Mathematical Theory of Communication · Voir plus »
ACM Transactions on Algorithms
ACM Transactions on Algorithms (abrégé en TALG) est une revue scientifique trimestrielle qui couvre le domaine de l'algorithmique.
Nouveau!!: Informatique théorique et ACM Transactions on Algorithms · Voir plus »
Acta Informatica
Acta Informatica est une revue scientifique évaluée par des pairs éditée par Springer Science+Business qui publie des articles originaux de recherche en informatique La revue est surtout connue pour ses publications en informatique théorique.
Nouveau!!: Informatique théorique et Acta Informatica · Voir plus »
Alan Turing
Alan Turing vers 1938. Alan Mathison Turing, né le à Londres et mort le à Wilmslow, est un mathématicien et cryptologue britannique, auteur de travaux qui fondent scientifiquement l'informatique.
Nouveau!!: Informatique théorique et Alan Turing · Voir plus »
Alfred Aho
Alfred Vaino Aho (né le à Timmins, Ontario) est un informaticien canadien qui travaille dans les laboratoires Bell; il est professeur d'informatique à l'université Columbia.
Nouveau!!: Informatique théorique et Alfred Aho · Voir plus »
Algèbre
L'algèbre (de l’arabe الجبر, al-jabr) est une branche des mathématiques qui permet d'exprimer les propriétés des opérations et le traitement des équations et aboutit à l'étude des structures algébriques.
Nouveau!!: Informatique théorique et Algèbre · Voir plus »
Algèbre de Boole
Algèbre de Boole peut désigner.
Nouveau!!: Informatique théorique et Algèbre de Boole · Voir plus »
Algorithmique
Organigramme de programmation représentant l'algorithme d'Euclide. Lalgorithmique est l'étude et la production de règles et techniques qui sont impliquées dans la définition et la conception d'algorithmes, c'est-à-dire de processus systématiques de résolution d'un problème permettant de décrire précisément des étapes pour résoudre un problème algorithmique.
Nouveau!!: Informatique théorique et Algorithmique · Voir plus »
Alonzo Church
Alonzo Church (Washington - Hudson) est un mathématicien (logicien) américain à qui l'on doit certains des fondements de l'informatique théorique.
Nouveau!!: Informatique théorique et Alonzo Church · Voir plus »
Apprentissage automatique
L'apprentissage automatique.
Nouveau!!: Informatique théorique et Apprentissage automatique · Voir plus »
Architecture de von Neumann
L’architecture dite architecture de von Neumann est un modèle pour un ordinateur qui utilise une structure de stockage unique pour conserver à la fois les instructions et les données demandées ou produites par le calcul.
Nouveau!!: Informatique théorique et Architecture de von Neumann · Voir plus »
Assistant de preuve
En informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques.
Nouveau!!: Informatique théorique et Assistant de preuve · Voir plus »
Association for Computing Machinery
L'ACM (en anglais « », littéralement « association pour les machines de calcul ») est une association internationale à but non lucratif fondée en 1947, la première à être vouée à l'informatique.
Nouveau!!: Informatique théorique et Association for Computing Machinery · Voir plus »
Automate à pile
Un automate à pile est une machine abstraite utilisée en informatique théorique et, plus précisément, en théorie des automates.
Nouveau!!: Informatique théorique et Automate à pile · Voir plus »
Automate cellulaire
À gauche, une règle locale simple: une cellule passe d'un état (i) au suivant (i+1) dans le cycle d'états dès que i+1 est présent dans au moins 3 des 8 cellules voisines. À droite, le résultat (complexe) de l'application répétée de cette règle sur une grille de cellules. Ce type d'automates cellulaires a été découvert par D. Griffeath. Un automate cellulaire consiste en une grille régulière de « cellules » contenant chacune un « état » choisi parmi un ensemble fini et qui peut évoluer au cours du temps.
Nouveau!!: Informatique théorique et Automate cellulaire · Voir plus »
Automate fini
Fig. 1: Une hiérarchie d'automates. Un automate fini ou automate avec un nombre fini d'états (en anglais ou ou FSM) est un modèle mathématique de calcul, utilisé dans de nombreuses circonstances, allant de la conception de programmes informatiques et de circuits en logique séquentielle aux applications dans des protocoles de communication, en passant par le contrôle des processus, la linguistique et même la biologie.
Nouveau!!: Informatique théorique et Automate fini · Voir plus »
Axiome
Un axiome (en grec ancien, « principe servant de base à une démonstration, principe évident en soi » – lui-même dérivé de, « juger convenable, croire juste ») est une proposition non démontrée, utilisée comme fondement d’un raisonnement ou d’une théorie mathématique.
Nouveau!!: Informatique théorique et Axiome · Voir plus »
Base de données
Une base de données permet de stocker et de retrouver des données structurées, semi-structurées ou des données brutes ou de l'information, souvent en rapport avec un thème ou une activité; celles-ci peuvent être de natures différentes et plus ou moins reliées entre elles.
Nouveau!!: Informatique théorique et Base de données · Voir plus »
Base de données relationnelle
Structure générale d'une base de données relationnelle. En informatique, une base de données relationnelle (en anglais) est une base de données où l'information est organisée dans des tableaux à deux dimensions appelés des relations ou tables, selon le modèle introduit par Edgar F. Codd en 1960.
Nouveau!!: Informatique théorique et Base de données relationnelle · Voir plus »
Bertrand Russell
Bertrand Arthur William Russell,, né le à Trellech (Monmouthshire) et mort le près de Penrhyndeudraeth (pays de Galles), est un mathématicien, logicien, philosophe, épistémologue, homme politique et moraliste britannique.
Nouveau!!: Informatique théorique et Bertrand Russell · Voir plus »
Bio-informatique
La bioinformatique (ou bio-informatique), est un champ de recherche multidisciplinaire de la biotechnologie où travaillent de concert biologistes, médecins, informaticiens, mathématiciens, physiciens et bioinformaticiens, dans le but de résoudre un problème scientifique posé par la biologie.
Nouveau!!: Informatique théorique et Bio-informatique · Voir plus »
Calcul des prédicats
En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique.
Nouveau!!: Informatique théorique et Calcul des prédicats · Voir plus »
Calcul distribué
Un calcul distribué, ou réparti ou encore partagé, est un calcul ou un traitement réparti sur plusieurs microprocesseurs et plus généralement sur plusieurs unités centrales informatiques, et on parle alors d'architecture distribuée ou de système distribué.
Nouveau!!: Informatique théorique et Calcul distribué · Voir plus »
Castor affairé
Un castor affairé est, en théorie de la calculabilité, une machine de Turing qui maximise son « activité opérationnelle » (comme le nombre de pas effectués ou le nombre de symboles écrits avant son arrêt) parmi toutes les machines de Turing d'une certaine classe.
Nouveau!!: Informatique théorique et Castor affairé · Voir plus »
Centre national de la recherche scientifique
Le Centre national de la recherche scientifique, plus connu sous son sigle CNRS, est le plus grand organisme public français de recherche scientifique.
Nouveau!!: Informatique théorique et Centre national de la recherche scientifique · Voir plus »
Circuit booléen
Exemple circuit booléen à deux entrées et une sortie. Le circuit contient 3 portes logique. En théorie de la complexité, un circuit booléen est un modèle de calcul constitué de portes logiques (fonctions logiques) reliées entre elles.
Nouveau!!: Informatique théorique et Circuit booléen · Voir plus »
Classe de complexité
En informatique théorique, et plus précisément en théorie de la complexité, une classe de complexité est un ensemble de problèmes algorithmiques dont la résolution nécessite la même quantité d'une certaine ressource.
Nouveau!!: Informatique théorique et Classe de complexité · Voir plus »
Claude Shannon
Claude Elwood Shannon (né le à Petoskey (Michigan) et mort le à Medford (Massachusetts)) est un ingénieur en génie électrique et mathématicien américain.
Nouveau!!: Informatique théorique et Claude Shannon · Voir plus »
Cobol
Cobol est un langage de programmation créé en 1959.
Nouveau!!: Informatique théorique et Cobol · Voir plus »
Cosmologie
La cosmologie est une branche de la physique qui regroupe les études scientifiques portant sur les propriétés de l'univers dans son ensemble, sa structure.
Nouveau!!: Informatique théorique et Cosmologie · Voir plus »
Cryptographie
La machine de Lorenz utilisée par les nazis durant la Seconde Guerre mondiale pour chiffrer les communications militaires de haut niveau entre Berlin et les quartiers-généraux des différentes armées. La cryptographie est une des disciplines de la cryptologie s'attachant à protéger des messages (assurant confidentialité, authenticité et intégrité) en s'aidant souvent de secrets ou clés.
Nouveau!!: Informatique théorique et Cryptographie · Voir plus »
Dana S. Scott
Dana Stewart Scott, né le à Berkeley en Californie, est un mathématicien et informaticien américain.
Nouveau!!: Informatique théorique et Dana S. Scott · Voir plus »
David Hilbert
David Hilbert, né en 1862 à Königsberg et mort en 1943 à Göttingen, est un mathématicien allemand.
Nouveau!!: Informatique théorique et David Hilbert · Voir plus »
Discrete Mathematics & Theoretical Computer Science
Discrete Mathematics & Theoretical Computer Science est une revue scientifique électronique en libre accès (édition scientifique), à comité de lecture et évaluation par les pairs, couvrant les mathématiques discrètes et l'informatique théorique.
Nouveau!!: Informatique théorique et Discrete Mathematics & Theoretical Computer Science · Voir plus »
Donald Knuth
Donald Ervin Knuth (. La prononciation proposée est Ka-NOUSS.), né le à Milwaukee dans le Wisconsin, est un informaticien et mathématicien américain de renom, professeur émérite en informatique à l'université Stanford (en tant que « professeur émérite de l'art de programmer »).
Nouveau!!: Informatique théorique et Donald Knuth · Voir plus »
Empirisme
Roger Bacon, philosophe scolastique, précurseur de l’empirisme sous sa forme moderne. L'empirisme désigne un ensemble de théories philosophiques qui font de l'expérience sensible l'origine de toute connaissance ou croyance et de tout plaisir esthétique.
Nouveau!!: Informatique théorique et Empirisme · Voir plus »
ENIAC
LENIAC (acronyme de l'expression anglaise Electronic Numerical Integrator And Computer) est en 1945 le premier ordinateur entièrement électronique pouvant être Turing-complet.
Nouveau!!: Informatique théorique et ENIAC · Voir plus »
Entropie (thermodynamique)
L'entropie est une grandeur physique qui caractérise le degré de désorganisation d'un système.
Nouveau!!: Informatique théorique et Entropie (thermodynamique) · Voir plus »
Entropie de Shannon
En théorie de l'information, l'entropie de Shannon, ou plus simplement entropie, est une fonction mathématique qui, intuitivement, correspond à la quantité d'information contenue ou fournie par une source d'information.
Nouveau!!: Informatique théorique et Entropie de Shannon · Voir plus »
European Association for Theoretical Computer Science
LEuropean Association for Theoretical Computer Science, en abrégé EATCS, en français Association européenne d'informatique théorique est une organisation européenne fondée en 1972.
Nouveau!!: Informatique théorique et European Association for Theoretical Computer Science · Voir plus »
Fonction d'Ackermann
Dans la théorie de la récursivité, la fonction d'Ackermann (aussi appelée fonction d'Ackermann-Péter) est un exemple simple de fonction récursive non récursive primitive, trouvée en 1926 par Wilhelm Ackermann.
Nouveau!!: Informatique théorique et Fonction d'Ackermann · Voir plus »
Fortran
240x240px Simulation en Fortran de l'accrétion autour d'un trou noir (www.bhac.science). Densité à gauche et densité d'énergie magnétique à droite (zoom). Fortran est un langage de programmation généraliste dont le domaine de prédilection est le calcul scientifique et le calcul numérique.
Nouveau!!: Informatique théorique et Fortran · Voir plus »
Fundamenta Informaticae
Fundamenta Informaticae est une revue scientifique en informatique théorique.
Nouveau!!: Informatique théorique et Fundamenta Informaticae · Voir plus »
Gabriel Cramer
Gabriel Cramer, né le à Genève et mort le à Bagnols-sur-Cèze, est un mathématicien genevois, professeur de mathématiques et de philosophie à l'académie de Genève.
Nouveau!!: Informatique théorique et Gabriel Cramer · Voir plus »
Géométrie algorithmique
Rendu d'un cylindre à l'aide d'un programme d'ordinateur. La géométrie algorithmique est le domaine de l'algorithmique qui traite des algorithmes manipulant des concepts géométriques.
Nouveau!!: Informatique théorique et Géométrie algorithmique · Voir plus »
George Boole
George Boole, né le à Lincoln (Royaume-Uni) et mort le à Ballintemple (Irlande), est un logicien, mathématicien et philosophe britannique.
Nouveau!!: Informatique théorique et George Boole · Voir plus »
Hiérarchie de Chomsky
Hiérarchie de Chomsky. En informatique théorique, en théorie des langages, et en calculabilité, la hiérarchie de Chomsky (parfois appelée hiérarchie de Chomsky-Schützenberger) est une classification des grammaires formelles (et par extension, des langages formels respectifs engendrés par les grammaires), esquissée par Noam Chomsky en 1956, et décrite de façon formelle en 1959.
Nouveau!!: Informatique théorique et Hiérarchie de Chomsky · Voir plus »
Indexation automatique de documents
L’indexation automatique de documents est un domaine de l'informatique et des sciences de l'information et des bibliothèques qui utilise des méthodes logicielles pour organiser un ensemble de documents et faciliter ultérieurement la recherche de contenu dans cette collection.
Nouveau!!: Informatique théorique et Indexation automatique de documents · Voir plus »
Information
Pictogramme représentant une information. L’information est un de la discipline des sciences de l'information et de la communication (SIC).
Nouveau!!: Informatique théorique et Information · Voir plus »
Information and Computation
Information and Computation est une revue scientifique informatique mensuelle publiée par Elsevier (anciennement Academic Press).
Nouveau!!: Informatique théorique et Information and Computation · Voir plus »
Information Processing Letters
Information Processing Letters est une revue scientifique dans le domaine de l'informatique dont les articles sont évalués par les pairs.
Nouveau!!: Informatique théorique et Information Processing Letters · Voir plus »
Informatique
bibliothèque d'Art et d'Archéologie de Genève (2017). L'informatique est un domaine d'activité scientifique, technique, et industriel concernant le traitement automatique de l'information numérique par l'exécution de programmes informatiques hébergés par des dispositifs électriques-électroniques: des systèmes embarqués, des ordinateurs, des robots, des automates Ces champs d'application peuvent être séparés en deux branches.
Nouveau!!: Informatique théorique et Informatique · Voir plus »
Informatique quantique
L'informatique quantique est le sous-domaine de l'informatique qui traite des calculateurs quantiques et des associés.
Nouveau!!: Informatique théorique et Informatique quantique · Voir plus »
Instruction conditionnelle (programmation)
Diagramme de flux de Si En informatique, une instruction conditionnelle, (aussi appelé expression conditionnelle), est une fonction d'un langage de programmation, qui effectue différents calculs ou actions, en fonction de l'évaluation d'une condition booléenne, à savoir vraie ou fausse. Dans les langages de programmation impératifs, le terme « instruction conditionnelle » est souvent utilisé, alors qu'en programmation fonctionnelle, le terme « expression conditionnelle » est préféré, parce que ces termes ont tous une signification distincte.
Nouveau!!: Informatique théorique et Instruction conditionnelle (programmation) · Voir plus »
Intégration à très grande échelle
L'intégration à très grande échelle (ou VLSI pour Very-Large-Scale Integration en anglais) est une technologie de circuit intégré (CI) dont la densité d'intégration permet de supporter plus de 100 000 composants électroniques sur une même puce.
Nouveau!!: Informatique théorique et Intégration à très grande échelle · Voir plus »
International Journal of Foundations of Computer Science
L' International Journal of Foundations of Computer Science (Journal international des fondations de l'informatique) est une revue d'informatique publiée par World Scientific.
Nouveau!!: Informatique théorique et International Journal of Foundations of Computer Science · Voir plus »
Jeffrey Ullman
Jeffrey David Ullman, né le à New York, est un informaticien américain.
Nouveau!!: Informatique théorique et Jeffrey Ullman · Voir plus »
John Hopcroft
John Edward H. Hopcroft, né le à Seattle, est un informaticien américain, professeur émérite à l'université Cornell.
Nouveau!!: Informatique théorique et John Hopcroft · Voir plus »
John von Neumann
John von Neumann (János Lajos Neumann) (János Lajos Neumann en hongrois), né le à Budapest et mort le à Washington, est un mathématicien et physicien américano-hongrois.
Nouveau!!: Informatique théorique et John von Neumann · Voir plus »
Journal of Automata, Languages and Combinatorics
Le Journal of Automata, Languages and Combinatorics est une Revue scientifique d'informatique théorique.
Nouveau!!: Informatique théorique et Journal of Automata, Languages and Combinatorics · Voir plus »
Journal of the ACM
Journal of the ACM (Journal de l'ACM) est la revue scientifique majeure de l'Association for Computing Machinery (ACM).
Nouveau!!: Informatique théorique et Journal of the ACM · Voir plus »
Juris Hartmanis
Juris Hartmanis (né le à Riga en Lettonie et mort le) est un informaticien américain d'origine lettonne.
Nouveau!!: Informatique théorique et Juris Hartmanis · Voir plus »
Lambda-calcul
Le lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application.
Nouveau!!: Informatique théorique et Lambda-calcul · Voir plus »
Langage algébrique
En théorie des langages formels, un langage algébrique ou langage non contextuel est un langage qui est engendré par une grammaire algébrique.
Nouveau!!: Informatique théorique et Langage algébrique · Voir plus »
Langage contextuel
En informatique théorique, et spécialement en théorie des langages, un langage contextuel (en anglais) est un langage formel engendré par une grammaire contextuelle.
Nouveau!!: Informatique théorique et Langage contextuel · Voir plus »
Langage de programmation
Fragment de code écrit dans le langage de programmation JavaScript. Un langage de programmation est un langage informatique destiné à formuler des algorithmes et produire des programmes informatiques qui les appliquent.
Nouveau!!: Informatique théorique et Langage de programmation · Voir plus »
Langage formel
Un langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots.
Nouveau!!: Informatique théorique et Langage formel · Voir plus »
Langage rationnel
En théorie des langages, les langages rationnels ou langages réguliers ou encore langages reconnaissables peuvent être décrits de plusieurs façons équivalentes.
Nouveau!!: Informatique théorique et Langage rationnel · Voir plus »
Leonid Levin
Leonid Anatolievich Levin (Леонид Анатольевич Левин, né le à Dnipropetrovsk, RSS d'Ukraine) est un informaticien et logicien russo-ukraino-américain.
Nouveau!!: Informatique théorique et Leonid Levin · Voir plus »
Libre accès (édition scientifique)
Le libre accès ou accès ouvert (en anglais) a est la mise à disposition en ligne de contenus numériques, qui peuvent eux-mêmes être soit libres (Creative Commons), soit sous un des régimes de propriété intellectuelle.
Nouveau!!: Informatique théorique et Libre accès (édition scientifique) · Voir plus »
Lisp
Lisp est la plus ancienne famille de langages de programmation à la fois impératifs et fonctionnels.
Nouveau!!: Informatique théorique et Lisp · Voir plus »
Liste de publications importantes en informatique théorique
Voici une liste de publications importantes en informatique théorique, organisés par domaine.
Nouveau!!: Informatique théorique et Liste de publications importantes en informatique théorique · Voir plus »
Logique
La logique — du grec logikê, qui est un terme dérivé de lógos signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte.
Nouveau!!: Informatique théorique et Logique · Voir plus »
Logique mathématique
La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.
Nouveau!!: Informatique théorique et Logique mathématique · Voir plus »
Machine de Turing
En informatique théorique, une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur.
Nouveau!!: Informatique théorique et Machine de Turing · Voir plus »
Machine de Turing universelle
Une machine de Turing quelconque M réalise un calcul à partir d'une entrée écrite sur son ruban. Une machine de Turing universelle U simule le calcul de M sur l'entrée de M à partir d'une description de M et de l'entrée de M écrits sur le ruban de U. En informatique, plus précisément en informatique théorique, une machine de Turing universelle est une machine de Turing qui peut simuler n'importe quelle machine de Turing sur n'importe quelle entrée.
Nouveau!!: Informatique théorique et Machine de Turing universelle · Voir plus »
Mathématiques
Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.
Nouveau!!: Informatique théorique et Mathématiques · Voir plus »
Mathématiques discrètes
Les mathématiques discrètes, parfois appelées mathématiques finies, sont l'étude des structures mathématiques fondamentalement discrètes, par opposition aux structures continues.
Nouveau!!: Informatique théorique et Mathématiques discrètes · Voir plus »
Maurice Nivat
Maurice Paul Nivat, né le à Clermont-Ferrand et mort le à Sevran, est un informaticien français.
Nouveau!!: Informatique théorique et Maurice Nivat · Voir plus »
Méthode formelle (informatique)
En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification.
Nouveau!!: Informatique théorique et Méthode formelle (informatique) · Voir plus »
Michael Rabin
Michael Oser Rabin, né le à Breslau en Allemagne, maintenant Wrocław en Pologne) est un informaticien et un logicien israélien. Il a été récipiendaire du prix Turing, la récompense la plus prestigieuse en informatique.
Nouveau!!: Informatique théorique et Michael Rabin · Voir plus »
Noam Chomsky
Noam ChomskyDe son nom complet Avram Noam Chomsky.
Nouveau!!: Informatique théorique et Noam Chomsky · Voir plus »
Norbert Wiener
Norbert Wiener (né le à Columbia (Missouri), États-Unis, mort le à Stockholm, Suède) est un mathématicien américain, théoricien et chercheur en mathématiques appliquées, surtout connu comme le père fondateur de la cybernétique.
Nouveau!!: Informatique théorique et Norbert Wiener · Voir plus »
NP (complexité)
La classe NP est une classe très importante de la théorie de la complexité.
Nouveau!!: Informatique théorique et NP (complexité) · Voir plus »
Ordinateur
Un ordinateur est un système de traitement de l'information programmable tel que défini par Alan Turing et qui fonctionne par la lecture séquentielle d'un ensemble d'instructions, organisées en programmes, qui lui font exécuter des opérations logiques et arithmétiques.
Nouveau!!: Informatique théorique et Ordinateur · Voir plus »
P (complexité)
La classe P, aussi noté parfois PTIME ou DTIME(nO(1)), est une classe très importante de la théorie de la complexité, un domaine de l'informatique théorique et des mathématiques.
Nouveau!!: Informatique théorique et P (complexité) · Voir plus »
Parallélisme (informatique)
Blue Gene L cabinet, un des supercalculateurs massivement parallèles les plus rapides des années 2000. En informatique, le parallélisme consiste à mettre en œuvre des architectures d'électronique numérique permettant de traiter des informations de manière simultanée, ainsi que les algorithmes spécialisés pour celles-ci.
Nouveau!!: Informatique théorique et Parallélisme (informatique) · Voir plus »
Physique
La physique est la science qui essaie de comprendre, de modéliser et d'expliquer les phénomènes naturels de l'Univers.
Nouveau!!: Informatique théorique et Physique · Voir plus »
Problème NP-complet
En théorie de la complexité, un problème NP-complet ou problème NPC (c'est-à-dire un problème complet pour la classe NP) est un problème de décision vérifiant les propriétés suivantes.
Nouveau!!: Informatique théorique et Problème NP-complet · Voir plus »
Problème P ≟ NP
Représentation visuelle des deux configurations possibles. Le problème est une conjecture en mathématiques, et plus précisément en informatique théorique, considérée par de nombreux chercheurs comme une des plus importantes conjectures du domaine, et même des mathématiques en général.
Nouveau!!: Informatique théorique et Problème P ≟ NP · Voir plus »
Problème SAT
consulté le.
Nouveau!!: Informatique théorique et Problème SAT · Voir plus »
Programmation fonctionnelle
La programmation fonctionnelle est un paradigme de programmation de type déclaratif qui considère le calcul en tant qu'évaluation de fonctions mathématiques.
Nouveau!!: Informatique théorique et Programmation fonctionnelle · Voir plus »
Programmation informatique
Liste d'instructions sur le Commodore 64 La programmation, appelée aussi codage dans le domaine informatique, désigne l'ensemble des activités qui permettent l'écriture des programmes informatiques.
Nouveau!!: Informatique théorique et Programmation informatique · Voir plus »
Réécriture (informatique)
En informatique théorique, la réécriture (ou récriture) est un modèle de calcul dans lequel il s’agit de transformer des objets syntaxiques (mots, termes, lambda-termes, programmes, preuves, graphes, etc.) en appliquant des règles bien précises.
Nouveau!!: Informatique théorique et Réécriture (informatique) · Voir plus »
Récursivement énumérable
En théorie de la calculabilité, un ensemble d'entiers naturels est récursivement énumérable ou semi-décidable si.
Nouveau!!: Informatique théorique et Récursivement énumérable · Voir plus »
Relais électromécanique
Un relais électromécanique est un organe électrique permettant de distribuer la puissance à partir d'un ordre émis par la partie commande.
Nouveau!!: Informatique théorique et Relais électromécanique · Voir plus »
Richard J. Lipton
Richard J. Lipton, naissance le, est un chercheur anglo-américain en informatique reconnu notamment pour son travail en algorithmique et en cryptographie.
Nouveau!!: Informatique théorique et Richard J. Lipton · Voir plus »
Richard Karp
Richard Manning Karp (né le à Boston dans le Massachusetts) est un chercheur américain connu notamment pour ses recherches en optimisation combinatoire et théorie de la complexité.
Nouveau!!: Informatique théorique et Richard Karp · Voir plus »
Ronald Aylmer Fisher
Sir Ronald Aylmer Fisher est un biologiste et statisticien britannique, né à East Finchley le et mort le.
Nouveau!!: Informatique théorique et Ronald Aylmer Fisher · Voir plus »
Routine (informatique)
En informatique, une routine est une entité informatique qui encapsule une portion de code (une séquence d'instructions) effectuant un traitement spécifique bien identifié (asservissement, tâche, calcul) relativement indépendant du reste du programme, et qui peut être réutilisé dans le même programme, ou dans un autre.
Nouveau!!: Informatique théorique et Routine (informatique) · Voir plus »
Sémantique des langages de programmation
En informatique théorique, la sémantique formelle (des langages de programmation) est l’étude de la signification des programmes informatiques vus en tant qu’objets mathématiques.
Nouveau!!: Informatique théorique et Sémantique des langages de programmation · Voir plus »
Science formelle
Les sciences formelles (ou sciences logico-formelles) explorent déductivement, selon des règles de formation et de démonstration, des systèmes axiomatiques.
Nouveau!!: Informatique théorique et Science formelle · Voir plus »
SIAM Journal on Computing
La revue SIAM Journal on Computing (abrégée en SICOMP) est une revue scientifique centrée sur les aspects mathématiques et formelles de l’informatique.
Nouveau!!: Informatique théorique et SIAM Journal on Computing · Voir plus »
Société informatique de France
La Société informatique de France (SIF) est une association française fondée en 1985 sous le nom de Société des personnels enseignants et chercheurs en informatique de France (SPECIF).
Nouveau!!: Informatique théorique et Société informatique de France · Voir plus »
Special Interest Group on Algorithms and Computation Theory
Le Special Interest Group on Algorithms and Computation Theory (SIGACT) est le pôle d'intérêt commun de l'ACM consacré au soutien de la recherche sur l'informatique théorique.
Nouveau!!: Informatique théorique et Special Interest Group on Algorithms and Computation Theory · Voir plus »
Stephen Cook
Stephen Arthur Cook (né en 1939 à Buffalo dans l'État de New York) est un informaticien et mathématicien américano-canadien, qui a apporté plusieurs contributions majeures à la théorie de la complexité.
Nouveau!!: Informatique théorique et Stephen Cook · Voir plus »
Structure de contrôle
En programmation informatique, une structure de contrôle est une instruction particulière d'un langage de programmation impératif pouvant dévier le flot de contrôle du programme la contenant lorsqu'elle est exécutée.
Nouveau!!: Informatique théorique et Structure de contrôle · Voir plus »
Structure de données
En informatique, une structure de données est une manière d'organiser les données pour les traiter plus facilement.
Nouveau!!: Informatique théorique et Structure de données · Voir plus »
Technologie
conquête de l'espace. La technologie est l'étude des outils et des techniques.
Nouveau!!: Informatique théorique et Technologie · Voir plus »
Théorème des quatre couleurs
Le théorème des quatre couleurs indique qu'il est possible, en n'utilisant que quatre couleurs différentes, de colorier n'importe quelle carte découpée en régions connexes, de sorte que deux régions adjacentes (ou limitrophes), c'est-à-dire ayant toute une frontière (et non simplement un point) en commun reçoivent toujours deux couleurs distinctes.
Nouveau!!: Informatique théorique et Théorème des quatre couleurs · Voir plus »
Théorie algorithmique des nombres
La théorie algorithmique des nombres ou théorie calculatoire des nombres est une branche des mathématiques et de l'informatique qui essaie de fournir des solutions concrètes et efficaces à des problèmes calculatoires rencontrés en théorie des nombres.
Nouveau!!: Informatique théorique et Théorie algorithmique des nombres · Voir plus »
Théorie de l'information
La théorie de l'information, sans précision, est le nom usuel désignant la théorie de l'information de Shannon, qui est une théorie utilisant les probabilités pour quantifier le contenu moyen en information d'un ensemble de messages, dont le codage informatique satisfait une distribution statistique que l'on pense connaître.
Nouveau!!: Informatique théorique et Théorie de l'information · Voir plus »
Théorie de la calculabilité
La théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique.
Nouveau!!: Informatique théorique et Théorie de la calculabilité · Voir plus »
Théorie de la complexité (informatique théorique)
P est la classe des problèmes décidés en temps polynomial par une machine de Turing déterministe. La théorie de la complexité est le domaine des mathématiques, et plus précisément de l'informatique théorique, qui étudie formellement le temps de calcul, l'espace mémoire (et plus marginalement la taille d'un circuit, le nombre de processeurs, l'énergie consommée…) requis par un algorithme pour résoudre un problème algorithmique.
Nouveau!!: Informatique théorique et Théorie de la complexité (informatique théorique) · Voir plus »
Théorie des automates
En informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul.
Nouveau!!: Informatique théorique et Théorie des automates · Voir plus »
Théorie des types
En mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques.
Nouveau!!: Informatique théorique et Théorie des types · Voir plus »
Theoretical Computer Science
Theoretical Computer Science (abrégé en TCS) est une revue scientifique publiée par Elsevier Science, dont la parution a commencé en 1975 et qui couvre l'ensemble de l'informatique théorique.
Nouveau!!: Informatique théorique et Theoretical Computer Science · Voir plus »
Theory of Computing
Theory of Computing est une revue scientifique dont les articles sont évalués par les pairs, en accès libre, qui couvre des thèmes d'informatique théorique.
Nouveau!!: Informatique théorique et Theory of Computing · Voir plus »
Theory of Computing Systems
Theory of Computing Systems est une revue scientifique à évaluation par les pairs qui publie des articles dans tous les domaines de l'informatique théorique et ses domaines connexes.
Nouveau!!: Informatique théorique et Theory of Computing Systems · Voir plus »
Traduction automatique
La traduction automatique désigne la traduction brute d'un texte entièrement réalisée par un ou plusieurs programmes informatiques.
Nouveau!!: Informatique théorique et Traduction automatique · Voir plus »
Warren Weaver
Warren Weaver, né le à Reedsburg (Wisconsin) et mort le à New Milford (Connecticut), est un scientifique américain, mathématicien et administrateur de la recherche.
Nouveau!!: Informatique théorique et Warren Weaver · Voir plus »
1948
L'année 1948 est une année bissextile qui commence un jeudi.
Nouveau!!: Informatique théorique et 1948 · Voir plus »
Redirections ici:
Informatique theorique, Sciences Informatiques.
