Prix Turing

Le prix Turing ou, en hommage à Alan Turing (1912-1954), est attribué tous les ans depuis 1966 à une personne sélectionnée pour sa contribution de nature technique faite à la communauté informatique.

Adi Shamir

Adi Shamir (en hébreu עדי שמיר), né le à Tel Aviv, est un mathématicien et un cryptologue israélien reconnu comme l'un des experts les plus éminents en cryptanalyse.

Nouveau!!: Prix Turing et Adi Shamir · Voir plus »

Alan Kay

Alan C. Kay, né le à Springfield au Massachusetts, est un informaticien américain.

Nouveau!!: Prix Turing et Alan Kay · Voir plus »

Alan Perlis

Alan Jay Perlis (-) est un informaticien américain et professeur à l'Université Purdue, à l'Université Carnegie-Mellon et à l'Université Yale.

Nouveau!!: Prix Turing et Alan Perlis · 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!!: Prix Turing 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!!: Prix Turing et Alfred Aho · Voir plus »

Algol (langage)

Algol est un langage de programmation créé à la fin des années 1950.

Nouveau!!: Prix Turing et Algol (langage) · Voir plus »

Algol W

Algol W est une version du langage Algol due à Niklaus Wirth, proposée au comité Algol 68 pour succéder à Algol 60.

Nouveau!!: Prix Turing et Algol W · Voir plus »

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.

Nouveau!!: Prix Turing et Algorithme · Voir plus »

Allen Emerson

Allen (Ernest) Emerson, né le à Dallas au Texas, est un chercheur en informatique, professeur à l'université du Texas à Austin aux États-Unis.

Nouveau!!: Prix Turing et Allen Emerson · Voir plus »

Allen Newell, né le, mort le, était un chercheur en informatique et psychologie cognitive à la compagnie RAND Corporation et à l'école d'informatique (School of Computer Science) de l'université Carnegie-Mellon.

Nouveau!!: Prix Turing et Allen Newell · Voir plus »

Amir Pnueli

Amir Pnueli (אמיר פנואלי) est un informaticien israélien né le et mort le d'une hémorragie intra-cérébrale.

Nouveau!!: Prix Turing et Amir Pnueli · Voir plus »

Andrew Yao

Andrew Chi-Chih Yao (chinois: 姚期智; pinyin: Yáo Qīzhì), né à Shanghai le, est un chercheur en informatique.

Nouveau!!: Prix Turing et Andrew Yao · Voir plus »

APL (langage)

L'APL (initialement, officieusement) est un langage de description de traitement de l'information devenu ensuite langage de programmation conçu entre 1957 et 1967 à Harvard par Kenneth Iverson pour décrire commodément des opérations globales sur des tableaux (booléens, numériques ou, dans une moindre mesure, de caractères).

Nouveau!!: Prix Turing et APL (langage) · Voir plus »

Apprentissage automatique

L'apprentissage automatique.

Nouveau!!: Prix Turing et Apprentissage automatique · Voir plus »

Apprentissage PAC

L'apprentissage PAC (pour probably approximately correct en anglais) est un cadre théorique pour l'apprentissage automatique.

Nouveau!!: Prix Turing et Apprentissage PAC · Voir plus »

Apprentissage profond

L'apprentissage profond.

Nouveau!!: Prix Turing et Apprentissage profond · 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!!: Prix Turing et Association for Computing Machinery · Voir plus »

Barbara Liskov

Barbara Liskov née Huberman (née le à Los Angeles) est une informaticienne américaine.

Nouveau!!: Prix Turing et Barbara Liskov · 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!!: Prix Turing et Base de données · Voir plus »

Bibliothèque logicielle

En informatique, une bibliothèque logicielle est une collection de routines, qui peuvent être déjà compilées et prêtes à être utilisées par des programmes.

Nouveau!!: Prix Turing et Bibliothèque logicielle · Voir plus »

Bletchley Park

Bletchley Park Mansion. Bletchley Park est un domaine situé dans la ville de Bletchley (faisant partie depuis 1967 de l'agglomération de Milton Keynes), dans le Buckinghamshire, dans le centre de l'Angleterre, et géré par le Bletchley Park Trust, en tant que site historique.

Nouveau!!: Prix Turing et Bletchley Park · Voir plus »

Butler Lampson

Butler W. Lampson (né le à Washington, IEEE) est un ingénieur informaticien américain.

Nouveau!!: Prix Turing et Butler Lampson · 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!!: Prix Turing et Calcul distribué · Voir plus »

Causalité

Exemple classique de la chute d'un domino causé par la chute d'un autre. En science, en philosophie et dans le langage courant, la causalité désigne la relation de cause à effet.

Nouveau!!: Prix Turing et Causalité · Voir plus »

Charles Antony Richard Hoare

Charles Antony Richard Hoare (généralement appelé Tony Hoare ou C. A. R. Hoare), né le à Colombo au Ceylan (maintenant Sri Lanka), est un professeur émérite britannique du Oxford University Computing Laboratory.

Nouveau!!: Prix Turing et Charles Antony Richard Hoare · Voir plus »

Charles Bachman

Charles William Bachman III, né le à Manhattan dans le Kansas et mort le à Lexington dans le Massachusetts, est informaticien américain, pionnier dans le domaine des bases de données et des réseaux informatiques.

Nouveau!!: Prix Turing et Charles Bachman · Voir plus »

Charles P. Thacker

Charles Patrick Thacker, dit Chuck Thacker (né à Pasadena (Californie) le et mort à Palo Alto (Californie) le) est un chercheur en informatique américain qui a contribué à fonder les domaines de l'interface graphique homme-machine, des réseaux de communication et des imprimantes laser.

Nouveau!!: Prix Turing et Charles P. Thacker · Voir plus »

Chiffrement RSA

Ronald Rivest (2015). Adi Shamir (2013). Leonard Adleman (2010). Le chiffrement RSA (nommé par les initiales de ses trois inventeurs) est un algorithme de cryptographie asymétrique, très utilisé dans le commerce électronique, et plus généralement pour échanger des données confidentielles sur Internet.

Nouveau!!: Prix Turing et Chiffrement RSA · Voir plus »

Compatible Time Sharing System

CTSS, qui signifie Compatible Time-Sharing System (en français, « système accomplissant du temps partagé compatible »), est l'un des premiers systèmes d'exploitation à temps partagé.

Nouveau!!: Prix Turing et Compatible Time Sharing System · Voir plus »

Compilateur

En informatique, un compilateur est un programme qui transforme un code source en un code objet.

Nouveau!!: Prix Turing et Compilateur · Voir plus »

Complexité de la communication

La complexité de la communication ou complexité de communication est une notion étudiée en informatique théorique.

Nouveau!!: Prix Turing et Complexité de la communication · Voir plus »

Conception assistée par ordinateur

vignette La conception assistée par ordinateur ou CAO (en anglais, computer aided design ou CAD) comprend l'ensemble des logiciels et des techniques de modélisation géométrique permettant de concevoir, de tester virtuellement – à l'aide d'un ordinateur et des techniques de simulation numérique – et de réaliser des produits manufacturés et les outils pour les fabriquer.

Nouveau!!: Prix Turing et Conception assistée par ordinateur · 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!!: Prix Turing et Cryptographie · Voir plus »

Cryptographie asymétrique

Schéma du chiffrement asymétrique: une clé sert à chiffrer et une seconde à déchiffrer La cryptographie asymétrique, ou cryptographie à clé publique est un domaine relativement récent de la cryptographie.

Nouveau!!: Prix Turing et Cryptographie asymétrique · Voir plus »

Cryptologie

Au cours de la Seconde Guerre mondiale, la machine de Lorenz est exploitée pour chiffrer les communications militaires allemandes de haute importance stratégique ou tactique. La cryptologie, étymologiquement la « science du secret », n'est considérée comme une science que depuis le.

Nouveau!!: Prix Turing et Cryptologie · Voir plus »

Dana S. Scott

Dana Stewart Scott, né le à Berkeley en Californie, est un mathématicien et informaticien américain.

Nouveau!!: Prix Turing et Dana S. Scott · Voir plus »

David Patterson

David A. Patterson, né le à Evergreen Park, est un scientifique américain, professeur émérite de l'université de Californie à Berkeley en génie électrique et informatique.

Nouveau!!: Prix Turing et David Patterson · Voir plus »

Dennis Ritchie

Dennis MacAlistair Ritchie, né le à Bronxville dans l'État de New York et retrouvé mort le à Berkeley Heights dans le New Jersey, est un des pionniers de l'informatique moderne, inventeur du langage C et codéveloppeur de Unix.

Nouveau!!: Prix Turing et Dennis Ritchie · Voir plus »

Dollar américain

Le dollar américain ou dollar des États-Unis ou dollar US (symbole monétaire: $; code ISO: USD pour United States dollar) est la monnaie nationale des États-Unis et de ses territoires d'outre-mer (comme Porto Rico); c'est aussi celle de l'Équateur, du Zimbabwe, des États fédérés de Micronésie, des Îles Marshall, des Palaos, du Panama, du Salvador, du Timor oriental, des Îles Turques-et-Caïques, des Îles Vierges britanniques et des Îles BES.

Nouveau!!: Prix Turing et Dollar américain · 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!!: Prix Turing et Donald Knuth · Voir plus »

Douglas Engelbart

Douglas Carl Engelbart (né le et mort le) est un ingénieur américain, un inventeur et un pionnier de l'informatique.

Nouveau!!: Prix Turing et Douglas Engelbart · Voir plus »

Edgar Frank Codd

Edgar Frank « Ted » Codd (-) est un informaticien britannique.

Nouveau!!: Prix Turing et Edgar Frank Codd · Voir plus »

Edmund M. Clarke

Edmund Melson Clarke, Jr. (-) est un informaticien universitaire connu pour ses contributions au model checking, une méthode de vérification de conceptions de logiciel et matériel.

Nouveau!!: Prix Turing et Edmund M. Clarke · Voir plus »

Edsger Dijkstra

Edsger Wybe Dijkstra (prononciation), né à Rotterdam le et mort à Nuenen le, est un mathématicien et informaticien néerlandais du.

Nouveau!!: Prix Turing et Edsger Dijkstra · Voir plus »

Edward Feigenbaum

Edward Albert Feigenbaum, né le à Weehawken dans le New Jersey, est un informaticien américain qui travaille dans le champ de l'intelligence artificielle.

Nouveau!!: Prix Turing et Edward Feigenbaum · Voir plus »

Edwin Catmull

Edwin Earl Catmull, né le à Parkersburg, Virginie-Occidentale, est un informaticien américain et un des fondateurs du studio d'animation Pixar.

Nouveau!!: Prix Turing et Edwin Catmull · Voir plus »

Effets spéciaux numériques

texte.

Nouveau!!: Prix Turing et Effets spéciaux numériques · Voir plus »

Ethernet

Connecteur RJ45 pour Ethernet. Ethernet est un protocole de communication utilisé pour les réseaux informatiques, exploitant la commutation de paquets.

Nouveau!!: Prix Turing et Ethernet · Voir plus »

Fernando Corbató

Fernando José Corbató, dit Corby, est un informaticien américain né le à Oakland en Californie et mort le à Newburyport dans le Massachusetts.

Nouveau!!: Prix Turing et Fernando Corbató · 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!!: Prix Turing et Fortran · Voir plus »

Frances Allen

Frances Elizabeth « Fran » Allen, née le à Peru (État de New York) et morte le à Schenectady (État de New York), est une informaticienne américaine.

Nouveau!!: Prix Turing et Frances Allen · Voir plus »

Frederick Brooks

Frederick Phillips Brooks, Jr.

Nouveau!!: Prix Turing et Frederick Brooks · Voir plus »

Geoffrey Hinton

Geoffrey Hinton, né le à Wimbledon (Royaume-Uni), est un chercheur canadien spécialiste de l'intelligence artificielle et plus particulièrement des réseaux de neurones artificiels.

Nouveau!!: Prix Turing et Geoffrey Hinton · Voir plus »

Google

Google LLC Prononciation en anglais américain retranscrite selon la norme API.

Nouveau!!: Prix Turing et Google · Voir plus »

Herbert Simon

Herbert Alexander Simon (né le à Milwaukee, Wisconsin, mort le à Pittsburgh, Pennsylvanie) est un économiste et sociologue américain ayant reçu le prix de la Banque de Suède en sciences économiques en mémoire d'Alfred Nobel en 1978.

Nouveau!!: Prix Turing et Herbert Simon · Voir plus »

Infographie tridimensionnelle

La synthèse d'images tridimensionnelles, souvent appelée infographie tridimensionnelle ou infographie 3D (3D pour trois dimensions: x, y, z, les trois axes qui constituent le repère orthonormé de la géométrie dans l'espace), est un ensemble de techniques notamment issues de la CAO qui permet la représentation d'objets en perspective sur un écran d'ordinateur.

Nouveau!!: Prix Turing et Infographie tridimensionnelle · 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!!: Prix Turing et Informatique · Voir plus »

Intel

Intel Corporation est une entreprise américaine fondée en 1968 par Gordon Moore, Robert Noyce et Andrew Grove.

Nouveau!!: Prix Turing et Intel · Voir plus »

Intelligence artificielle

assistants personnels intelligents sont l'une des applications concrètes de l'intelligence artificielle dans les années 2010. L'intelligence artificielle (IA) est un ensemble de théories et de techniques visant à réaliser des machines capables de simuler l'intelligence humaine.

Nouveau!!: Prix Turing et Intelligence artificielle · Voir plus »

Ivan Sutherland

Ivan Edward Sutherland, né le à Hastings dans le Nebraska, est un ingénieur en informatique américain et un pionnier de l'Internet.

Nouveau!!: Prix Turing et Ivan Sutherland · Voir plus »

Jack Dongarra

Jack J. Dongarra, né le à Chicago dans l'Illinois, est un universitaire américain, mathématicien et informaticien.

Nouveau!!: Prix Turing et Jack Dongarra · Voir plus »

James Gray (informaticien)

James Nicholas Gray, dit Jim Gray (né le et disparu en mer le) est un informaticien américain.

Nouveau!!: Prix Turing et James Gray (informaticien) · Voir plus »

James H. Wilkinson

James Hardy Wilkinson (né à Strood en Angleterre le – mort à Teddington le), mathématicien britannique spécialiste de l'analyse numérique matricielle.

Nouveau!!: Prix Turing et James H. Wilkinson · Voir plus »

Jeffrey Ullman

Jeffrey David Ullman, né le à New York, est un informaticien américain.

Nouveau!!: Prix Turing et Jeffrey Ullman · Voir plus »

John Backus

John Warner Backus (né à Philadelphie le – mort à Ashland (Oregon) le) est un informaticien américain.

Nouveau!!: Prix Turing et John Backus · Voir plus »

John Cocke

John Cocke, né le à Charlotte en Caroline du Nord aux États-Unis et mort le à Valhalla dans l'état de New York, est un informaticien et chercheur américain.

Nouveau!!: Prix Turing et John Cocke · Voir plus »

John Hopcroft

John Edward H. Hopcroft, né le à Seattle, est un informaticien américain, professeur émérite à l'université Cornell.

Nouveau!!: Prix Turing et John Hopcroft · Voir plus »

John L. Hennessy

John Leroy Hennessy est un informaticien américain né le.

Nouveau!!: Prix Turing et John L. Hennessy · Voir plus »

John McCarthy

John McCarthy, né le, à Boston (Massachusetts) et mort le à Stanford (Californie); sur Slate.fr, est le principal pionnier de l'intelligence artificielle avec Marvin Lee Minsky; il incarne le courant mettant l'accent sur la logique symbolique.

Nouveau!!: Prix Turing et John McCarthy · Voir plus »

Joseph Sifakis

Joseph Sifakis (en grec moderne: Ιωσήφ Σηφάκης, Iosif Sifakis) est un chercheur en informatique français d'origine grecque, né le à Héraklion (Crète), directeur de recherche au CNRS et membre de l'Académie des technologies.

Nouveau!!: Prix Turing et Joseph Sifakis · Voir plus »

Judea Pearl

Judea Pearl, né le, est un informaticien et philosophe américain.

Nouveau!!: Prix Turing et Judea Pearl · Voir plus »

Juris Hartmanis

Juris Hartmanis (né le à Riga en Lettonie et mort le) est un informaticien américain d'origine lettonne.

Nouveau!!: Prix Turing et Juris Hartmanis · Voir plus »

Ken Thompson

Kenneth Lane Thompson dit Ken Thompson (né le à La Nouvelle-Orléans) est un informaticien américain, concepteur des systèmes Unix et Plan 9 ainsi que des langages B et Go.

Nouveau!!: Prix Turing et Ken Thompson · Voir plus »

Kenneth Iverson

Kenneth Eugene Iverson (Camrose (Alberta Canada),, Toronto (Ontario Canada)) fut un informaticien connu pour l'invention des langages APL et J. Il devint IBM Fellow dès 1970 et en 1979, il fut récompensé par le prix Turing pour ses travaux théoriques reliant les langages de programmation et la notation mathématique, ces mêmes travaux ayant abouti au langage APL.

Nouveau!!: Prix Turing et Kenneth Iverson · Voir plus »

Kristen Nygaard

Kristen Nygaard, né le et mort le, est un informaticien norvégien, un pionnier des langages de programmation et un homme politique.

Nouveau!!: Prix Turing et Kristen Nygaard · 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!!: Prix Turing et Langage de programmation · Voir plus »

Leonard Adleman

Leonard Max Adleman, né le, est un chercheur américain en informatique théorique et professeur en informatique et en biologie moléculaire à l’université de la Californie du Sud.

Nouveau!!: Prix Turing et Leonard Adleman · Voir plus »

Leslie Lamport

Leslie B. Lamport, né le à New York, est un chercheur en informatique américain, spécialiste de l'algorithmique répartie.

Nouveau!!: Prix Turing et Leslie Lamport · Voir plus »

Leslie Valiant

Leslie Gabriel Valiant est un informaticien théorique britannique né le à Budapest.

Nouveau!!: Prix Turing et Leslie Valiant · Voir plus »

Machine de Turing non déterministe

Une machine de Turing non déterministe est similaire à une machine de Turing habituelle, qui, elle, est déterministe, mais s'en différencie dans le fait qu'étant non déterministe elle peut avoir plusieurs transitions activables, pour un état donné.

Nouveau!!: Prix Turing et Machine de Turing non déterministe · Voir plus »

Manuel Blum

Manuel Blum (né à Caracas le) est un informaticien américain, professeur en informatique à l'université Carnegie-Mellon.

Nouveau!!: Prix Turing et Manuel Blum · Voir plus »

Martin Hellman

Martin E. Hellman (né le) est un cryptologue américain, connu pour ses travaux sur la cryptographie asymétrique.

Nouveau!!: Prix Turing et Martin Hellman · Voir plus »

Marvin Minsky

Marvin Lee Minsky, PhD, né le à New York et mort le à Boston, est un scientifique américain.

Nouveau!!: Prix Turing et Marvin Minsky · Voir plus »

Maurice Vincent Wilkes

Sir Maurice Vincent Wilkes, né à Dudley (Staffordshire) le et mort à Cambridge, le à l'âge de 97 ans, est un professeur, chercheur, pionnier britannique de l'informatique.

Nouveau!!: Prix Turing et Maurice Vincent Wilkes · 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!!: Prix Turing et Michael Rabin · Voir plus »

Michael Stonebraker

Michael Stonebraker est un scientifique américain, informaticien spécialisé dans la recherche sur les bases de données.

Nouveau!!: Prix Turing et Michael Stonebraker · Voir plus »

ML (langage)

ML (contraction de Meta Language) est un langage de programmation généraliste fonctionnel.

Nouveau!!: Prix Turing et ML (langage) · Voir plus »

Modula-2

Modula est un langage de programmation créé en 1977 par Niklaus Wirth à l'École polytechnique fédérale de Zurich.

Nouveau!!: Prix Turing et Modula-2 · Voir plus »

Multics

Multics (acronyme de) est le nom d'un système d'exploitation en temps partagé.

Nouveau!!: Prix Turing et Multics · Voir plus »

Navigateur web

Chronologie des versions de navigateurs. Un navigateur web, navigateur Web.

Nouveau!!: Prix Turing et Navigateur web · Voir plus »

Niklaus Wirth

Niklaus Emil Wirth, né le, à Winterthour (Suisse), est un professeur d'informatique, inventeur de plusieurs langages de programmation.

Nouveau!!: Prix Turing et Niklaus Wirth · Voir plus »

Ole-Johan Dahl

Ole-Johan Dahl (-) est un informaticien norvégien.

Nouveau!!: Prix Turing et Ole-Johan Dahl · 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!!: Prix Turing et Parallélisme (informatique) · Voir plus »

Pascal (langage)

Pascal est un langage de programmation impératif qui, conçu pour l'enseignement, se caractérise par une syntaxe claire, rigoureuse et facilitant la structuration des programmes.

Nouveau!!: Prix Turing et Pascal (langage) · Voir plus »

Patrick Hanrahan

Patrick Hanrahan est un chercheur américain en infographie, professeur d'informatique et d'électrotechnique à l'université Stanford.

Nouveau!!: Prix Turing et Patrick Hanrahan · Voir plus »

Peter Naur

Peter Naur est un pionnier danois de l'informatique né le à Frederiksberg (Danemark) et mort le à Herlev (Danemark).

Nouveau!!: Prix Turing et Peter Naur · Voir plus »

PostgreSQL

PostgreSQL est un système de gestion de base de données relationnelle et objet (SGBDRO).

Nouveau!!: Prix Turing et PostgreSQL · Voir plus »

Prix Donald E. Knuth

Le prix Knuth récompense les scientifiques ayant apporté une contribution exceptionnelle en informatique théorique.

Nouveau!!: Prix Turing et Prix Donald E. Knuth · Voir plus »

Prix Gödel

Le prix Gödel est une distinction créée en 1992 par l'European Association for Theoretical Computer Science (EATCS) et le Special Interest Group on Algorithms and Computation Theory (SIGACT) de l'Association for Computing Machinery (ACM) pour honorer des travaux remarquables d'informatique théorique.

Nouveau!!: Prix Turing et Prix Gödel · Voir plus »

Probabilité

Quatre dés à six faces de quatre couleurs différentes. Les six faces possibles sont visibles. Le terme probabilité possède plusieurs sens: venu historiquement du latin probabilitas, il désigne l'opposé du concept de certitude; il est également une évaluation du caractère probable d'un événement, c'est-à-dire qu'une valeur permet de représenter son degré de certitude; récemment, la probabilité est devenue une science mathématique et est appelée théorie des probabilités ou plus simplement probabilités; enfin une doctrine porte également le nom de probabilisme.

Nouveau!!: Prix Turing et Probabilité · Voir plus »

Processeur à jeu d'instructions réduit

Un processeur à jeu d'instructions réduit (en anglais RISC pour Reduced instruction set computer) est un type d'architecture de processeur qui se caractérise par un jeu d'instructions visant la rapidité d'exécution grâce à la facilité de décodage et d'exécution en pipeline des instructions machine.

Nouveau!!: Prix Turing et Processeur à jeu d'instructions réduit · 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!!: Prix Turing et Programmation informatique · Voir plus »

Programmation orientée objet

Schéma proposant un exemple de programmation orientée objet. La programmation orientée objet (POO), ou programmation par objet, est un paradigme de programmation informatique.

Nouveau!!: Prix Turing et Programmation orientée objet · Voir plus »

Raj Reddy

Dabbala Rajagopal « Raj » Reddy, est un chercheur en informatique indien, spécialisé en intelligence artificielle.

Nouveau!!: Prix Turing et Raj Reddy · Voir plus »

Richard Hamming

Richard Wesley Hamming, né le à Chicago (Illinois) et décédé le à Monterey (Californie) est un mathématicien célèbre à qui on doit les codes de Hamming et la distance de Hamming.

Nouveau!!: Prix Turing et Richard Hamming · 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!!: Prix Turing et Richard Karp · Voir plus »

Richard Stearns

Richard Edwin Stearns, né le à Caldwell dans le New Jersey, est un informaticien américain qui, avec Juris Hartmanis, a reçu en 1993 le prix Turing pour leurs recherches communes sur les bases de la théorie de la complexité des algorithmes.

Nouveau!!: Prix Turing et Richard Stearns · Voir plus »

Robert Elliot Kahn

Robert Elliot Kahn, dit Bob Kahn (né le, Brooklyn, New York), est un ingénieur américain au Defense Advanced Research Projects Agency (DARPA) et co-inventeur avec Vinton Cerf du protocole TCP/IP.

Nouveau!!: Prix Turing et Robert Elliot Kahn · Voir plus »

Robert Floyd

Robert W. Floyd (né le et mort le à Stanford (Californie) est un théoricien des graphes et chercheur en informatique américain.

Nouveau!!: Prix Turing et Robert Floyd · Voir plus »

Robert Metcalfe

Robert Melancton Metcalfe (né le) est un ingénieur et entrepreneur américain qui a contribué au développement d'Internet dans les années 1970.

Nouveau!!: Prix Turing et Robert Metcalfe · Voir plus »

Robert Tarjan

Robert Endre Tarjan (né le à Pomona en Californie) est un informaticien américain.

Nouveau!!: Prix Turing et Robert Tarjan · Voir plus »

Robin Milner

Arthur John Robin Gorell Milner, né le à Yealmpton, près de Plymouth et mort le à Cambridge, est un informaticien britannique.

Nouveau!!: Prix Turing et Robin Milner · Voir plus »

Ronald Rivest

Ronald Linn Rivest (né le à Schenectady dans l'État de New York) est un cryptologue américain d'origine canadienne-française.

Nouveau!!: Prix Turing et Ronald Rivest · Voir plus »

Shafi Goldwasser

Shafi Goldwasser (שפרירה גולדווסר, Shafrira Goldwasser) est une informaticienne américano-israélienne, née le à New York.

Nouveau!!: Prix Turing et Shafi Goldwasser · Voir plus »

Silvio Micali

Silvio M. Micali (né le à Palerme) est un informaticien italo-américain du Laboratoire d'informatique et intelligence artificielle du MIT et professeur d'informatique au Département d’ingénierie électrique et informatique du MIT depuis 1983.

Nouveau!!: Prix Turing et Silvio Micali · Voir plus »

Simula

Simula (Simple universal language) a été créé en 1962 sous la dénomination Simula I par Ole-Johan Dahl et Kristen Nygaard à partir d'Algol 60.

Nouveau!!: Prix Turing et Simula · Voir plus »

Smalltalk

est un langage de programmation orienté objet, réflexif et dynamiquement typé.

Nouveau!!: Prix Turing et Smalltalk · 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!!: Prix Turing et Stephen Cook · Voir plus »

Suite des protocoles Internet

La suite des protocoles Internet est l'ensemble des protocoles utilisés pour le transfert des données sur Internet.

Nouveau!!: Prix Turing et Suite des protocoles Internet · Voir plus »

Système d'exploitation

En informatique, un système d'exploitation (souvent appelé OS — de l'anglais — ou parfois SE — en français) est un ensemble de programmes qui dirige l'utilisation des ressources d'un ordinateur par des logiciels applicatifs.

Nouveau!!: Prix Turing et Système d'exploitation · Voir plus »

Système de gestion de base de données

Un (abr. SGBD) est un logiciel système servant à stocker, à manipuler ou gérer, et à partager des données dans une base de données, en garantissant la qualité, la pérennité et la confidentialité des informations, tout en cachant la complexité des opérations.

Nouveau!!: Prix Turing et Système de gestion de base de données · Voir plus »

Système de preuve interactive

Un système de preuve interactive est composé de deux machines abstraites: un prouveur et un vérificateur qui s'échangent des messages. En théorie de la complexité des algorithmes, un système de preuve interactive est un protocole formel de démonstration de théorèmes qui fait intervenir deux participants qui échangent des messages.

Nouveau!!: Prix Turing et Système de preuve interactive · Voir plus »

Taux d'erreur

Le taux d'erreur ou B.E.R., abréviation de l'expression anglaise, désigne une valeur, relative au taux d'erreur, mesurée à la réception d'une transmission numérique, relative au niveau d'atténuation et/ou de perturbation d'un signal transmis.

Nouveau!!: Prix Turing et Taux d'erreur · Voir plus »

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.

Nouveau!!: Prix Turing et Théorème PCP · 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!!: Prix Turing et Théorie de la complexité (informatique théorique) · Voir plus »

Tim Berners-Lee

Tim Berners-Lee, né le à Londres, est un informaticien britannique, principal inventeur du World Wide Web (WWW, le Web) alors qu'il travaillait au CERN au tournant des années 1990.

Nouveau!!: Prix Turing et Tim Berners-Lee · Voir plus »

Université de Californie à Berkeley

L'université de Californie à Berkeley (en anglais University of California, Berkeley), aussi appelée UC Berkeley, Berkeley, ou Cal, est une université publique américaine, située à Berkeley en Californie, sur la rive est de la baie de San Francisco.

Nouveau!!: Prix Turing et Université de Californie à Berkeley · Voir plus »

Unix

Unix, officiellement UNIX, est une famille de systèmes d'exploitation multitâche et multi-utilisateur dérivé de l'Unix d'origine créé par AT&T, le développement de ce dernier ayant commencé dans les années 1970 au centre de recherche de Bell Labs mené par Kenneth Thompson.

Nouveau!!: Prix Turing et Unix · Voir plus »

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é.

Nouveau!!: Prix Turing et Vérification de modèles · Voir plus »

Vint Cerf

Vinton Gray Cerf dit Vint Cerf (né le à New Haven au Connecticut (États-Unis) est un ingénieur, docteur et professeur américain, chercheur et co-inventeur avec Bob Kahn du protocole TCP/IP. Il est considéré comme l'un des pionniers de l'internet.

Nouveau!!: Prix Turing et Vint Cerf · Voir plus »

Whitfield Diffie

Bailey Whitfield « Whit » Diffie (né le) est un cryptologue américain.

Nouveau!!: Prix Turing et Whitfield Diffie · Voir plus »

William Kahan

William "Velvel" Morton Kahan, né le à Toronto, Ontario, Canada, est un mathématicien et informaticien, lauréat du prix Turing en 1989 pour ses travaux en analyse numérique.

Nouveau!!: Prix Turing et William Kahan · Voir plus »

World Wide Web

Logo historique du World Wide Web par Robert Cailliau. ''World Wide Web'' dans les locaux du CERN. Le World Wide Web (Prononciation en anglais britannique retranscrite selon la norme API.; littéralement la « toile (d’araignée) mondiale », abrégé WWW ou le Web), la toile mondiale ou la toile, legifrance.gouv.fr, JORF du, consulté le, est un système hypertexte public fonctionnant sur Internet.

Nouveau!!: Prix Turing et World Wide Web · Voir plus »

Xerox Alto

Le Xerox Alto a été conçu au Xerox PARC en 1973.

Nouveau!!: Prix Turing et Xerox Alto · Voir plus »

Yann Le Cun

Yann Le Cun, né le à Soisy-sous-Montmorency, est un chercheur en intelligence artificielle et vision artificielle (robotique) français.

Nouveau!!: Prix Turing et Yann Le Cun · Voir plus »

Yoshua Bengio

Yoshua Bengio Ph. D. F.R.S. O.C. S.R.C., né à Paris en France, est un chercheur québécois d'origine marocaine, spécialiste en intelligence artificielle, et pionnier de l'apprentissage profond.

Nouveau!!: Prix Turing et Yoshua Bengio · Voir plus »

1966

L'année 1966 est une année commune qui commence un samedi.

Nouveau!!: Prix Turing et 1966 · Voir plus »

1966 en informatique

---- Cet article présente les principaux évènements de 1966 dans le domaine informatique.

Nouveau!!: Prix Turing et 1966 en informatique · Voir plus »

1967 en informatique

---- Cet article présente les principaux évènements de 1967 dans le domaine informatique.

Nouveau!!: Prix Turing et 1967 en informatique · Voir plus »

1968 en informatique

----.

Nouveau!!: Prix Turing et 1968 en informatique · Voir plus »

1969 en informatique

---- Cet article traite de l'année 1969 dans le domaine de l'informatique.

Nouveau!!: Prix Turing et 1969 en informatique · Voir plus »

1970 en informatique

---- Cet article présente les principaux évènements de 1970 dans le domaine informatique.

Nouveau!!: Prix Turing et 1970 en informatique · Voir plus »

1971 en informatique

Pas de description.

Nouveau!!: Prix Turing et 1971 en informatique · Voir plus »

1972 en informatique

---- Cet article présente les principaux évènements de 1972 dans le domaine informatique.

Nouveau!!: Prix Turing et 1972 en informatique · Voir plus »

1973 en informatique

---- Cet article présente les principaux évènements de 1973 dans le domaine informatique.

Nouveau!!: Prix Turing et 1973 en informatique · Voir plus »

1974 en informatique

---- Cet article présente les principaux évènements de 1974 dans le domaine informatique.

Nouveau!!: Prix Turing et 1974 en informatique · Voir plus »

1975 en informatique

---- Cet article présente les principaux évènements de 1975 dans le domaine informatique.

Nouveau!!: Prix Turing et 1975 en informatique · Voir plus »

1976 en informatique

---- Cet article présente les principaux événements de 1976 dans le domaine informatique.

Nouveau!!: Prix Turing et 1976 en informatique · Voir plus »

1977 en informatique

---- Cet article présente les principaux évènements de 1977 dans le domaine informatique.

Nouveau!!: Prix Turing et 1977 en informatique · Voir plus »

1978 en informatique

---- Cet article traite de l'année 1978 dans le domaine de l'informatique.

Nouveau!!: Prix Turing et 1978 en informatique · Voir plus »

1979 en informatique

---- Cet article traite de l'année 1979 dans le domaine de l'informatique.

Nouveau!!: Prix Turing et 1979 en informatique · Voir plus »

1980 en informatique

---- Cet article traite de l'année 1980 dans le domaine de l'informatique.

Nouveau!!: Prix Turing et 1980 en informatique · Voir plus »

1981 en informatique

---- Cet article traite de l'année 1981 dans le domaine de l'informatique.

Nouveau!!: Prix Turing et 1981 en informatique · Voir plus »

1982 en informatique

---- Cet article présente les principaux événements de 1982 dans le domaine informatique.

Nouveau!!: Prix Turing et 1982 en informatique · Voir plus »

1983 en informatique

---- Cet article présente les principaux évènements de 1983 dans le domaine informatique.

Nouveau!!: Prix Turing et 1983 en informatique · Voir plus »

1984 en informatique

---- Cet article présente les principaux évènements de 1984 dans le domaine informatique.

Nouveau!!: Prix Turing et 1984 en informatique · Voir plus »

1985 en informatique

---- Cet article présente les principaux évènements de 1985 dans le domaine informatique.

Nouveau!!: Prix Turing et 1985 en informatique · Voir plus »

1986 en informatique

---- Cet article présente les principaux évènements de 1986 dans le domaine informatique.

Nouveau!!: Prix Turing et 1986 en informatique · Voir plus »

1987 en informatique

----.

Nouveau!!: Prix Turing et 1987 en informatique · Voir plus »

1988 en informatique

---- Cet article présente les principaux évènements de 1988 dans le domaine informatique.

Nouveau!!: Prix Turing et 1988 en informatique · Voir plus »

1989 en informatique

---- Cet article présente les principaux évènements de 1989 dans le domaine informatique.

Nouveau!!: Prix Turing et 1989 en informatique · Voir plus »

1990 en informatique

---- Cet article présente les principaux évènements de 1990 dans le domaine informatique.

Nouveau!!: Prix Turing et 1990 en informatique · Voir plus »

1991 en informatique

---- Cet article présente les principaux évènements de 1991 dans le domaine informatique.

Nouveau!!: Prix Turing et 1991 en informatique · Voir plus »

1992 en informatique

---- Cet article présente les principaux évènements de 1992 dans le domaine informatique.

Nouveau!!: Prix Turing et 1992 en informatique · Voir plus »

1993 en informatique

---- Cet article présente les principaux évènements de 1993 dans le domaine informatique.

Nouveau!!: Prix Turing et 1993 en informatique · Voir plus »

1994 en informatique

---- Cet article présente les principaux évènements de 1994 dans le domaine informatique.

Nouveau!!: Prix Turing et 1994 en informatique · Voir plus »

1995 en informatique

---- Cet article présente les principaux évènements de 1995 dans le domaine informatique.

Nouveau!!: Prix Turing et 1995 en informatique · Voir plus »

1996 en informatique

---- Cet article présente les principaux évènements de 1996 dans le domaine informatique.

Nouveau!!: Prix Turing et 1996 en informatique · Voir plus »

1997 en informatique

---- Cet article présente les principaux évènements de 1997 dans le domaine informatique.

Nouveau!!: Prix Turing et 1997 en informatique · Voir plus »

1998 en informatique

---- Cet article présente les principaux évènements de 1998 dans le domaine informatique.

Nouveau!!: Prix Turing et 1998 en informatique · Voir plus »

1999 en informatique

---- Cet article présente les principaux évènements de 1999 dans le domaine informatique.

Nouveau!!: Prix Turing et 1999 en informatique · Voir plus »

2000 en informatique

---- Cet article présente les principaux évènements de l'an 2000 en informatique.

Nouveau!!: Prix Turing et 2000 en informatique · Voir plus »

2001 en informatique

---- Cet article présente les principaux évènements de 2001 dans le domaine informatique.

Nouveau!!: Prix Turing et 2001 en informatique · Voir plus »

2002 en informatique

---- Cet article présente les principaux évènements de 2002 dans le domaine informatique.

Nouveau!!: Prix Turing et 2002 en informatique · Voir plus »

2003 en informatique

---- Cet article recense les principaux évènements de 2003 dans le domaine de l'informatique.

Nouveau!!: Prix Turing et 2003 en informatique · Voir plus »

2004 en informatique

----.

Nouveau!!: Prix Turing et 2004 en informatique · Voir plus »

2005 en informatique

---- L'année 2005 dans le domaine de l'informatique.

Nouveau!!: Prix Turing et 2005 en informatique · Voir plus »

2006 en informatique

---- Cet article présente les principaux événements de 2006 dans le domaine informatique.

Nouveau!!: Prix Turing et 2006 en informatique · Voir plus »

2007 en informatique

Cet article présente les principaux événements de 2007 dans le domaine de l'informatique.

Nouveau!!: Prix Turing et 2007 en informatique · Voir plus »

2008 en informatique

----.

Nouveau!!: Prix Turing et 2008 en informatique · Voir plus »

2009 en informatique

----.

Nouveau!!: Prix Turing et 2009 en informatique · Voir plus »

2010 en informatique

----.

Nouveau!!: Prix Turing et 2010 en informatique · Voir plus »

2011 en informatique

----.

Nouveau!!: Prix Turing et 2011 en informatique · Voir plus »

2012 en informatique

----.

Nouveau!!: Prix Turing et 2012 en informatique · Voir plus »

2013 en informatique

----.

Nouveau!!: Prix Turing et 2013 en informatique · Voir plus »

2014 en informatique

----.

Nouveau!!: Prix Turing et 2014 en informatique · Voir plus »

2015 en informatique

----.

Nouveau!!: Prix Turing et 2015 en informatique · Voir plus »

2016 en informatique

----.

Nouveau!!: Prix Turing et 2016 en informatique · Voir plus »

2017 en informatique

----.

Nouveau!!: Prix Turing et 2017 en informatique · Voir plus »

2018

L'année 2018 est une année commune qui commence un lundi.

Nouveau!!: Prix Turing et 2018 · Voir plus »

2019

L'année 2019 est une année commune qui commence un mardi.

Nouveau!!: Prix Turing et 2019 · Voir plus »

2020

L'année 2020 est une année bissextile qui commence un mercredi.

Nouveau!!: Prix Turing et 2020 · Voir plus »

2021

L'année 2021 est une année commune qui commence un vendredi.

Nouveau!!: Prix Turing et 2021 · Voir plus »

2022

L'année 2022 est une année commune qui commence un samedi.

Nouveau!!: Prix Turing et 2022 · Voir plus »

Redirections ici:

ACM Turing Award, Lauréat du prix Turing, Turing Award.

Unionpédia est une carte conceptuelle ou réseau sémantique organisée comme une encyclopédie ou un dictionnaire. Il donne une brève définition de chaque concept et de ses relations.

Ceci est une carte mentale en ligne géant qui sert de base pour les schémas conceptuels. Il est libre d'utiliser et de chaque article ou document peut être téléchargé. Il est un outil, ressources ou de référence pour l'étude, la recherche, l'éducation, l'apprentissage ou de l'enseignement, qui peut être utilisé par les enseignants, les éducateurs, les élèves ou étudiants; pour le monde universitaire: à l'école, primaire, secondaire, l'école secondaire, au milieu, un collège, diplôme technique, collégial, universitaire, baccalauréat, de maîtrise ou de doctorat; pour les papiers, des rapports, des projets, des idées, de la documentation, des enquêtes, des résumés, ou une thèse. Voici la définition, l'explication, la description ou la signification de chaque importantes sur lesquelles vous avez besoin d'informations, et une liste de leurs concepts connexes comme un glossaire. Disponible en français, anglais, espagnol, portugais, japonais, chinois, allemand, italien, polonais, néerlandais, russe, arabe, hindi, suédois, ukrainien, hongrois, catalan, tchèque, hébreu, danois, finlandais, indonésien, norvégien, roumain, turc, vietnamien, coréen, thaïlandais, grec, bulgare, croate, slovaque, lituanien, philippin, letton, estonien et slovène. Plus de langues bientôt.

Toutes les informations a été extrait de Wikipédia, et il est disponible sous licence Creative Commons paternité partage à l’identique.

Unionpédia n'est ni approuvée ni affiliée à la Wikimedia Foundation.

Google Play, Android et le logo Google Play sont des marques de Google Inc.

Politique de confidentialité