Table des matières
128 relations: Algèbre de Kleene, Algèbre de processus, Algorithme, Algorithme d'approximation, Algorithme d'Edmonds-Karp, Algorithme de Hopcroft-Karp, Algorithme de Rabin-Karp, Algorithmique, Apprentissage automatique, Apprentissage PAC, APX (complexité), Arto Salomaa, Assistant de preuve, Automate à pile, Automate fini, Éva Tardos, Bisimulation, Bordeaux, Boris Trakhtenbrot, Calcul distribué, Calcul formel, Christopher Strachey, Christos Papadimitriou, Combinatoire des mots, Complétion de Knuth-Bendix, Complexité de la communication, Complexité des preuves, Complexité descriptive, Copenhague, Coq (logiciel), Corrado Böhm, Couplage (théorie des graphes), Crète, Cryptographie, Dana S. Scott, Dexter Kozen, Eindhoven, European Association for Theoretical Computer Science, Géométrie algorithmique, Gérard Huet, Genève, Glasgow, Gordon Plotkin, Groupe automatique, Grzegorz Rozenberg, Inférence de types, Informatique théorique, Intégration à très grande échelle, International Colloquium on Automata, Languages and Programming, Kurt Mehlhorn, ... Développer l'indice (78 plus) »
Algèbre de Kleene
En mathématiques, une algèbre de Kleene (du nom du logicien américain Stephen Cole Kleene) correspond à l'un des deux concepts suivants.
Voir Prix EATCS et Algèbre de Kleene
Algèbre de processus
Les algèbres de processus sont une famille de langages formels permettant de modéliser les systèmes (informatiques) concurrents ou distribués.
Voir Prix EATCS et Algèbre de processus
Algorithme
triangulation). Un algorithme est une suite finie et non ambiguë d'instructions et d’opérations permettant de résoudre une classe de problèmes.
Algorithme d'approximation
En informatique théorique, un algorithme d'approximation est une méthode permettant de calculer une solution approchée à un problème algorithmique d'optimisation.
Voir Prix EATCS et Algorithme d'approximation
Algorithme d'Edmonds-Karp
En informatique et en théorie des graphes, lalgorithme d'Edmonds–Karp (ou algorithme d'Edmonds et Karp) est une spécialisation de l'algorithme de Ford-Fulkerson de résolution du problème de flot maximum dans un réseau, en temps O(V E).
Voir Prix EATCS et Algorithme d'Edmonds-Karp
Algorithme de Hopcroft-Karp
En informatique, lalgorithme de Hopcroft-Karp est un algorithme qui prend en entrée un graphe biparti et qui produit en sortie un couplage de cardinalité maximum, c'est-à-dire un ensemble d'arêtes aussi grand que possible avec la propriété que deux arêtes ne partagent jamais une extrémité.
Voir Prix EATCS et Algorithme de Hopcroft-Karp
Algorithme de Rabin-Karp
L’algorithme de Rabin-Karp ou algorithme de Karp-Rabin est un algorithme de recherche de sous-chaîne créé par Richard M. Karp et Michael O. Rabin (1987).
Voir Prix EATCS et Algorithme de Rabin-Karp
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.
Voir Prix EATCS et Algorithmique
Apprentissage automatique
L'apprentissage automatique.
Voir Prix EATCS et Apprentissage automatique
Apprentissage PAC
L'apprentissage PAC (pour probably approximately correct en anglais) est un cadre théorique pour l'apprentissage automatique.
Voir Prix EATCS et Apprentissage PAC
APX (complexité)
En théorie de la complexité, APX est la classe des problèmes algorithmiques pour lesquels il existe un algorithme d'approximation en temps polynomial avec un ratio d'approximation constant.
Voir Prix EATCS et APX (complexité)
Arto Salomaa
Arto Kustaa Salomaa, né le à Turku, en Finlande, est un mathématicien et informaticien théoricien finnois.
Voir Prix EATCS et Arto Salomaa
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.
Voir Prix EATCS et Assistant de preuve
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.
Voir Prix EATCS et Automate à pile
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.
Voir Prix EATCS et Automate fini
Éva Tardos
Éva Tardos, née en 1957 à Budapest, est une mathématicienne d'origine hongroise.
Bisimulation
En informatique théorique, une bisimulation est une relation binaire entre systèmes de transition d'états, associant les systèmes qui se comportent de la même façon au sens qu'un des systèmes simule l'autre et vice-versa.
Voir Prix EATCS et Bisimulation
Bordeaux
Bordeaux (Prononciation en français standard retranscrite phonétiquement selon la norme API.) Bordèu (/burdεw/) en gascon, est une commune française, chef-lieu de la région Nouvelle-Aquitaine, préfecture du département de la Gironde.
Boris Trakhtenbrot
Boris Avraamovitch Trakhtenbrot (en Борис Авраамович Трахтенброт, en בועז טרכטנברוט), dont le prénom est aussi Boaz, né le dans le village de Briceva (raion de Dondușeni, en Moldavie, alors intégré au royaume de Roumanie), et mort le à Rehovot (Israël), est un informaticien théoricien, logicien et mathématicien roumain, soviétique, devenu israélien.
Voir Prix EATCS et Boris Trakhtenbrot
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é.
Voir Prix EATCS et Calcul distribué
Calcul formel
Le calcul formel, ou parfois calcul symbolique, est le domaine des mathématiques et de l’informatique qui s’intéresse aux algorithmes opérant sur des objets de nature mathématique par le biais de représentations finies et exactes.
Voir Prix EATCS et Calcul formel
Christopher Strachey
Christopher Strachey (né le, décédé le d'une hépatite) est un informaticien britannique.
Voir Prix EATCS et Christopher Strachey
Christos Papadimitriou
Christos Harilaos Papadimitriou (en Χρήστος Χαρίλαος Παπαδημητρίου), né le à Athènes, est un professeur et chercheur en informatique grec.
Voir Prix EATCS et Christos Papadimitriou
Combinatoire des mots
La combinatoire des mots est une branche des mathématiques et de l'informatique théorique qui applique l'analyse combinatoire aux mots finis ou infinis.
Voir Prix EATCS et Combinatoire des mots
Complétion de Knuth-Bendix
Principe de la complétion de Knuth-Bendix: transformer des équations (ici, en entrée, ce sont les axiomes des groupes) en un système de réécriture confluent et qui termine. La procédure de complétion de Knuth-Bendix ou complétion de Knuth-Bendix (aussi appelée algorithme de Knuth-BendixD.
Voir Prix EATCS et Complétion de Knuth-Bendix
Complexité de la communication
La complexité de la communication ou complexité de communication est une notion étudiée en informatique théorique.
Voir Prix EATCS et Complexité de la communication
Complexité des preuves
En informatique théorique, la complexité des preuves ou complexité des démonstrations est le domaine qui étudie les ressources nécessaires pour prouver ou réfuter un énoncé mathématique.
Voir Prix EATCS et Complexité des preuves
Complexité descriptive
En informatique théorique, la complexité descriptive est une branche de la théorie de la complexité et de la théorie des modèles, qui caractérise les classes de complexité en termes de logique qui permet de décrire les problèmes.
Voir Prix EATCS et Complexité descriptive
Copenhague
Copenhague (prononcé) est la capitale et la plus grande ville du Danemark.
Coq (logiciel)
Coq est un assistant de preuve utilisant le langage Gallina, développé par l'équipe de l’Inria au sein du laboratoire du CNRS et en partenariat avec l'École polytechnique, le CNAM, l'Université Paris Diderot et l'Université Paris-Sud (et antérieurement l'École normale supérieure de Lyon).
Voir Prix EATCS et Coq (logiciel)
Corrado Böhm
Corrado Böhm, né le à Milan et mort le à Rome, est un informaticien théoricien italien.
Voir Prix EATCS et Corrado Böhm
Couplage (théorie des graphes)
En théorie des graphes, un couplage ou appariement (en anglais) d'un graphe est un ensemble d'arêtes de ce graphe qui n'ont pas de sommets en commun.
Voir Prix EATCS et Couplage (théorie des graphes)
Crète
La Crète (en grec:; en grec ancien) est une île grecque, autrefois appelée « île de Candie ».
Voir Prix EATCS et Crète
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.
Voir Prix EATCS et Cryptographie
Dana S. Scott
Dana Stewart Scott, né le à Berkeley en Californie, est un mathématicien et informaticien américain.
Voir Prix EATCS et Dana S. Scott
Dexter Kozen
Dexter Campbell Kozen (né le) est un informaticien théoricien américain.
Voir Prix EATCS et Dexter Kozen
Eindhoven
Eindhoven est une ville et commune néerlandaise, située en province de Brabant-Septentrional.
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.
Voir Prix EATCS et European Association for Theoretical Computer Science
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.
Voir Prix EATCS et Géométrie algorithmique
Gérard Huet
Gérard Huet (né le à Bourges) est un logicien et chercheur en informatique théorique français.
Voir Prix EATCS et Gérard Huet
Genève
Genève est une ville suisse située à l'extrémité sud-ouest du Léman.
Voir Prix EATCS et Genève
Glasgow
Glasgow (en français: Prononciation en français de France retranscrite selon la norme API.; en anglais: Prononciation en anglais écossais retranscrite selon la norme API. ou Prononciation en anglais britannique (Received Pronunciation) retranscrite selon la norme API.; en scots: Glesga; en gaélique écossais: Glaschu) est la principale métropole d’Écosse et la troisième ville du Royaume-Uni, derrière Londres et Birmingham.
Gordon Plotkin
Gordon David Plotkin, né le à Glasgow, est un informaticien théoricien britannique.
Voir Prix EATCS et Gordon Plotkin
Groupe automatique
En mathématiques, un groupe automatique est un groupe décrit à l'aide d'automates finis.
Voir Prix EATCS et Groupe automatique
Grzegorz Rozenberg
Grzegorz Rozenberg, né le à Varsovie, est un informaticien théoricien néerlandais d'origine polonaise.
Voir Prix EATCS et Grzegorz Rozenberg
Inférence de types
L'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source.
Voir Prix EATCS et Inférence de types
Informatique théorique
Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique.
Voir Prix EATCS et Informatique théorique
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.
Voir Prix EATCS et Intégration à très grande échelle
International Colloquium on Automata, Languages and Programming
International Colloquium on Automata, Languages and Programming (abrégé en ICALP) est la principale conférence académique européenne en informatique théorique.
Voir Prix EATCS et International Colloquium on Automata, Languages and Programming
Kurt Mehlhorn
Kurt Mehlhorn (né le à Ingolstadt) est un chercheur en informatique allemand, connu pour ses travaux en algorithmique, géométrie algorithmique, théorie de la complexité, complexité de la communication et algorithmique des graphes.
Voir Prix EATCS et Kurt Mehlhorn
Kyoto
Kyoto ou est une ville japonaise de la région du Kansai, au centre de Honshū.
Voir Prix EATCS et Kyoto
L-Système
En informatique théorique, un L-système ou système de Lindenmayer est un système de réécriture ou grammaire formelle, inventé en 1968 par le biologiste hongrois Aristid Lindenmayer.
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.
Voir Prix EATCS et Lambda-calcul
Langage formel
Un langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots.
Voir Prix EATCS et Langage formel
Leslie Valiant
Leslie Gabriel Valiant est un informaticien théorique britannique né le à Budapest.
Voir Prix EATCS et Leslie Valiant
Lisbonne
Lisbonne est la capitale et la plus grande ville du Portugal.
Liste d'algorithmes
Cette liste recense des algorithmes par catégorie.
Voir Prix EATCS et Liste d'algorithmes
Logique modale
En logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités.
Voir Prix EATCS et Logique modale
Logique monadique du second ordre
En logique monadique du second ordre, il y a des variables du premier ordre (x, y, etc.) qui représentent des éléments du domaine et des variables du second ordre (A, Z, etc.) qui représentent des sous-ensembles d'éléments. En logique mathématique et en informatique théorique, la logique monadique du second ordre (abrégé en MSO pour monadic second order) est l'extension de la logique du premier ordre avec des variables dénotant des ensembles.
Voir Prix EATCS et Logique monadique du second ordre
Machine abstraite
En informatique théorique, et notamment en théorie des automates, un automate abstrait ou une machine abstraite est un modèle théorique d'un ordinateur digital et discret.
Voir Prix EATCS et Machine abstraite
Machine de Turing alternante
En informatique théorique, et notamment en théorie de la complexité, les machines de Turing alternantes sont une généralisation des machines de Turing non déterministes.
Voir Prix EATCS et Machine de Turing alternante
Malaga
Malaga (en Málaga) est une ville espagnole, capitale de la province de Malaga faisant partie de la Communauté autonome d'Andalousie.
Voir Prix EATCS et Malaga
Marcel-Paul Schützenberger
Marcel-Paul Schützenberger, né le à Paris et mort le dans la même ville, est un scientifique français, dont les recherches ont d'abord porté sur la médecine et la biologie, mais surtout connu pour ses travaux en mathématiques, en informatique théorique et en combinatoire.
Voir Prix EATCS et Marcel-Paul Schützenberger
Martin Dyer
Martin Edward Dyer (né le à Ryde, sur l'Île de Wight, en Angleterre) est un mathématicien et un information théoricien, spécialiste de la complexité des problèmes d'optimisation.
Voir Prix EATCS et Martin Dyer
Maurice Nivat
Maurice Paul Nivat, né le à Clermont-Ferrand et mort le à Sevran, est un informaticien français.
Voir Prix EATCS et Maurice Nivat
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.
Voir Prix EATCS et Méthode formelle (informatique)
Michael Stewart Paterson
Michael Stewart « Mike » Paterson, né en 1942, est un informaticien théoricien britannique, spécialiste en conception et analyse des algorithmes et en théorie de la complexité.
Voir Prix EATCS et Michael Stewart Paterson
Mihalis Yannakakis
Mihalis Yannakakis est un chercheur en informatique, né le à Athènes.
Voir Prix EATCS et Mihalis Yannakakis
ML (langage)
ML (contraction de Meta Language) est un langage de programmation généraliste fonctionnel.
Voir Prix EATCS et ML (langage)
Monoïde des traces
En mathématiques et en informatique, une trace est un ensemble de mots, où certaines lettres peuvent commuter, et d'autres non.
Voir Prix EATCS et Monoïde des traces
Moshe Vardi
Moshe Ya'akov Vardi (משה יעקב ורדי), né en, est professeur d'informatique à l'Université Rice, aux États-Unis.
Voir Prix EATCS et Moshe Vardi
Noam Nisan
Noam Nisan, né en 1961, est un chercheur et professeur israélien d'informatique de l'université hébraïque de Jérusalem (HUJI), connu pour son travail en théorie de la complexité, en théorie algorithmique des jeux et en complexité de la communication.
Optimisation (mathématiques)
L'optimisation est une branche des mathématiques cherchant à modéliser, à analyser et à résoudre analytiquement ou numériquement les problèmes qui consistent à minimiser ou maximiser une fonction sur un ensemble.
Voir Prix EATCS et Optimisation (mathématiques)
Optimisation combinatoire
L’optimisation combinatoire, (sous-ensemble à nombre de solutions finies de l'optimisation discrète), est une branche de l'optimisation en mathématiques appliquées et en informatique, également liée à la recherche opérationnelle, l'algorithmique et la théorie de la complexité.
Voir Prix EATCS et Optimisation combinatoire
Optimisation de code
En programmation informatique, l'optimisation de code est la pratique consistant à améliorer l'efficacité du code informatique d'un programme ou d'une bibliothèque logicielle.
Voir Prix EATCS et Optimisation de code
Optimisation linéaire
Optimisation linéaire dans un espace à deux dimensions (''x''1, ''x''2). La fonction-coût ''f''c est représentée par les lignes de niveau bleues à gauche et par le plan bleu à droite. L'ensemble admissible E est le pentagone vert.
Voir Prix EATCS et Optimisation linéaire
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.
Voir Prix EATCS et Parallélisme (informatique)
Patras
Patras (Πάτρα: Pátra; katharévousa et Πάτραι / Pátrai, Patrae, Patres) est une ville de Grèce, située en Achaïe au nord de la péninsule du Péloponnèse, sur le golfe homonyme ouvrant sur la mer Ionienne.
Voir Prix EATCS et Patras
Patrick Cousot
Patrick Cousot (né le) est enseignant-chercheur en informatique français, professeur émérite à l'École normale supérieure à Paris.
Voir Prix EATCS et Patrick Cousot
Pi-calcul
Le Pi-calcul (ou π-calcul) est un langage de programmation théorique inventé par Robin Milner.
Prague
Prague est la capitale et la plus grande ville de la Tchéquie, en Bohême.
Voir Prix EATCS et Prague
Problème de flot maximum
Un exemple de graphe de flot avec un flot maximum. la source est s, et le puits t. Les nombres indiquent le flot et la capacité. Le problème de flot maximum consiste à trouver, dans un réseau de flot, un flot réalisable depuis une source unique et vers un puits unique qui soit maximum.
Voir Prix EATCS et Problème de flot maximum
Problème de satisfaction de contraintes
Les problèmes de satisfaction de contraintes ou CSP sont des problèmes mathématiques où l'on cherche des états ou des objets satisfaisant un certain nombre de contraintes ou de critères.
Voir Prix EATCS et Problème de satisfaction de contraintes
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.
Voir Prix EATCS et Problème NP-complet
Programmation concurrente
La programmation concurrente est un paradigme de programmation tenant compte, dans un programme, de l'existence de plusieurs piles sémantiques qui peuvent être appelées threads, processus ou tâches.
Voir Prix EATCS et Programmation concurrente
Programmation réactive
En informatique, la programmation réactive est un paradigme de programmation visant à conserver une cohérence d'ensemble en propageant les modifications d'une source réactive (modification d'une variable, entrée utilisateur, etc.) aux éléments dépendants de cette source.
Voir Prix EATCS et Programmation réactive
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.
Voir Prix EATCS et Réécriture (informatique)
Réseau de Petri
Un réseau de Petri (aussi connu comme un réseau de Place/Transition ou réseau de P/T) est un modèle mathématique servant à représenter divers systèmes (informatiques, industriels…) travaillant sur des variables discrètes.
Voir Prix EATCS et Réseau de Petri
Reykjavik
Reykjavik (en islandais Reykjavík Prononciation en islandais retranscrite phonémiquement selon la norme API., littéralement « Baie-des-Fumées ») est la capitale de l'Islande.
Rhodes
Porte d'entrée du palais des Grands Maîtres, à Rhodes. Rhodes (en Ῥόδος /, Ρόδος /) est une île grecque, la plus grande du Dodécanèse.
Voir Prix EATCS et Rhodes
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é.
Voir Prix EATCS et Richard Karp
Riga
Riga est la capitale de la Lettonie.
Voir Prix EATCS et Riga
Robin Milner
Arthur John Robin Gorell Milner, né le à Yealmpton, près de Plymouth et mort le à Cambridge, est un informaticien britannique.
Voir Prix EATCS et Robin Milner
Robotique
Nao, un robot humanoïde. Des robots industriels au travail dans une usine. La robotique est l'ensemble des techniques permettant la conception et la réalisation de machines automatiques ou de robots.
Rome
Vue nocturne sur le pont Saint-Ange et la basilique Saint-Pierre. Rome vue de la colline du Janicule. Rome vue de Saint-Pierre. Rome est la capitale de l'Italie.
Voir Prix EATCS et Rome
Sarrebruck
Sarrebruck (localement Saabrigge) est la capitale du Land de la Sarre, le plus petit État allemand en surface et en population, quoique très densément peuplé, et une des seize capitales d’État de la République fédérale d'Allemagne.
Sémantique dénotationnelle
En informatique, la sémantique dénotationnelle est une des approches permettant de formaliser la signification d'un programme en utilisant les mathématiques.
Voir Prix EATCS et Sémantique dénotationnelle
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.
Voir Prix EATCS et Sémantique des langages de programmation
Sémantique opérationnelle
En informatique, la sémantique opérationnelle est l'une des approches qui servent à donner une signification aux programmes informatiques d'une manière rigoureuse, mathématiquement parlant (voir Sémantique des langages de programmation).
Voir Prix EATCS et Sémantique opérationnelle
Sharp-P
Considérons une machine de Turing non-déterministe en temps polynomial pour le problème dans NP correspondant un problème 'calculer f(x)' dans #P. f(x) est le nombre d'exécutions acceptantes dans l''arbre de calcul avec le mot x en entrée.
Sprouts
Le Sprouts (germes, ou choux de Bruxelles, en anglais) est un jeu de stratégie à deux joueurs, inventé en 1967 à l'Université de Cambridge par les mathématiciens John Horton Conway et Michael Paterson.
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.
Voir Prix EATCS et Structure de données
Système de gestion d'exceptions
Dans le contexte des langages de programmation fonctionnels et impératifs, un système de gestion d'exceptions ou SGE permet de gérer les conditions exceptionnelles pendant l'exécution du programme.
Voir Prix EATCS et Système de gestion d'exceptions
Système temps réel
En informatique, on parle d'un système temps réel lorsque ce système est capable de contrôler (ou piloter) un procédé physique à une vitesse adaptée à l'évolution du procédé contrôlé.
Voir Prix EATCS et Système temps réel
Théorème de Karp-Lipton
En théorie de la complexité, le théorème de Karp–Lipton affirme que si le problème de satisfiabilité booléenne (SAT) est résolu par une famille de circuits booléens avec un nombre polynomial de portes logiques (en la taille de la formule propositionnelle à tester), alors la hiérarchie polynomiale s’effondre au second niveau.
Voir Prix EATCS et Théorème de Karp-Lipton
Théorème de Trakhtenbrot
En logique mathématique, le théorème de Trakhtenbrot dit que le problème de validité d'une formule de la logique du premier ordre sur la classe des modèles finis est indécidable.
Voir Prix EATCS et Théorème de Trakhtenbrot
Théorème PCP
En théorie de la complexité, un domaine de l'informatique théorique, le théorème PCP (acronyme de l'anglais probabilistically checkable proof, qui peut se traduire en français par « preuve vérifiable en probabilité ») est une caractérisation de la classe NP dans le contexte d'un système de preuve interactive.
Voir Prix EATCS et Théorème PCP
Théorie algorithmique des jeux
La théorie algorithmique des jeux ou théorie des jeux algorithmique (en anglais, algorithmic game theory ou AGT) est un domaine entre les mathématiques, l'informatique théorique et l'économie.
Voir Prix EATCS et Théorie algorithmique des jeux
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.
Voir Prix EATCS et Théorie de la complexité (informatique théorique)
Théorie de la démonstration
La théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais), est une branche de la logique mathématique.
Voir Prix EATCS et Théorie de la démonstration
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.
Voir Prix EATCS et Théorie des automates
Théorie des bases de données
En informatique, la théorie des bases de données englobe un vaste ensemble de sujets relatifs aux études et recherches dans le domaine théorique des bases de données et de leur systèmes de gestion.
Voir Prix EATCS et Théorie des bases de données
Théorie des catégories
La théorie des catégories est l'étude des structures mathématiques et de leurs relations.
Voir Prix EATCS et Théorie des catégories
Théorie des domaines
La théorie des domaines est une branche des mathématiques dont le principal champ d'application se trouve en informatique théorique.
Voir Prix EATCS et Théorie des domaines
Théorie des modèles
La théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures.
Voir Prix EATCS et Théorie des modèles
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.
Voir Prix EATCS et Théorie des types
Thomas Henzinger
Thomas Henzinger (né le) est un informaticien autrichien spécialisé dans le domaine des méthodes formelles.
Voir Prix EATCS et Thomas Henzinger
Toniann Pitassi
Toniann Pitassi est une chercheuse en informatique théorique, et en particulier en théorie de la complexité.
Voir Prix EATCS et Toniann Pitassi
Topologie
Déformation continue d'une tasse avec une anse, en un tore (bouée). Un ruban de Möbius est une surface fermée dont le bord se réduit à un cercle. De tels objets sont des sujets étudiés par la topologie. La topologie est la branche de la géométrie qui étudie les propriétés d'objets géométriques préservées par déformation continue sans arrachage ni recollement, comme un élastique que l’on peut tendre sans le rompre.
Turku
Turku par le passé Aboen en français est une ville de Finlande de située dans le Sud-Ouest du pays à l’embouchure du fleuve côtier Aura.
Voir Prix EATCS et Turku
Unification
Unifier deux termes, c'est les rendre identiques en remplaçant les variables. En informatique et en logique, l'unification est un processus algorithmique qui, étant donnés deux termes, trouve une substitution qui appliquée aux deux termes les rend identiques.
Voir Prix EATCS et Unification
Varsovie
Varsovie (prononcé) est depuis 1596 la capitale de la Pologne et depuis 1999 le chef-lieu de la voïvodie de Mazovie.
Vérification de modèles
model checking''. En informatique, la vérification de modèles, ou en anglais, est le problème suivant: vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété.
Voir Prix EATCS et Vérification de modèles
Venise
Venise (/veˈnɛːtt͡sja/; ou Venexia /veˈnɛsja/) est une ville côtière du nord-est de l'Italie, sur les rives de la mer Adriatique.
Voir Prix EATCS et Venise
Vers de Paterson
Les vers de Paterson sont un ensemble de machines de Turing.
Voir Prix EATCS et Vers de Paterson
Warwick (Angleterre)
Warwick (war-ick (le w central est muet)) est la capitale de Warwickshire en Angleterre, avec une population de (au recensement de 2001).
Voir Prix EATCS et Warwick (Angleterre)
Wrocław
Wrocław, parfois francisé Vratislavie (en silésien: Prassel ou Brassel), est la troisième ville de Pologne par sa population, la cinquième par sa superficie, et l'une des plus anciennement fondées (vers le). Aujourd’hui chef-lieu de la voïvodie de Basse-Silésie, elle est desservie par l’aéroport de Wrocław-Nicolas-Copernic, le cinquième plus important du pays en nombre de passagers.
Zurich
Zurich (ou) (allemand: Zürich, suisse allemand: Züri, en Suisse, italien: Zurigo, romanche: Turitg) est une ville de Suisse, capitale du canton de Zurich.
Voir Prix EATCS et Zurich
Également connu sous le nom de EATCS award, Prix de l'EATCS, Prix de l'European Association for Theoretical Computer Science.