background preloader

Informatique théorique

Facebook Twitter

Qu'est-ce que Telegram, l'application de messagerie utilisée par des djihadistes ? VIDÉO - Ce service de messagerie mobile était utilisé par Adel Kermiche, meurtrier du père Jacques Hamel.

Qu'est-ce que Telegram, l'application de messagerie utilisée par des djihadistes ?

Cette application russe compte plus de 100 millions d'utilisateurs dans le monde. «Télécharger ce qui va venir et partager le en masse!!!!!!» Le 26 juillet, à 8h30, Adel Kermiche publie ce message via Telegram, une application de messagerie pour smartphone. Connection Machine. Thinking Machines CM-2 at the Computer History Museum in Mountain View, California.

Connection Machine

One of the face plates has been partially removed to show the circuit boards inside. The Connection Machines were a series of supercomputers that grew out of Danny Hillis's doctoral research at MIT in the early 1980s on alternatives to the traditional von Neumann architecture of computation. The Connection Machines (CMs), beginning with CM-1, were originally intended for applications in artificial intelligence and symbolic processing, but later versions found greater success in the field of computational science.

Origin of idea[edit] Approche systémique. Un article de Wikipédia, l'encyclopédie libre.

Approche systémique

L’approche systémique parfois nommée analyse systémique est un champ interdisciplinaire relatif à l'étude d'objets dans leur complexité. Pour tenter d'appréhender cet objet d'étude dans son environnement, dans son fonctionnement, dans ses mécanismes, dans ce qui n'apparait pas en faisant la somme de ses parties, cette démarche vise par exemple à identifier : la « finalité » du système (téléologie),les niveaux d'organisation,les états stables possibles,les échanges entre les parties,les facteurs d'équilibre et de déséquilibreles boucles logiques et leur dynamique, etc. Le plus souvent les principes sont utilisés sans être nommés, voire sans être identifiés.

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

Conférences Macy

Les conférences Macy, organisées à New York par la fondation Macy à l'initiative du neurologue Warren McCulloch, réunirent à intervalles réguliers, de 1942 à 1953, un groupe interdisciplinaire de mathématiciens, logiciens, anthropologues, psychologues et économistes qui s'étaient donné pour objectif d'édifier une science générale du fonctionnement de l'esprit. Elles furent notamment à l'origine du courant cybernétique, des sciences cognitives et des sciences de l'information.

On peut distinguer deux groupes principaux parmi les participants aux conférences[1]. Quantum Supremacy and Complexity. Gil Kalai is a popularizer of mathematics as well as a great researcher.

Quantum Supremacy and Complexity

His blog has some entries on Polymath projects going back to the start of this year. He has just contributed an article to the May AMS Notices titled, “The Quantum Computer Puzzle.” Today we are happy to call attention to it and give some extra remarks. The article includes a photograph of Gil with Aram Harrow, who was his partner in a yearlong debate we hosted in 2012. We say partner because this was certainly more constructive than the political debates we have been seeing this year. Mort de l'Américain Ray Tomlinson, l'inventeur de l'e-mail. VIDÉO - L'ingénieur américain, père de l'arobase, est décédé samedi à l'âge de 74 ans.

Mort de l'Américain Ray Tomlinson, l'inventeur de l'e-mail

L'ingénieur américain Ray Tomlinson, considéré comme le père du courriel, est mort samedi 5 mars d'une crise cardiaque à l'âge de 74 ans. Ce pionnier du numérique a révolutionné la communication en inventant en 1971 deux programmes informatiques décisifs: d'une part le SNDMSG, qui permet d'envoyer un message sur un réseau dénommé Arpanet, et d'autre part Readmail, qui permet d'obtenir et de lire ces mêmes messages. L'industrie des microprocesseurs s'apprête à rompre avec la loi de Moore. Moteur de recherche. Un article de Wikipédia, l'encyclopédie libre.

Moteur de recherche

Un moteur de recherche est une application web permettant de retrouver des ressources (pages web, articles de forums Usenet, images, vidéo, fichiers, etc.) associées à des mots quelconques. Certains sites web offrent un moteur de recherche comme principale fonctionnalité ; on appelle alors moteur de recherche le site lui-même (Google Video par exemple est un moteur de recherche vidéo). C'est par abus de langage qu'on appelle également moteurs de recherche des sites web proposant des annuaires de sites web : dans ce cas, ce sont des instruments de recherche élaborés par des personnes qui répertorient et classifient des sites web jugés dignes d'intérêt, et non des robots d'indexation — on peut citer par exemple DMOZ et Yahoo!

Sous le signe du calcul. Alan Turing a non seulement défini l’objet d’étude de l’informatique, le calcul, mais aussi révolutionné notre rapport aux machines.

Sous le signe du calcul

Il a fondé l’informatique comme un domaine scientifique autonome et a ouvert le chemin vers un nouveau continent à explorer et à habiter. Le mot « calcul » vient du latin calculus et rappelle l’utilisation de cailloux dans les procédures de comptage depuis au moins le IVe millénaire avant notre ère. Des cailloux jetés dans un bol à l’entrée de la bergerie pour vérifier qu’il y avait autant de moutons qui rentraient le soir que d’animaux qui en étaient sortis le matin, aux bits dans la mémoire d’un ordinateur qui comptabilisent notre compte en banque, le chemin est long et il peut faire oublier que le calcul ne se résume pas aux opérations arithmétiques.

Compter, calculer, une histoire ancienne Un exemple ancien est donné par les roues pivotantes de Raymond Lulle, au XIIIe siècle. DBLP Bibliography - Home Page. Portail:Informatique théorique. Catégorie:Informatique théorique. Informatique théorique. Informatique Théorique. Prix Turing. Un article de Wikipédia, l'encyclopédie libre.

Prix Turing

Pour les articles homonymes, voir Turing. Le prix Turing ou ACM Turing Award, 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[1]. Les contributions doivent être d’une importance technique majeure et durable dans le domaine informatique. La récompense est décernée par l’Association for Computing Machinery (ACM)[2].

Cette récompense a été créée par l’InterTrust Technologies Corporation’s Strategic Technologies and Architectural Research Laboratory (STAR Lab). Le prix Gödel et le prix Donald E. Association for Computing Machinery. Un article de Wikipédia, l'encyclopédie libre.

Association for Computing Machinery

Pour les articles homonymes, voir ACM. Association for Computing Machinery. Journal of the ACM. Un article de Wikipédia, l'encyclopédie libre. Journal of the ACM (Journal de l'ACM) est la revue scientifique majeure de l'Association for Computing Machinery (ACM)[1]. C'est une revue à comité de lecture qui couvre l'informatique en général, et plus particulièrement les aspects théoriques. About the Journal of the ACM. Histoire des ordinateurs. Un article de Wikipédia, l'encyclopédie libre. Si les premiers ordinateurs ont été réalisés après la seconde Guerre mondiale, leur conception héritait de diverses expériences comme l'Harvard Mark I et le Z3, machines électromécaniques programmables commencées en 1939, et surtout de deux calculateurs électroniques : le Colossus du service de cryptanalyse britannique en 1943, l'ENIAC en 1945.

À l'arrière-plan on peut mentionner des théories comme la « machine de Turing », ou des combinaisons de techniques bien plus anciennes comme les premières machines à calculer mécaniques (XVIIe siècle) et les premières machines à tisser automatisées par la lecture de cartes et de rubans perforés (XVIIIe siècle). Précurseurs[modifier | modifier le code] Premiers outils de calcul[modifier | modifier le code] Calculateurs analogiques[modifier | modifier le code] Le fragment principal de la machine d'Anticythère : 20 × 20 cm environ Algorithmes et logarithmes[modifier | modifier le code] How Ada Lovelace, Lord Byron’s Daughter, Became the World’s First Computer Programmer. Augusta Ada King, Countess of Lovelace, born Augusta Ada Byron on December 10, 1815, later came to be known simply as Ada Lovelace. Von Neumann architecture. Von Neumann architecture scheme. The design of a von Neumann architecture machine is simpler than that of a Harvard architecture machine, which is also a stored-program system but has one dedicated set of address and data buses for reading data from and writing data to memory, and another set of address and data buses for fetching instructions.

A stored-program digital computer is one that keeps its program instructions, as well as its data, in read-write, random-access memory (RAM). Stored-program computers were an advancement over the program-controlled computers of the 1940s, such as the Colossus and the ENIAC, which were programmed by setting switches and inserting patch leads to route data and to control signals between various functional units. In the vast majority of modern computers, the same memory is used for both data and program instructions, and the von Neumann vs. Ferranti Mark I. Un article de Wikipédia, l'encyclopédie libre. Le Ferranti Mark 1, également connu sous le nom de Manchester Electronic Computer[1] et donc parfois appelé Manchester Ferranti, était le premier ordinateur électronique généraliste commercialisé du monde. Histoire et spécifications[modifier | modifier le code] Les instructions, comme celles du Manchester Mark I, utilisaient un format à adresse unique dans lequel les opérandes étaient modifiées et déposées dans l'accumulateur.

Il y avait environ 50 instructions au total. Un cycle prenait 1,2 millisecondes et une multiplication pouvait se terminer dans la nouvelle unité parallèle en environ 2,16 millisecondes, soit environ 5 fois plus vite que dans la machine d'origine. Il fallait programmer le premier Mark I en entrant des caractères alphanumériques représentant une valeur de 5 bits qui pouvait être représentée sur le ruban perforé. La première machine fut livrée à l'université de Manchester. UNIVAC I. Un article de Wikipédia, l'encyclopédie libre. Ne doit pas être confondu avec Multivac. Une démonstration de l'UNIVAC I L'UNIVAC I (UNIVersal Automatic Computer I) est le premier ordinateur commercial réalisé aux États-Unis.

Il a été créé par J.

Langages de programmation

Hello, world! SOA. Commutation de contexte. Un article de Wikipédia, l'encyclopédie libre. Une commutation de contexte (context switch) en informatique consiste à sauvegarder l'état d'un processus pour restaurer à la place celui d'un autre dans le cadre de l'ordonnancement d'un système d'exploitation multitâche. Elle peut être plus ou moins coûteuse en temps processeur suivant l'architecture matérielle, le système d'exploitation, ou le type de processus utilisé.

Intelligence artificielle

Cybernétique. Cybernétique, la science des systèmes. La cybernétique est une science du contrôle des systèmes, vivants ou non-vivants, fondée en 1948 par le mathématicien américain Norbert Wiener. Notre monde est intégralement constitué de systèmes, vivants ou non-vivants, imbriqués et en interaction. Principia Cybernetica Masthead. Systémicien. Un article de Wikipédia, l'encyclopédie libre. Informatique. Emmergence. Algorithmique. Lambda-calcul. Un article de Wikipédia, l'encyclopédie libre. Le lambda-calcul est apparenté à la logique combinatoire de Haskell Curry.

Lambda-mu calcul, appel par nom et par valeur. Berry - Le lambda-calcul : sémantiques, information et points fixes. Lambda-calcul (CNAM) Lambda-calcul typé (Y. Bertot) Lambda-calcul simplement typé (P. Lescanne) Et si on commençait par les fonctions ! Du bon usage des flèches Cet article fait usage de trois types de flèches : \quad la flèche vers la droite précédée de sa barre verticale \mapsto pour décrire les fonctions. la flèche pointée vers la droite \rightarrow pour la réduction des expressions la flèche pointée vers la gauche ← pour la substitution d’une variable par une expression. Plutôt que des symboles ésotériques, nous avons choisi ces symboles qui sont d’usage courant en mathématiques. Que le lecteur nous pardonne la gymnastique que cela impose pour s’y retrouver. Du passé faisons table rase Dans la théorie des ensembles, une fonction f sur un ensemble A est définie par son graphe, c’est-à-dire par l’ensemble des couples (a, f(a)) quand a varie sur A.

Dans ce qui suit nous allons voir comment on construit les mathématiques à partir de rien ou presque [1]. Lambda Calculator. ToLambda (version 1.3)

Théorie des types