background preloader

Informatique théorique

Facebook Twitter

Société Informatique de France (SIF) - SIF. Société informatique de France. Un article de Wikipédia, l'encyclopédie libre.

Société informatique de France

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). Elle a changé de nom, d'objet et de statuts le 31 mai 2012. La Société informatique de France a pour but[1] : de favoriser le développement de l'enseignement et de la recherche en informatique,de développer les échanges entre les établissements d’enseignement de l’informatique, les organismes et laboratoires de recherche et le monde socio-économique,et plus généralement, de favoriser, par la formation tout au long de la vie et la recherche, l’évolution professionnelle des acteurs, publics ou privés, du secteur,et d’œuvrer à ce que l’informatique et les sciences du numérique contribuent au développement économique et social.

Portail:Informatique théorique. Catégorie:Informatique théorique. Informatique théorique. Un article de Wikipédia, l'encyclopédie libre.

Informatique théorique

L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique. L'informatique théorique se caractérise par une approche par nature plus mathématique et moins empirique de l'informatique et ses objectifs ne sont pas toujours directement reliés à des enjeux technologiques. De nombreuses disciplines peuvent être regroupées sous cette dénomination diffuse dont la théorie de la calculabilité, l'algorithmique et la théorie de la complexité, la théorie de l'information, l'étude de la sémantique des langages de programmation et la théorie des automates et des langages formels.

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). 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 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. Son directeur de publication courant est Victor Vianu (en), de l'Université de Californie. Elle a été créée en 1954[2]. About the Journal of the ACM. Histoire des ordinateurs. L'histoire des ordinateurs commence au milieu du XXe siècle.

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

How Ada Lovelace, Lord Byron’s Daughter, Became the World’s First Computer Programmer

Today, she is celebrated as the world’s first computer programmer — the first person to marry the mathematical capabilities of computational machines with the poetic possibilities of symbolic logic applied with imagination. This peculiar combination was the product of Ada’s equally peculiar — and in many ways trying — parenting. Eleven months before her birth, her father, the great Romantic poet and scandalous playboy Lord Byron, had reluctantly married her mother, Annabella Milbanke, a reserved and mathematically gifted young woman from a wealthy family — reluctantly, because Byron saw in Annabella less a romantic prospect than a hedge against his own dangerous passions, which had carried him along a conveyer belt of indiscriminate affairs with both men and women. Von Neumann architecture. Computer architecture where code and data share a common bus.

Von Neumann architecture

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

Ferranti Mark I

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. UNIVAC I. Un article de Wikipédia, l'encyclopédie libre.

UNIVAC I

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. Presper Eckert et John Mauchly, déjà à l'origine de l'ENIAC. WEB SOMBRE. Web profond. Un article de Wikipédia, l'encyclopédie libre.

Web profond

Ne doit pas être confondu avec darknet. Ne pas confondre[modifier | modifier le code] Ressources profondes[modifier | modifier le code] Les robots d'indexation sont des programmes utilisés par les moteurs de recherche pour parcourir le web. Afin de découvrir de nouvelles pages, ces robots suivent les hyperliens. Louis Pouzin. Louis Pouzin en 2013. Biographie[modifier | modifier le code] Polytechnicien informaticien ? [modifier | modifier le code] Temps partagé[modifier | modifier le code] Netscape Navigator. Un article de Wikipédia, l'encyclopédie libre. Cet article concerne le navigateur Netscape. Pour l'entreprise qui produisait ce dernier, voir Netscape Communications.

Le Web sémantique pour le DeepWeb. World Wide Web. Où la toile est née, plaque commémorant la création du World Wide Web dans les locaux du CERN. Le World Wide Web [ˌwɝld waɪd ˈwɛb][a] (littéralement la « toile (d’araignée) mondiale », abrégé www ou le Web), la toile mondiale ou la toile[1], est un système hypertexte public fonctionnant sur Internet. Le Web permet de consulter, avec un navigateur, des pages accessibles sur des sites. L’image de la toile d’araignée vient des hyperliens qui lient les pages web entre elles[b]. Le Web n’est qu’une des applications d’Internet[2], distincte d’autres applications comme le courrier électronique, la messagerie instantanée et le partage de fichiers en pair à pair.

Inventé en 1989-1990 par Tim Berners-Lee suivi de Robert Cailliau, c'est le Web qui a rendu les médias grand public attentifs à Internet. Tim Berners-Lee. Un article de Wikipédia, l'encyclopédie libre. Tim Berners-Lee Tim Berners-Lee en 2010. Compléments Timothy John Berners-Lee, KBE, né le 8 juin 1955 à Londres, est un citoyen britannique, principal inventeur du World Wide Web (WWW) au tournant des années 1990.

Le web à sa naissance ? « Vague but exciting... » C’est avec ces mots que le chef de Tim Berners-Lee a commenté le document dans lequel il dressait la première ébauche, remise le 13 mars 1989, de ce qui devait devenir le World Wide Web. Il y a vingt ans. Désireux de mieux gérer l’énorme quantité de documents du CERN, le laboratoire européen de Genève où il travaillait, Berners-Lee était sans le savoir en train d’inventer du même coup un outil qui nous conduit à penser et établir des relations humaines de façons différentes. L’idée de créer des liens activables entre documents remontait au Memex et à un texte publié en 1945 par Vanevar Bush , conseiller scientifique de Roosevelt pour les questions militaires. L’impact considérable de sa mise en œuvre s’explique d’abord par le fait qu’elle permet de transformer un espace plein de documents assoupis. Comme peut l’être une bibliothèque virtuelle ou réelle, en véritable système dynamique susceptible d’engendrer l’émergence de formes nouvelles d’intelligence.

How Ada Lovelace and Charles Babbage Invented the World’s First Computer: An Illustrated Adventure in Footnotes and Friendship. CULTURE NUMERIQUE. Bigdata. 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. 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. Quelques heures plus tard, il assassinera Jacques Hamel, prêtre à l'église de Saint-Étienne-du-Rouvray. Connection Machine. Thinking Machines CM-2 at the Computer History Museum in Mountain View, California. 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] Danny Hillis and Sheryl Handler founded Thinking Machines (TMC) in Waltham, Massachusetts in 1983, later moving it to Cambridge, MA. Approche systémique. 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. Jean-Pierre Dupuy distingue deux groupes principaux parmi les participants aux conférences[1]. Quantum Supremacy and Complexity. Mort de l'Américain Ray Tomlinson, l'inventeur de l'e-mail. 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. 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. Sous le signe du calcul. DBLP Bibliography - Home Page.

Langages de programmation

Hello, world! SOA. Commutation de contexte. Intelligence artificielle. Cybernétique. Cybernétique, la science des systèmes. Principia Cybernetica Masthead. Systémicien. Informatique. Emmergence. Algorithmique. Lambda-calcul. 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 ! Lambda Calculator. ToLambda (version 1.3) Théorie des types.