La machine en logique / Pierre Wagner | Wagner, Pierre (1963-....). Auteur
/5

0 avis

La machine en logique / Pierre Wagner

Livre

Wagner, Pierre (1963-....). Auteur

Edité par Presses universitaires de France. Paris - 1998

L'auteur montre pourquoi la machine s'est progressivement imposée, depuis les années 30, comme l'un des objets majeurs de l'analyse logique, et, à partir de cette réflexion d'ordre historique, il trace les linéaments d'une philosophie des machines informatiques qui ne se réduit pas aux questions d'intelligence artificielle ou de théorie de l'esprit.

Voir la collection «Science, histoire et société, 1998»

Autres documents dans la collection «Science, histoire et société»

Vérification des exemplaires disponibles ...

Se procurer le document

Vérification des exemplaires disponibles ...

Suggestions

Du même auteur

La logique / Pierre Wagner,... | Wagner, Pierre (1963-....). Auteur

La logique / Pierre Wagner,...

Livre | Wagner, Pierre (1963-....). Auteur | 2007

La logique est devenue une discipline complexe, qui se ramifie en une multiplicité de domaines et de méthodes : théorie des modèles, de la démonstration, de la décision, complexité algorithmique, etc.

La logique / Pierre Wagner | Wagner, Pierre (1963-....). Auteur

La logique / Pierre Wagner

Livre | Wagner, Pierre (1963-....). Auteur | 2020

La logique est devenue une discipline complexe, qui se ramifie en une multiplicité de domaines et de méthodes : théorie des modèles, de la démonstration, de la décision, complexité algorithmique, etc. Un exposé des bases et des or...

Du même sujet

1900 / un film de Bernardo Bertolucci | Bertolucci, Bernardo (1941-2018). Metteur en scène ou réalisateur. Scénariste

1900 / un film de Bernardo Bertolucci

Vidéo | Bertolucci, Bernardo (1941-2018). Metteur en scène ou réalisateur. Scénariste | 2005 , 2005

Dans l'Italie du XXe siècle naissant, deux enfants voient le jour dans la région d'Emilie, sur les terres du maître Berlinghieri. Le premier, Alfredo Berlinghieri, est le petit-fils du riche propriétaire. Le second, Omo Dalco, est...

Byzance la secrète / Pascal Dayez-Burgeon | Dayez-Burgeon, Pascal. Auteur

Byzance la secrète / Pascal Dayez-Burgeon

Livre | Dayez-Burgeon, Pascal. Auteur | 2017

L'objectif de cet essai est de porter un autre regard sur Byzance et souligner la modernité d'un empire qui, pendant un millénaire, a fait face à des défis qui sont toujours les nôtres : le despotisme, le fanatisme religieux, la g...

Babylon / Film de Damien Chazelle | Chazelle, Damien. Metteur en scène ou réalisateur. Scénariste

Babylon / Film de Damien Chazelle

Vidéo | Chazelle, Damien. Metteur en scène ou réalisateur. Scénariste | 2022 , 2023

Los Angeles des années 1920. Récit d'une ambition démesurée et d'excès les plus fous, l'ascension et la chute de différents personnages lors de la création d'Hollywood, une ère de décadence et de dépravation sans limites.

L'histoire de France / texte de Stéphanie Ledu | Ledu, Stéphanie (1966-....). Auteur

L'histoire de France / texte de Stéphanie Led...

Livre | Ledu, Stéphanie (1966-....). Auteur | 2019

Les douze titres de la collection sont regroupés en un volume, avec des pages inédites sur les périodes manquantes, constituant une somme sur l'histoire de France, de la venue des premiers hommes à la création de l'Union européenn...

L'Ukraine racontée aux enfants / Sylvain Cypel | Cypel, Sylvain. Auteur

L'Ukraine racontée aux enfants / Sylvain Cype...

Livre | Cypel, Sylvain. Auteur | 2022

Présentation de l'histoire de ce pays, depuis la Rus' de Kiev fondée par les Vikings jusqu'à son indépendance en 1991, de sa culture, de ses paysages et de ses villes, parmi lesquelles Odessa, Kiev ou Kamianets-Podilskyï.

Annie colère / Film de Blandine Lenoir | Lenoir, Blandine. Metteur en scène ou réalisateur. Scénariste

Annie colère / Film de Blandine Lenoir

Vidéo | Lenoir, Blandine. Metteur en scène ou réalisateur. Scénariste | 2022 , 2023

Février 1974. Parce qu'elle se retrouve enceinte accidentellement, Annie, ouvrière et mère de deux enfants, rencontre le MLAC - Mouvement pour la Liberté de l'Avortement et de la Contraception qui pratique les avortements illégaux...

Chargement des enrichissements...