‎Mathematical Logic. Revised Edition.‎

‎Cambridge, Harvard University Press, 1951. Orig. full cloth. XII,346 pp.‎

‎Mathématiques - Groupement A et B - 1re Bac Pro - Programme 2020‎

‎DELAGRAVE. 2020. In-4. Broché. Etat d'usage, Coins frottés, Dos satisfaisant, Intérieur frais. 159 pages illustrées en couleur - environ 35 pages dont les exercices ont ete remplis au stylo. . . . Classification Dewey : 372.7-Livre scolaire : mathématiques‎

‎ Classification Dewey : 372.7-Livre scolaire : mathématiques‎

‎Decidability of Second-Order Theories and Automata on Infinite Trees. - [THE INFINITE TREE AUTOMATON]‎

‎Providence, Rhode Island, The American Mathematical Society, 1969. Royal8vo. In the original blue printed wrappers. In ""Transactions of the American Mathematical Society"", Volume 141, July, 1969. Entire issue offered. Spine faded and a few bumps to extremities, otherwise fine and clean. Pp. 1-35. [Entire volume: (4), 527 pp.].‎

‎First printing of Rabin's landmark paper in which he introduced his infinite tree automaton" a state machine that deals with infinite tree structure. It can be viewed as an extension from a finite tree automaton, which accepts only finite tree structures. Here he proved that the second-order theory of n successors is decidable A key component of the proof implicitly showed determinacy of parity games, which lie in the third level of the Borel hierarchy.It was used by Rabin for proving decidability of monadic second order logic. It has been further observed that tree automaton and logical theories are closely connected and it allows decision problems in logic to be reduced into decision problems for automaton.‎

‎Annales roumaines de mathématiques. Cahier 5. Recherches sur le grand théorème de Fermat.‎

‎Paris, Vuibert, 1944.‎

‎1 vol. br. 61 pp. Pages jaunies et un peu froissées in fine.‎

‎On Non-Computable Functions (Contained in The Bell System Technical Journal, volume 41, number 3, pp.877-884). - [THE BUSY BEAVER GAME]‎

‎N.Y., 1962. Entire issue in wrappers.‎

‎First publication of Rado's highly influential paper, in which he describes the Busy Beaver Game. The present paper - one of the most important results within theoretical computer science - deals with the existence of non computable functions. ""The busy beaver game, originally posed by Rado in 1962, is a problem in which the challenge is to construct a Touring machine on a given number of states and symbols that prints a maximal number of ones, or alternatively executes a maximal number left/right shifts, and subsequently halts. Although the problem is simple to state and its solutions are finite and well-defined, determination of actual values are readily shown to be non-computable."" (Teuscher, Proceedings of the 2005 Workshop on Unconventional Computing, p. 89.)‎

‎Audit: méthodes statistiques‎

‎Publi-union 1978 in8. 1978. Cartonné.‎

‎livre en très bon état jaquette frottée intérieur frais‎

‎Recherches sur les surfaces harmoniques -- EDITION ORIGINALE -- BEL EXEMPLAIRE‎

‎P., Gauthier-Villars, 1895, un volume in 4 relié en demi-chagrin marron (reliure de l'époque), (2), 196pp.‎

‎---- EDITION ORIGINALE ---- BEL EXEMPLAIRE ---- Cajori p. 325**4372/N7DE‎

‎CAHIER DE TRAVAUX DE MATHEMATIQUES / CYCLE D'OBSERVATION / CLASSE DE 6è.‎

‎NATHAN. 1963. In-4. En feuillets. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 30 fascicules de 4 pages à compléter - Tampon SPECIMEN.. . . . Classification Dewey : 372.7-Livre scolaire : mathématiques‎

‎ Classification Dewey : 372.7-Livre scolaire : mathématiques‎

‎INTRODUCTION A LA METHODE DES ELEMENTS FINIS POUR LES INGENIEURS‎

‎Office des Publications Universitaires, Alger. 1994. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 260 pages. Illustré de nombreuses figures en noir et blanc dans le texte.. . . . Classification Dewey : 510-Mathématiques‎

‎2e édition revue et augmentée. Institut de Génie-Mécanique de l'Université d'Oran. Classification Dewey : 510-Mathématiques‎

‎Mëmoire sur les Quarrés Magiques.‎

‎(Paris, L'Imprimerie Royale, 1763). 4to. No wrappers.Extract from ""Mémoires de Mathematique et de Physique, Présentés à l'Academie des Sciences par divers Savans"", Tome IV. Pp. 196-246 a. many textfigs. A very faint dampstain to outer margin.‎

‎Mathematical methods for digital computers volumes I et II‎

‎John Wiley & sons. 1967. In-8. Relié. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 287 pages.. . . . Classification Dewey : 510-Mathématiques‎

‎Etiquette sur coiffe en pied. Tampon bibliothèque. Texte écrit en anglais. 2 photos disponibles. Classification Dewey : 510-Mathématiques‎

‎Etude des points singuliers pour une équation linéaire de premier ordre‎

‎Bosc Frères et M. et L. Riou, imprimeurs-éditeurs à Lyon Malicorne sur Sarthe, 72, Pays de la Loire, France 1932 Book condition, Etat : Bon broché, sous couverture imprimée éditeur grise grand In-8 1 vol. - 59 pages‎

‎ 1ere édition, 1932 Contents, Chapitres : Introduction - Théorèmes préliminaires sur les séries - Transformations de l'équation linéaire - Etude de l'équation linéaire légères taches sombres sur les bords des plats de la couverture qui reste en bon état général avec d'infimes traces de pliures sur les bords, intérieur très frais et propre, cela reste un bon exemplaire‎

‎Etude des points singuliers pour une équation linéaire du premier ordre -- EDITION ORIGINALE‎

‎Lyon, Bosc, 1932, un volume in 8, broché, couverture imprimée, 59pp.‎

‎---- EDITION ORIGINALE**4375/N7AR‎

‎Arithmétique, à l'usage des Elèves des Ecoles Primaires. Cours Moyen.‎

‎VUIBERT & NONY. 1905. In-12. Cartonné. Bon état, Couv. légèrement passée, Dos satisfaisant, Intérieur frais. 231 pages. Quelques figures en noir et blanc, dans le texte.. . . . Classification Dewey : 372.7-Livre scolaire : mathématiques‎

‎ Classification Dewey : 372.7-Livre scolaire : mathématiques‎

‎EXERCICES D'ALGEBRE AVEC SOLUTIONS DEVELOPPEES / CLASSES PREPARATOIRES A ET B, ENSEIGNEMENT SUPEIREUR, 1er CYCLE.‎

‎MASSON ET CIE. 1970. In-4. Broché. Etat d'usage, Couv. défraîchie, Dos frotté, Intérieur frais. 324 pages.. . . . Classification Dewey : 510-Mathématiques‎

‎ Classification Dewey : 510-Mathématiques‎

‎EXERCICES D'ANALYSE AVEC SOLUTIONS DEVELOPPEES / CLASSES PREPARATOIRES A ET B, ENSEIGNEMENT SUPEIREUR, 1er CYCLE.‎

‎MASSON ET CIE. 1968. In-4. Broché. Etat d'usage, Couv. défraîchie, Dos satisfaisant, Intérieur frais. 382 pages.. . . . Classification Dewey : 510-Mathématiques‎

‎ Classification Dewey : 510-Mathématiques‎

‎Linear Statistical Inference and its Applications. Second Edition.‎

‎New York, John Wiley & Sons, (1973). 8vo. Original cloth.‎

‎Advanced Statistical Methods in Biometric Research.‎

‎N.Y., Wiley & Sons, (1952). Orig. full cloth with dustjacket. XVII,390 pp.,‎

‎[Offprints:] Criteria of estimaiton in large samples (+) Discrimination of Gaussian Processes (+) The use and interpretation of principal component analysis in applied research (+) On a characterization of the poisson distribution (+) Efficiency of... - [LARGE COLLECTION OF OFFPRINTS,]‎

‎[Various places and printer], 1945 - 1971 Collection of 23 offprint and 6 mimeographed papers from various academic journals. All with wrappers (or as issued) and in fine condition. Contained in a black kassett.‎

‎Large collection of offprint by Indian American mathematician and statistician Calyampudi Radhakrishna Rao. The American Statistical Association has described him as ""a living legend whose work has influenced not just statistics, but has had far reaching implications for fields as varied as economics, genetics, anthropology, geology, national planning, demography, biometry, and medicine."" The Times of India listed Rao as one of the top 10 Indian scientists of all time.Among his best-known discoveries are the Cramér-Rao bound and the Rao-Blackwell theorem both related to the quality of estimators. Other areas he worked in include multivariate analysis, estimation theory, and differential geometry. His other contributions include the Fisher-Rao Theorem, Rao distance, and orthogonal arrays.‎

‎Notice sur les travaux scientifiques de M. Raoul Bricard...‎

‎ Notice sur les travaux scientifiques de M. Raoul Bricard...IN4 broché, 1 vol. (23 p.) ; 27 cm.couverture leg.defraichie‎

‎Cours de l'université de Caen - Algèbre structures algébriques, groupes, architecture des groupes.‎

‎Centre de documentation universitaire. 1966. In-4. Broché. Etat d'usage, Tâchée, Agrafes rouillées, Papier jauni. 64 pages agrafées.. . . . Classification Dewey : 510-Mathématiques‎

‎ Classification Dewey : 510-Mathématiques‎

‎Les Maths c'est dans la poche avec une calculette en 6eme et meme apres - Volume 1‎

‎BELIN. 1985. In-4. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 127 pages - quelques illustrations en noir/blanc dans le texte. . . . Classification Dewey : 372.7-Livre scolaire : mathématiques‎

‎ Classification Dewey : 372.7-Livre scolaire : mathématiques‎

‎Calcul cours moyen.‎

‎Hachette. 1967. In-8. Cartonné. Etat d'usage, Couv. convenable, Dos satisfaisant, Papier jauni. 255 pages - nombreuses figures et nombreux dessins en couleurs dans le texte.. . . . Classification Dewey : 372.7-Livre scolaire : mathématiques‎

‎ Classification Dewey : 372.7-Livre scolaire : mathématiques‎

‎Calcul cours élémentaire.‎

‎Hachette. 1967. In-8. Cartonné. Etat d'usage, Coins frottés, Dos satisfaisant, Intérieur acceptable. 155 pages - nombreuses illustrations en couleurs dans le texte.. . . . Classification Dewey : 372.7-Livre scolaire : mathématiques‎

‎ Classification Dewey : 372.7-Livre scolaire : mathématiques‎

‎Om Matrixregning og dens Anvendelse paa Differens-og Differentialligninger.‎

‎Kbhvn., 1930. Orig. omslag. Ryg med rifter og foromslag løst. Med dedikation. (Disputats). 115 pp.‎