Résultat de la recherche
8 résultat(s) recherche sur le tag 'Logique symbolique et mathématique' 
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
Titre : Théorie et pratique d'automatismes numériques : de la logique aux ordinateurs : les trois aspects de la logique : mathématique, élément constituant ; utilisation ; automatismes logiques, séquentiels, programmés Type de document : texte imprimé Auteurs : Charles Korsakissok, Auteur Editeur : Paris : Editions Radio Année de publication : DL 1971 Importance : 1 vol. (296 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : PPN 019679823 Langues : Français (fre) Tags : Machines séquentielles, Théorie des Compteurs numériques Commutation, Théorie de la Automatismes séquentiels Programmation Logique symbolique et mathématique Sequential machine theory Switching theory Programming (Electronic computers) Digital counters Index. décimale : 629.8 Techniques de la commande automatique Théorie et pratique d'automatismes numériques : de la logique aux ordinateurs : les trois aspects de la logique : mathématique, élément constituant ; utilisation ; automatismes logiques, séquentiels, programmés [texte imprimé] / Charles Korsakissok, Auteur . - Paris : Editions Radio, DL 1971 . - 1 vol. (296 p.) : ill. ; 24 cm.
ISSN : PPN 019679823
Langues : Français (fre)
Tags : Machines séquentielles, Théorie des Compteurs numériques Commutation, Théorie de la Automatismes séquentiels Programmation Logique symbolique et mathématique Sequential machine theory Switching theory Programming (Electronic computers) Digital counters Index. décimale : 629.8 Techniques de la commande automatique Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Nom du donateur OCA-SA-G000149 E I-52 Ouvrages / Books OCA Bib. Géoazur Sophia-Antipolis SA-Salle-A214 Disponible
Titre : Les aspects intuitifs de la mathématique Type de document : texte imprimé Auteurs : Georges Louis Bouligand (1889-1979), Auteur Mention d'édition : 2e éd. Editeur : [Paris] : Gallimard Année de publication : 1944 Collection : L’avenir de la science Sous-collection : Nouvelle série num. 2 Importance : 259 p. Présentation : ill. Format : 23 cm ISBN/ISSN/EAN : PPN 005184428 Langues : Français (fre) Tags : Mathématique -- Philosophie Intuition Déduction (logique) Logique symbolique et mathématique Géométrie Mathematics -- Philosophy Logic, Symbolic and mathematical Geometry Index. décimale : 511.3 Logique symbolique (mathématique) Note de contenu : Notes bibliogr. Les aspects intuitifs de la mathématique [texte imprimé] / Georges Louis Bouligand (1889-1979), Auteur . - 2e éd. . - [Paris] : Gallimard, 1944 . - 259 p. : ill. ; 23 cm. - (L’avenir de la science. Nouvelle série; 2) .
ISSN : PPN 005184428
Langues : Français (fre)
Tags : Mathématique -- Philosophie Intuition Déduction (logique) Logique symbolique et mathématique Géométrie Mathematics -- Philosophy Logic, Symbolic and mathematical Geometry Index. décimale : 511.3 Logique symbolique (mathématique) Note de contenu : Notes bibliogr. Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Nom du donateur OCA-NI-A001549 A001549 Ouvrages / Books OCA Bib. Nice Mont-Gros NI-Mezzanine-Ouvrages anciens Exclu du prêt
Titre : Logique, automatique, informatique Type de document : texte imprimé Auteurs : Grigore C. Moisil (1906-1973), Directeur de publication, rédacteur en chef ; Octavian C. Bisca, Auteur Editeur : Bucarest : Editions de l'Académie de la république socialiste de Roumanie Année de publication : 1971 Importance : 456 p., dépl., errata Présentation : illus. Format : 25 cm ISBN/ISSN/EAN : PPN 004680111 Langues : Français (fre) Tags : Machines séquentielles, Théorie des Logique symbolique et mathématique Algèbre abstraite Algebra, Abstract Sequential machine theory Logic, Symbolic and mathematical Index. décimale : 511.3 Logique symbolique (mathématique) Note de contenu : Notes bibliogr. Logique, automatique, informatique [texte imprimé] / Grigore C. Moisil (1906-1973), Directeur de publication, rédacteur en chef ; Octavian C. Bisca, Auteur . - Bucarest : Editions de l'Académie de la république socialiste de Roumanie, 1971 . - 456 p., dépl., errata : illus. ; 25 cm.
ISSN : PPN 004680111
Langues : Français (fre)
Tags : Machines séquentielles, Théorie des Logique symbolique et mathématique Algèbre abstraite Algebra, Abstract Sequential machine theory Logic, Symbolic and mathematical Index. décimale : 511.3 Logique symbolique (mathématique) Note de contenu : Notes bibliogr. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Nom du donateur OCA-NI-005278 005278 Ouvrages / Books OCA Bib. Nice Mont-Gros NI-Salle de lecture-Ouvrages Disponible
Titre : Begriffsschrift und andere Aufsatze Type de document : texte imprimé Auteurs : Gottlob Frege (1848-1925), Auteur ; Ignacio Angelelli, Editeur scientifique ; Edmund Husserl (1859-1938), Collaborateur ; Heinrich Scholz (1884-1956), Collaborateur Mention d'édition : 2. Aufl. Mit E. Husserls und H. Scholz'Anmerkungen hrsg. von Ignacio Angelelli Editeur : Hildesheim ; Zürich ; New York : Olms Année de publication : 1971, c1964 Importance : XIV-124 p. Format : 22 cm ISBN/ISSN/EAN : PPN 023714263 Note générale : Tirage 1971 - Les pages X-XVI sont aussi paginées IV-X. -
"In diesem Band erscheint Freges 'Begriffsschrift' (1. Aufl., Halle, 1879) erstmalig zusammen mit vier kleineren Aufsätzen.". - Includes facsim. reproduction of t. p. of the original ed., Halle a/S., 1879 : Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Langues : Allemand (ger) Tags : Logique symbolique et mathématique Logic, Symbolic and mathematical Index. décimale : 511.3 Logique symbolique (mathématique) Begriffsschrift und andere Aufsatze [texte imprimé] / Gottlob Frege (1848-1925), Auteur ; Ignacio Angelelli, Editeur scientifique ; Edmund Husserl (1859-1938), Collaborateur ; Heinrich Scholz (1884-1956), Collaborateur . - 2. Aufl. Mit E. Husserls und H. Scholz'Anmerkungen hrsg. von Ignacio Angelelli . - Hildesheim ; Zürich ; New York : Olms, 1971, c1964 . - XIV-124 p. ; 22 cm.
ISSN : PPN 023714263
Tirage 1971 - Les pages X-XVI sont aussi paginées IV-X. -
"In diesem Band erscheint Freges 'Begriffsschrift' (1. Aufl., Halle, 1879) erstmalig zusammen mit vier kleineren Aufsätzen.". - Includes facsim. reproduction of t. p. of the original ed., Halle a/S., 1879 : Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.
Langues : Allemand (ger)
Tags : Logique symbolique et mathématique Logic, Symbolic and mathematical Index. décimale : 511.3 Logique symbolique (mathématique) Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Nom du donateur OCA-NI-006110 006110 Ouvrages / Books OCA Bib. Nice Mont-Gros NI-Salle de lecture-Ouvrages Disponible Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Nom du donateur OCA-NI-A000995 A000995 Ouvrages / Books OCA Bib. Nice Mont-Gros NI-Mezzanine-Ouvrages anciens Exclu du prêt
