Résultat de la recherche
11 résultat(s) recherche sur le tag 'logic, symbolic and mathematical'
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 : Smithsonian package for algebra and symbolic mathematics Type de document : texte imprimé Auteurs : N. M. Hall, Auteur ; J. R. Cherniack, Auteur ; Smithsonian astrophysical observatory (SAO), Editeur scientifique Editeur : Cambridge, Mass. : Smithsonian Astrophysical Observatory (SAO) Année de publication : 1969 Collection : SAO special report, ISSN 0081-0320 num. 291 Importance : 51 p. Format : 28 cm. Note générale : Doc. numérisé accessible en ligne sur le site SAO/NASA Astrophysics Data System (ADS) Langues : Anglais (eng) Tags : Mathématiques Algèbre Logique symbolique et mathématique Mathematics Algebra Logic, Symbolic and mathematical Index. décimale : 512 Algèbre En ligne : http://adsabs.harvard.edu/full/1969SAOSR.291.....H Smithsonian package for algebra and symbolic mathematics [texte imprimé] / N. M. Hall, Auteur ; J. R. Cherniack, Auteur ; Smithsonian astrophysical observatory (SAO), Editeur scientifique . - Cambridge, Mass. : Smithsonian Astrophysical Observatory (SAO), 1969 . - 51 p. ; 28 cm.. - (SAO special report, ISSN 0081-0320; 291) .
Doc. numérisé accessible en ligne sur le site SAO/NASA Astrophysics Data System (ADS)
Langues : Anglais (eng)
Tags : Mathématiques Algèbre Logique symbolique et mathématique Mathematics Algebra Logic, Symbolic and mathematical Index. décimale : 512 Algèbre En ligne : http://adsabs.harvard.edu/full/1969SAOSR.291.....H Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Nom du donateur OCA-SA-G003283 M II-153 Ouvrages / Books OCA Bib. Géoazur Sophia-Antipolis SA-Salle-A214 Disponible La syllogistique d'Aristote / Jan Lukasiewicz (1972)
Titre : La syllogistique d'Aristote : dans la perspective de la logique formelle moderne Type de document : texte imprimé Auteurs : Jan Lukasiewicz (1878-1956), Auteur ; Françoise Caujolle-Zaslawsky (1938-....), Traducteur Editeur : Paris : Armand Colin Année de publication : 1972 Collection : Philosophies pour l'âge de la science Importance : 1 vol. (228 p.) Format : 24 cm ISBN/ISSN/EAN : PPN 002174316 Note générale : Translation of Aristotle's syllogistic from the standpoint of modern formal logic Langues : Français (fre) Tags : Aristote (0384-0322 av. J.-C.). Organon Aristote (0384-0322 av. J.-C.) -- Logique Syllogisme Logique Logique mathématique Modalité (logique) Syllogism Logic Logic, Symbolic and mathematical Modality (Logic) Index. décimale : 166 Syllogismes Note de contenu : Bibliographical footnotes La syllogistique d'Aristote : dans la perspective de la logique formelle moderne [texte imprimé] / Jan Lukasiewicz (1878-1956), Auteur ; Françoise Caujolle-Zaslawsky (1938-....), Traducteur . - Paris : Armand Colin, 1972 . - 1 vol. (228 p.) ; 24 cm. - (Philosophies pour l'âge de la science) .
ISSN : PPN 002174316
Translation of Aristotle's syllogistic from the standpoint of modern formal logic
Langues : Français (fre)
Tags : Aristote (0384-0322 av. J.-C.). Organon Aristote (0384-0322 av. J.-C.) -- Logique Syllogisme Logique Logique mathématique Modalité (logique) Syllogism Logic Logic, Symbolic and mathematical Modality (Logic) Index. décimale : 166 Syllogismes Note de contenu : Bibliographical footnotes Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Nom du donateur OCA-NI-009886 009886 Ouvrages / Books OCA Bib. Nice Mont-Gros NI-Salle de lecture-Ouvrages Disponible SERVICE CULTURE ET PATRIMOINE PIERRE SOUFFRIN Les aspects intuitifs de la mathématique / Georges Louis Bouligand (1944)
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 Begriffsschrift und andere Aufsatze / Gottlob Frege (1971, c1964)
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 Grundzüge der theoretischen Logik / David Hilbert (1928)
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 Logique, automatique, informatique / Grigore C. Moisil (1971)
PermalinkMathématiques express, 4. Trigonométrie et logique symbolique [2e éd.] / Roger Crespin (DL 1974, cop. 1974)
PermalinkOsservazioni sopra i fondamenti della matematica / Ludwig Wittgenstein (1988)
PermalinkPenser les mathématiques / Jean Dieudonné (DL 1982)
PermalinkLe rêve de la raison / Javier Fresán (DL 2012)
PermalinkLes techniques binaires et le traitement de l'information [2e éd.] / Henry Soubies-Camy (1966)
Permalink