004.01

004 Traitement de données. Informatique
004.015 Principes mathématiques
004.1 Ouvrages généraux par types d'ordinateurs
004.11 Super-ordinateurs
004.16 Micro-ordinateurs
004.19 ordinateurs analogiques et hybrides
004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes
004.3 Modes de traitement
004.33 Temps réel
004.35 Multitraitement
004.6 Interfaces et communication
004.65 Réseaux d'ordinateurs
004.67 Réseaux étendus à longue distance
004.678 Internet
004.68 Réseaux locaux
004.7 Périphériques
004.9 Traitements de données autres qu'électroniques

Ouvrages de la bibliothèque en indexation 004.01

Gödel, Escher, Bach : Les brins d'une guirlande éternelle / Douglas HOFSTADTER

Titre : Gödel, Escher, Bach : Les brins d'une guirlande éternelle Type de document : texte imprimé Auteurs : Douglas HOFSTADTER Editeur : InterEditions Année de publication : 1985 Importance : 883 p. ISBN/ISSN/EAN : 978-2-7296-0617-6 Note générale : Sommaire Présentation Avant-propos à l'édition française Notes et références Liste des illustrations Sources iconographiques et bibliographiques Bibliographie Index analytique Catégories : :Mathématiques:Philosophie Intelligence artificielle Mathématiques Index. décimale : 004.01 Résumé : GEB : Introduction : Offrande musico-logique L'énigme MU Signification et forme en mathématiques Figure et fond Consistance, complétude et géométrie Structures et processus récursifs Où réside la signification? Le calcul propositionnel Unsystème explosif : la TNT Mumon et Gödel EGB : Niveaux de description et ordinateurs Cerveaux et pensées Esprits et pensées Bucle, Mucle, et Pucle Dea propositions formellement indécidables dans la TNT et les systèmes apparentés Sortir du système Auto-réf et auto-rep Church, Turing, Tarski et autres Intelligence artificielle : passé Intelligence artificielle : avenir Boucles Etranges, ou Hiérarchies Enchevêtrées

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00001817	004.01 HOF	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible