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

La Bonne Epouse / Film de Martin Provost | Provost, Martin. Metteur en scène ou réalisateur. Scénariste

La Bonne Epouse / Film de Martin Provost

Vidéo | Provost, Martin. Metteur en scène ou réalisateur. Scénariste | 2020

Tenir son foyer et se plier au devoir conjugal sans moufter : c'est ce qu'enseigne avec ardeur Paulette Van Der Beck dans son école ménagère. Ses certitudes vacillent quand elle se retrouve veuve et ruinée. Est-ce le retour de son...

3 minutes pour comprendre 50 moments-clés de l'histoire de la bande dessinée / Benoît Peeters | Peeters, Benoît (1956-....). Auteur

3 minutes pour comprendre 50 moments-clés de ...

Livre | Peeters, Benoît (1956-....). Auteur | 2022

L'auteur revient sur la richesse et les deux siècles d'histoire de la bande dessinée. De réalisation légère et de fabrication peu coûteuse, le neuvième art, d'abord comique, s'est développé pour représenter les grandes tragédies d...

1980-1990 : un nouvel échiquier / Michel Pierre | Pierre, Michel (1946-....) - historien. Auteur

1980-1990 : un nouvel échiquier / Michel Pier...

Livre | Pierre, Michel (1946-....) - historien. Auteur | 1999

Les vies rêvées de la baronne d'Oettingen : roman / Thomas Snégaroff | Snégaroff, Thomas (1974-....). Auteur

Les vies rêvées de la baronne d'Oettingen : r...

Livre | Snégaroff, Thomas (1974-....). Auteur | 2024

Amoureuse de l'avant-garde, peintre, poétesse et femme passionnée, H. d'Oettingen, née Miontchinksa en Ukraine, a été à la fois muse et mécène. Cette enquête intime et littéraire reconstitue le destin de cette figure de la Belle E...

La France fantastique : 40 itinéraires au pays des légendes / Dimitri de Larocque Latour | Larocque Latour, Dimitri de. Auteur

La France fantastique : 40 itinéraires au pay...

Livre | Larocque Latour, Dimitri de. Auteur | 2022

Des châteaux du Valois aux monts du Cantal, des forêts d'Alsace aux cavernes du Périgord en passant par la forêt de Brocéliande, une promenade illustrée à la découverte des lieux de légendes à travers la France. Avec des itinérair...

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