La Médiathèque La Source sera fermée du mardi 24 décembre 2024 au lundi 6 janvier 2025 inclus. Possibilités d'accueil sur Rendez-vous les jeudi 2 et vendredi 3 janvier 2025.
Détail de l'indexation
511.3
: Logique symbolique (mathématique)
|
Ouvrages de la bibliothèque en indexation 511.3 (2)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
| Titre : |
Éléments de logique mathématique |
| Type de document : |
texte imprimé |
| Auteurs : |
Dominique Dubarle, Auteur |
| Mention d'édition : |
Réédition |
| Editeur : |
Paris : Institut Catholique de Paris |
| Année de publication : |
1981 |
| Importance : |
73 p. |
| Format : |
23 x 15 cm |
| Langues : |
Français (fre) |
| Index. décimale : |
511.3 Logique symbolique (mathématique) |
| Note de contenu : |
Livre + Feuille volante "ERRATA du cours de Logique mathématique" |
Éléments de logique mathématique [texte imprimé] / Dominique Dubarle, Auteur . - Réédition . - Paris : Institut Catholique de Paris, 1981 . - 73 p. ; 23 x 15 cm. Langues : Français ( fre)
| Index. décimale : |
511.3 Logique symbolique (mathématique) |
| Note de contenu : |
Livre + Feuille volante "ERRATA du cours de Logique mathématique" |
|
Exemplaires (1)
|
| 018010 | 511.3 DUB | Livre | Evêché | Sciences naturelles et mathématiques | Exclu du prêt | Brochée |
| Titre : |
La machine de Turing |
| Type de document : |
texte imprimé |
| Auteurs : |
Alan Mathison Turing (1912-1954), Auteur ; Jean-Yves Girard (1947-....), Auteur ; Julien Basch, Traducteur ; Patrice Blanchard, Traducteur ; Jean-Yves Girard (1947-....), Préfacier, etc. |
| Editeur : |
Paris : Éditions du Seuil |
| Année de publication : |
1999 |
| Autre Editeur : |
61-Lonrai : Normandie roto impr. |
| Collection : |
Collection Points. Série Sciences |
| Sous-collection : |
Sciences num. S131 |
| Importance : |
174 p. |
| Présentation : |
ill., portr., couv. ill. en coul. |
| Format : |
18 cm |
| ISBN/ISSN/EAN : |
978-2-02-036928-2 |
| Prix : |
6,95 EUR |
| Langues : |
Français (fre) Langues originales : Anglais (eng) |
| Index. décimale : |
511.3 Logique symbolique (mathématique) |
| Note de contenu : |
Contient deux articles d'Alan Turing : "Théorie des nombres calculables" ("On computable numbers", 1937), suivie d'une application au problème de la décision ; "Les ordinateurs et l'intelligence" ("Computing machinery and intelligence", 1950) |
La machine de Turing [texte imprimé] / Alan Mathison Turing (1912-1954), Auteur ; Jean-Yves Girard (1947-....), Auteur ; Julien Basch, Traducteur ; Patrice Blanchard, Traducteur ; Jean-Yves Girard (1947-....), Préfacier, etc. . - Paris : Éditions du Seuil : 61-Lonrai : Normandie roto impr., 1999 . - 174 p. : ill., portr., couv. ill. en coul. ; 18 cm. - ( Collection Points. Série Sciences. Sciences; S131) . ISBN : 978-2-02-036928-2 : 6,95 EUR Langues : Français ( fre) Langues originales : Anglais ( eng)
| Index. décimale : |
511.3 Logique symbolique (mathématique) |
| Note de contenu : |
Contient deux articles d'Alan Turing : "Théorie des nombres calculables" ("On computable numbers", 1937), suivie d'une application au problème de la décision ; "Les ordinateurs et l'intelligence" ("Computing machinery and intelligence", 1950) |
|  |
Réservation
Réserver ce document
Exemplaires (1)
|
| 0450878520 | 511.3 TUR | Livre | Réserve 1 | Sciences naturelles et mathématiques | Disponible | |
511 
