Résultat de la recherche
10 résultat(s) recherche sur le tag 'Logic, Symbolic and mathematical' 




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
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
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 : 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 PermalinkMathématiques express, 4. Trigonométrie et logique symbolique [2e éd.] / Roger Crespin (DL 1974, cop. 1974)
PermalinkPermalinkPermalinkPermalink