Résultat de la recherche
8 résultat(s) recherche sur le tag 'Logique symbolique et mathématique' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer la page de recherche courante...](./images/print.gif)
![](./images/orderby_az.gif)
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 PermalinkPermalinkPermalink