|
MICHEL QUEYSANNE, ANDRÉ DELACHET
L'ALGÈBRE MODERNE
DISPONIBILITÀ GARANTITA AL 99%; SPEDIZIONE ENTRO 12 ORE DALL'ORDINE. OTTIME CONDIZIONI, MAI SFOGLIATO, LIEVISSIMI SEGNI DEL TEMPO. Descrizione bibliografica Titolo: L'algèbre moderne Autore: Michel Queysanne, André Delachet Editore: Parigi: Presses universitaires de France, 1972 Edizione: Ottava, 8, Huitème édition Lunghezza: 135 pagine; 17 cm ISBN: 2130366228, 9782130366225 Collana: Volume 661 di Que sais-je? Le point des Connaisance actuelles Langue: Français Lingua: Francese Language: French Soggetti: Livres sur les Sciences appliquées, Logique mathématique, Didactique, Etudes supérieures, Université, Collections Universitaires, équations, Analyse, Mathématiques supérieures, Modernes, Algebra Moderna, Logica matematica, Analisi, Equazioni, Numeri, Scienze applicate, Zéro, Zero, Opération classique, Théorie, Teoria, Le développement de l'algèbre, Antiquité Groupes, Méthodes, équivalence, Relations, application linéaire, nombres complexes, Espaces vectoriels, division euclidienne, Formule, Corollaire, polynôme, Poche, Scienze applicate, Libri Vintage, Didattica, Aritmetica, Fisica, Operazioni, Bibliografia, Storia
|
|
|
MIEVILLE, D. / BERRENDONNER, A. / TRIPET, C.:
Logique, discours et pensée. Mélanges offerts à Jean-Blaise Grize.
Peter Lang, 1997, in-8vo, 444 p., brochure originale.
Referenz des Buchhändlers : 132494aaf
|
|
|
MILHAUD G.
ESSAI SUR LES CONDITIONS ET LES LIMITES DE LA CERTITUDE LOGIQUE
Félix Alcan. 1898. In-12. Broché. A relier, Couv. légèrement passée, Manque en coiffe de tête, Intérieur bon état. 203 pages. Envoi de l'auteur en page de titre. Annotation sur le 1er plat. Couverture et cahiers se détachant.. . . . Classification Dewey : 160-Logique
Referenz des Buchhändlers : RO40105122
|
|
|
MILHAUD G.
ESSAI SUR LES CONDITIONS ET LES LIMITES DE LA CERTITUDE LOGIQUE
Félix Alcan. 1898. In-12 Carré. Broché. A relier. Couv. légèrement passée. Manque en coiffe de tête. Intérieur bon état. 203 pages. Envoi de l'auteur en page de titre. Annotation sur le 1er plat. Couverture et cahiers se détachant. 2e édition revue. 'Bibliothèque de Philosophie Contemporaine'.
|
|
|
MILL John Stuart
A System of Logic Ratiocinative and Inductive. Being a Connected View of the Principles of Evidence and the Methods of Scientific Investigation. People's Edition. IN FULL MOROCCO
8vo., small neat signature on title; handsomely bound in brown full crushed morocco, sides with gilt frame border, back with raised bands, second and fourth compartments lettered and ruled in gilt, all other compartments tooled and ruled in gilt, gilt top, hand-made endpapers, original gilt from backstrip preserved and mounted on new leaf at front, ribbon marker, a most attractive copy ideal as a gift or for presentation. First published in 1843. Includes the author's Prefaces to the first, third, fourth and eighth editions.
|
|
|
Mill John Stuart
RESUMEN SINTETICO DEL SISTEMA DE LOGICA(1897)
con notas complementarias por el Lic. Ezequiel A.Chavez, profesor de logica en la escuela N. preparatoria.In 8', leg. ed. pp. 307, segni d'uso alla cop., interno ottimo, minimi segni del tempo.Dedica autografa di Chavez all'occhietto.Luogo di pubblicazione Paris/MexicoEditore Libreia de la Vda de Ch. BouretAnno pubblicazione 1897Materia/Argomento Logica
|
|
|
MILL John Stuart. A cura di FACCHI Giorgio
Il pensiero di John Stuart Mill. A cura di Giorgio Facchi
In-8°, pp. XLIII, 331, brossura editoriale.
|
|
|
Mill, John Stuart
System of Logic: Ratiocinative and Inductive: Being a Connected View of the Principles of Evidence and the Methods of Scientific Investigation
13x19 cm. 622 page. Gilt hardcover. Rear cover wrinkled and bumped from water damage. Cover worn in edges. Binding visible between several pages. Several uncut pages. Pages yellowing. Else in good condition.
|
|
|
Minazzi F., Zanzi L. (a Cura di)
La Scienza Tra Filosofia e Storia in Italia Nel Novecento
Mm 170x245 Volume di pp. X-725. tavole a colori fuori testo. Atti del Congresso internazionale Varese 24-25-26 ottobre 1985. Interventi, tra gli altri, di L. Geymonat, G. Giorello, M. Pera, G. Montalenti, M. Ceruti, E. Bellone. Opera in buonissime condizioni. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE. WORLDWIDE DELIVERY
|
|
|
Misraki Paul
Les raisons de l'irrationnel - Pladoyer pour l'extraordinaire.
Robert Laffont, Collection « Les portes de létrange» écrits ésotériques, 14 avril 1976 In-8, broché, couverture métallisée unie rempliée de léditeur, très bel exemplaire, 231 pages .
Referenz des Buchhändlers : 16188
|
|
|
Moiraghi, Carlo
La vera medicina cinese e la Cina di Oggi
Mm 150x230 Collana "Di fronte e attraverso" - Volume nella sua brossura originale, 253 pagine. Libro in condizioni di nuovo - brand new. Spedizione in 24 ore dalla conferma dell'ordine.
|
|
|
Moisil, Gr C [Grigore C Moisil, 1906 - 1973] [from the library of Alonzo Church]
Recherches sur lalgèbre de la logique in Annales scientifiques de l'université de Jassy Tome XXII; Fasc. 1-4 1935
Iasi Romania: University of Iasi 1935. Good condition. 16.5 cm x 24 cm. A solid copy -- square and reasonably tight. This book does NOT have a separate outer cover. The text pages 1-128 however is complete. There is a small piece of tape on the spine. NO owner's name or bookplate. Pages are clean. NO underlining. NO highlighting. NO margin notes. Algebraic Logic. Text in French. Subtitle: Hommage a M. V. Volterra pour son 75e anniversaire. Bibliographical references. This is quite possibly the very copy used by Garrett Birkhoff for his review published in Alonzo Church's JOURNAL OF SYMBOLIC LOGIC Volume 1 Issue 2 1936 63. This is one of several dozen books and periodicals from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. Several of the books contain his signature or a presentation inscription to him. Unfortunately this copy does not have those signs of his ownership. But please check our inventory for several others that do. Alonzo Church 1903 - 1995 was professor of mathematics at Princeton University 1929-1967 and of mathematics and philosophy at UCLA 1967-1990. He was the founding editor of the JOURNAL OF SYMBOLIC LOGIC. Among his most influential contributions are Church's Theorem Church's Thesis the Church-Turing Thesis and the Lambda Calculus. His work was of major importance in mathematical logic recursion theory theoretical computer science and functional programming languages in general. Professor Church's creation of lambda calculus was the foundation for the LISP programming language and provided the semantic model for ALGOL. Church was first to demonstrate that David Hilbert's Entscheidungsproblem was unsolvable. It was Church who coined the phrase "Turing machine" for Alan Turing's hypothetical universal computing machine. He was elected to the National Academy of Sciences British Academy and the American Academy of Arts and Sciences. Church is regarded by many as the greatest American logician of the 20th century. For more on Church's contributions see items 250 251 321 394 and 533 in Hook and Norman's ORIGINS OF CYBERSPACE A LIBRARY ON THE HISTORY OF COMPUTING. First Edition première édition. Softcover. Good condition. 128pp. Great Packaging Fast Shipping. [University of Iasi?] Paperback
Referenz des Buchhändlers : 009110
|
|
|
Moore Dan
Booster ses neurones!
Charlot. 2010. In-8. Relié. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 191 pages augmentées de nombreuses illustrations en couleurs dans et hors texte.. . . . Classification Dewey : 160-Logique
Referenz des Buchhändlers : RO40007462
|
|
|
Moore, P.; Skaggs, S.; White, M.; Eberhardt, F.; Avrin, L.; Waters, S.
Letter Arts Review, 1998, Volume 14, Number 2 - Jim Lewis
64 pages. Features: Letters, Shapes and Logic - Jim Lewis; Calligraphy at the Fault Line; Work with an inner life; Ancient Craft in Modern Times - part 2; Hebrew Model Books; Foundations of Calligraphy - Part 9 (Italics - part 2); and more. Clean and unmarked with moderate wear. A sound copy. Magazine
|
|
|
Mora, Jose Ferrater; from Alonzo Church's library
Dwa znakomite dziela in Kultura Nr 5/67
Paris: Instytut Literacki 1953. Very Good condition. May - Mai 1953. Dwa znakomite dziela by José Ferrater Mora occupies pages 18-32. Tipped in is the original mailing label addressed to Professor Alonzo Church Princeton University Department of Mathematics. This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. This one isn't signed by him but please check our inventory for several that are. Alonzo Church 1903 - 1995 was professor of mathematics at Princeton University 1929-1967 and of mathematics and philosophy at UCLA 1967-1990. He was the founding editor of the JOURNAL OF SYMBOLIC LOGIC. Among his most influential contributions are Church's Theorem Church's Thesis and the Lambda Calculus. His work was of major importance in mathematical logic recursion theory theoretical computer science and functional programming languages in general. Professor Church's creation of lambda calculus was the foundation for the LISP programming language and provided the semantic model for ALGOL. He was elected to the National Academy of Sciences British Academy and the American Academy of Arts and Sciences. Church is regarded by many as the greatest American logician of the 20th century. For more on Church's contributions see items 250 251 321 394 and 533 in Hook and Norman's ORIGINS OF CYBERSPACE A LIBRARY ON THE HISTORY OF COMPUTING. First Edition. Softcover. Very Good condition. Illus. by NOT a library discard. 160pp. Great Packaging Fast Shipping. Instytut Literacki Paperback
Referenz des Buchhändlers : 023626
|
|
|
MORIN Edgat.
LA ECOLOGIA DE LA CIVILIZACION TECNICA.
|
|
|
Morselli E.
Logica. Appunti per i licei. Seconda edizione.
Livorno, Raffaello Giusti, 1908, in-16, br. edit., pp. 81, [7]. "Biblioteca degli studenti".
|
|
|
MORSELLI, Emilio.
Logica. Appunti per i licei. Seconda edizione.
in-16, pp. 81, (9) di catalogo editoriale. Broch. edit. Seconda edizione, rara a trovarsi, di questo manualetto di filosofia ad uso degli studenti delle scuole superiori, dedicato alla logica. Ottimo esemplare. . .
|
|
|
Moshé Machover
Set Theory Logic and their Limitations
Cambridge University Press 1996 288 pages 22 6x2 2x14 6cm. 1996. Broché. 288 pages.
Referenz des Buchhändlers : 100137838
|
|
|
Mouloud Noël
"Langage et structures - Essais de logique et de séméiologie - Collection "" Petite Bibliothèque Payot n°140 ""."
Payot. 1969. In-12. Broché. Etat d'usage, Coins frottés, Dos plié, Papier jauni. 252 pages.. . . . Classification Dewey : 160-Logique
Referenz des Buchhändlers : R100059182
|
|
|
MOUNIN GEORGES
CLEFS POUR LA SEMANTIQUE
SEGHERS. 1972. In-12. Broché. Etat d'usage, Couv. légèrement passée, Dos plié, Intérieur frais. 266 pages - plats et coiffes frottés.. . . . Classification Dewey : 160-Logique
Referenz des Buchhändlers : ROD0129199
|
|
|
MOULOUD Noël
Langage et structures. Essais de logique et de séméiologie
Paris, Payot, "Petite bibliothèque payot" n° 140, 10,5 x 17,5, 1969, 252 pages cousues sous couverture illustrée.
Referenz des Buchhändlers : LANNNGU20215
|
|
|
MOUY PAUL
LOGIQUE ET PHILOSOPHIE DES SCIENCES
Hachette. 1944. In-8. Broché. Etat d'usage, Couv. légèrement passée, Dos très frotté, Intérieur bon état. 249 pages. Couverture verte et blanche. Pages légèrement passées.. . . . Classification Dewey : 160-Logique
Referenz des Buchhändlers : RO70074669
|
|
|
MOUTAFAKIS Nicholas J.
THE LOGICS OF PREFERENCE. A STUDY OF PROHAIRETIC LOGICS IN TWENTIETH CENTURY PHILOSOPHY.
|
|
|
Mras, Gabriele M; & Paul Weingartner; Bernhard Ritter (editors)
Philosophy of Logic and Mathematics: Proceedings of the 41st International Wittgenstein Symposium Publications of the Austrian Ludwig Wittgenstein Society New Series 27
Berlin & Boston: De Gruyter 2019. Fine condition. Square and tight. NO owner's name or bookplate. NOT a library discard. NOT a remainder. Pages are crisp clean and unmarked. NO underlining. NO highlighting. NO margin notes. Mostly in English. A few papers in German. Philosophy of Logic and Mathematics: Proceedings of the 41st International Wittgenstein Symposium Publications of the Austrian Ludwig Wittgenstein Society New Series 27. Bound in the original white and gray pictorial laminated boards. From the publisher: "This volume presents different conceptions of logic and mathematics and discuss their philosophical foundations and consequences. This concerns first of all topics of Wittgenstein's ideas on logic and mathematics; questions about the structural complexity of propositions; the more recent debate about Neo-Logicism and Neo-Fregeanism; the comparison and translatability of different logics; the foundations of mathematics: intuitionism mathematical realism and formalism. The contributing authors are Matthias Baaz Francesco Berto Jean-Yves Beziau Elena Dragalina-Chernya Günther Eder Susan Edwards-McKie Oliver Feldmann Juliet Floyd Norbert Gratzl Richard Heinrich Janusz Kaczmarek Wolfgang Kienzler Timm Lampert Itala Maria Loffredo D'Ottaviano Paolo Mancosu Matthieu Marion Felix Mühlhölzer Charles Parsons Edi Pavlovic Christoph Pfisterer Michael Potter Richard Raatzsch Esther Ramharter Stefan Riegelnik Gabriel Sandu Georg Schiemer Gerhard Schurz Dana Scott Stewart Shapiro Karl Sigmund William W. Tait Mark van Atten Maria van der Schaar Vladimir Vasyukov Jan von Plato Jan Wolenski and Richard Zach.". First Edition. Hardcover. Fine condition/No dust jacket as issued. Illus. by NOT a library discard. 8vo. xi 547pp. Great Packaging Fast Shipping. De Gruyter Hardcover
Referenz des Buchhändlers : 030463 ISBN : 311065430x 9783110654301
|
|
|
Mugnai (Massimo)
La logica da Leibniz a Frege
In-8 broché, Loescher, 1982, 396 pp. Un peu frotté, piqué, jauni et gauchi, usure d’usage. Bon exemplaire de lecture pour ce titre peu courant. Poids 320 g. Envoi lettre verte. Frais d'envoi 6,48 euros sur la France, 12,00 euros pour l’étranger (tarifs de base hors envois suivis). Possibilité de remise en mains propres sur Paris, possibilité d’envoi MONDIAL RELAY, n'hésitez pas à me contacter avant de passer commande. Twitter : @Pontneuf06.
Referenz des Buchhändlers : UUI-11714
|
|
|
Musacchio, Enrico (a Cura di)
Il Pensiero Di Bertrand Russell Una Antologia Dagli Scritti
Mm 120x185 Collana "Classici della Filosofia". Brossura editoriale, xxxviii-349 pagine, timbro commerciale al frontespizio. Ottimo stato. Spedizione entro 24 ore dalla conferma dell'ordine.
|
|
|
Musatti Cesare L.
Condizioni Dell'esperienza e Fondazione Della Psicologia
Mm 160x245 Volume rilegato di pp. 387, sovraccoperta editoriale con piccolo strappo, in ottimo stato. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE.
|
|
|
MUZZARELLI Alfonso.
Il buon uso della logica in materia di religione del canonico Alfonso conte Muzzarelli. Terza edizione con aggiunte dello stesso autore. Tomo quinto.
In Fuligno, per Giovanni Tomassini stamp. vescov., 1789, in-8, cartonatura rustica coeva, pp. 324. In gran parte intonso. Poche carte con fioriture, lievi aloni alla cartonatura. Solo volume quinto (sui sei complessivi dell'edizione).
|
|
|
MYHILL/KINO/VESLEY J./A./R.E.
INTUITIONISM AND PROOF THEORY. PROCEEDINGS OF THE SUMMER CONFERENCE AT BUFFALO, N.Y. STUDIES IN LOGIC AND THE FONUNDATIONS OF MATHEMATICS.
|
|
|
Nagel Ernest; Newman James R.
La prova di Gödel
br. Nel 1931 un giovane viennese, Kurt Gödel, diede alle stampe una breve memoria sulle "proposizioni formalmente indecidibili dei Principia mathematica e sistemi affini". Increduli, logici e matematici assistettero al crollo del luminoso edificio hilbertiano, tutto basato sull'onnipotenza del metodo assiomatico. In quelle pagine, infatti, si dimostrava l'incompletezza di un'ampia classe di teorie formali, tra cui l'aritmetica, nonché l'impossibilità di provare all'interno delle teorie stesse la loro coerenza. L'opera di Nagel e Newman è stata concepita per condurre il lettore al cuore dell'argomentazione di Gödel.
|
|
|
Nagel, Ernest und James R. Newman
Der Gödelsche Beweis. Deutsche Übersetzung von Hubert Schleichert.
Wien, Mchn., Oldenbourg (1964). 4°, 74 S., mit rotem Klebeband u. Tixoband am Rücken verklebt, Titel u. Widmungseite am Seitenschnitt m. Tixo verstärkt, einige Knickspuren, 2 Seiten m. kl. Ausriss am Seitenschnitt, papierbed. gebräunt.
Referenz des Buchhändlers : MATH0248
|
|
|
Naim Logic
Power System State Estimation: Parameter Error Detection Identification and Correction
LAP Lambert Academic Publishing 2010. Paperback. New. 156 pages. 8.66x5.91x0.36 inches. LAP Lambert Academic Publishing paperback
Referenz des Buchhändlers : 1-3838332350 ISBN : 3838332350 9783838332352
|
|
|
Nakamura, Katsumi; [Presentation copy to Alonzo Church]
Zum logischen Funktionsbegriffe des Wiener Kreises / Value and Thinking A Psychological Study
Tokyo: Privately Printed 1939. The title page is INSCRIBED to: "Professor Alonzo Church Editor of The Journal of Symbolic Logic signed Katsumi Nakamura author of this book." SEE PHOTOS. Very Good condition. Clean and tight. Spine ends are mildly frayed. Pages are fresh crisp and unmarked. This book contains two papers. The first VALUE AND THINKING A PSYCHOLOGICAL STUDY pp. 1-155 is in Japanese except for an English title page. The second ZUM LOGISCHEN FUNKTIONSBEGRIFFE DES WIENER KREISES pp. 157-183 is in German. The binding is original brown cloth stamped in Japanese characters on the spine and front cover. This is almost certainly the very copy that Church used for his review of ZUM LOGISCHEN that was published in the JOURNAL OF SYMBOLIC LOGIC Vol. 6 No. 1 Mar. 1941 p. 36. It is one of several dozen books from Alonzo Church's personal library that we were lucky enough to purchase at auction in New Jersey. Several of the books contain his signature. Unfortunately this copy does not. But please check our inventory for others that do. However Professor Church's handwriting does appears on the front cover where he penned the author's name and a title Zum logischen Funktionsbegriffe des Wiener Kreises and again on the spine author's name only. Alonzo Church 1903 - 1995 was professor of mathematics at Princeton University 1929-1967 and of mathematics and philosophy at UCLA 1967-1990. He was the founding editor of the JOURNAL OF SYMBOLIC LOGIC. Among his most influential contributions are Church's Theorem Church's Thesis and the Lambda Calculus. His work was of major importance in mathematical logic recursion theory theoretical computer science and functional programming languages in general. Professor Church's creation of lambda calculus was the foundation for the LISP programming language and provided the semantic model for ALGOL. He was elected to the National Academy of Sciences British Academy and the American Academy of Arts and Sciences. Church is regarded by many as the greatest American logician of the 20th century. For more on Church's contributions see items 250 251 321 394 and 533 in Hook and Norman's ORIGINS OF CYBERSPACE A LIBRARY ON THE HISTORY OF COMPUTING. Signed/Inscribed by the Author to Alonzo Church. First hardbound edition assumed. Hardcover. Very Good condition/No Jacket. 8vo. x 185pp. Great Packaging Fast Shipping. Privately Printed? Hardcover
Referenz des Buchhändlers : 007755
|
|
|
Nass, Arne [Naess] [from the library of Alonzo Church]
Symbolsk logikk 2. utgave Del I. Ustrukturert utsagnslogikk Del II. Kvantorstrukturert utsagnslogikk : Filosofiske problemer Utgitt av Filosofisk Klubb Redaktør: Arne Næss
Oslo Norway: Skrivemaskinstua 1948. Very Good condition. 20.5 cm x 28.5 cm. Staple-bound light blue stiff-paper wrappers mildly faded. Spine covered with dark blue paper that is chipped at the ends. Mimeographed typescript. Pages are printed on one-side rectos only. NO owner's name or bookplate. Pages are bright white clean and unmarked. Text in Norwegian or so I'm guessing. Laid-in are 2 sheets of printed corrections Rettelser til. This is quite possibly the very copy used for the review published in Alonzo Church's JOURNAL OF SYMBOLIC LOGIC 14 1949 185-186. It is one of several dozen books and periodicals from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. Several of the books contain his signature or a presentation inscription to him. Unfortunately this copy does not have those signs of his ownership. But please check our inventory for several others that do. Alonzo Church 1903 - 1995 was professor of mathematics at Princeton University 1929-1967 and of mathematics and philosophy at UCLA 1967-1990. He was the founding editor of the JOURNAL OF SYMBOLIC LOGIC. Among his most influential contributions are Church's Theorem Church's Thesis the Church-Turing Thesis and the Lambda Calculus. His work was of major importance in mathematical logic recursion theory theoretical computer science and functional programming languages in general. Professor Church's creation of lambda calculus was the foundation for the LISP programming language and provided the semantic model for ALGOL. Church was first to demonstrate that David Hilbert's Entscheidungsproblem was unsolvable. It was Church who coined the phrase "Turing machine" for Alan Turing's hypothetical universal computing machine. He was elected to the National Academy of Sciences British Academy and the American Academy of Arts and Sciences. Church is regarded by many as the greatest American logician of the 20th century. For more on Church's contributions see items 250 251 321 394 and 533 in Hook and Norman's ORIGINS OF CYBERSPACE A LIBRARY ON THE HISTORY OF COMPUTING. 2. utgave. Oversize Softcover. Very Good condition. iv 192 sheets sides. Great Packaging Fast Shipping. Skrivemaskinstua Paperback
Referenz des Buchhändlers : 009130
|
|
|
Natali Carlo Ferrari Franco
Modelli di ragionamento nella filosofia antica (Biblioteca di cultura moderna)
Laterza 1994 406 pages 13 8x2 6x20 8cm. 1994. Broché. 406 pages.
Referenz des Buchhändlers : 100132820
|
|
|
NEURATH Otto -
Il Circolo di Vienna e l’avvenire dell’empirismo logico.
Roma, Armando, 1977, 8vo brossura, pp. 111.
|
|
|
Neusner, Jacob
Talmudic thinking. Language, logic, law. [By Jacob Neusner].
Columbia: Univ. of South Carolina Press 1992. XVI, 193 Seiten. Gr. 8° (22,5-25 cm). Orig.-Pappband mit Orig.-Schutzumschlag. [Hardcover / fest gebunden].
Referenz des Buchhändlers : 158582
|
|
|
NEWSON/MATTHEWS John/Michael.
THE LANGUAGE OF BASIC STATISTICS. A PARTICPANT LEARNING PROGRAMME FOR STUDENTS IN EDUCATION AND THE SOCIAL SCIENCES.
|
|
|
Nils J. Nilsson
Problem-Solving Methods in Artificial Intelligence
McGraw-Hill Book Company 1971 255 pages in8. 1971. reliure editeur. 255 pages. Cet ouvrage de Nils J. Nilsson publié en 1971 chez McGraw-Hill explore les méthodes de résolution de problèmes en intelligence artificielle en mettant l'accent sur la recherche heuristique par essais et erreurs dans un espace de solutions possibles. Il couvre des sujets tels que les états de problèmes les opérateurs la réduction de problèmes en sous-problèmes et l'utilisation de la logique avec des exemples de puzzles et de jeux
Referenz des Buchhändlers : 18228
|
|
|
NILSSON/ MATUSZYNSKI Ulf/ Jan.
LOGIC, PROGRAMMING AND PROLOG.
|
|
|
NIVEN, Ivan
Mathematics of choice or How to count without counting (New Mathematical Library)
1975 The Mathematical Association of America - 1975 - In-8 broché, couverture illustrée - xi-202 pages
Referenz des Buchhändlers : 125620 ISBN : 883856158
|
|
|
Noel Moulound
Linguaggio e strutture
Traduzione di Giuseppe Mininni . Saggi di logica e di semiologia...
|
|
|
NOEL, Emile (a cura di)
Aggiornamenti sull'idea di "caso". A cura di Emile Noel
191 p.; 20 cm. Brossura editoriale. Molto buono
|
|
|
Noever, Peter und Elke Krystufek
Elke Krystufek - liquid logic : the height of knowledge and the speed of thought ; [anlässlich der Ausstellung Elke Krystufek. Liquid Logic. The Height of Knowledge and the Speed of Thought, MAK Wien, 6. Dezember 2006 - 1. April 2007]. Hrsg. Peter Noever. Beiträgen von Tulga Beyerle ... MAK. [Übers.: Nadjeschda Morawec ...]
Ostfildern : Hatje Cantz c 2006. 198 S. : 132 farbige Abb. ; 32 cm Top Zustand, kart., Softcover/Paperback, Exemplar in sehr gutem Erhaltungszustand
Referenz des Buchhändlers : 54939
|
|
|
Noir Michel
Testez votre mémoire - 315 jeux facile/moyen/difficile - Collection notre temps.
Marabout. 2010. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 511 pages - quelques figures en noir et blanc dans le texte.. . . . Classification Dewey : 160-Logique
Referenz des Buchhändlers : RO80264254
|
|
|
NORMAN/ SYLVAN Jean/ Richard.
DIRECTIONS IN RELEVANT LOGIC.
|
|
|
NORRIS Christopher.
LANGUAGE, LOGIC AND EPISTEMOLOGY.
|
|
|
NOVIKOV, P. S.
Introduction à la logique mathématique. Traduit par Ch. Sarthou.
Paris, Dunod 1964, 245x160mm, VIII - 332pages, reliure d'éditeur. Plats plastifiés. Bel exemplaire.
Referenz des Buchhändlers : 74556
|
|
|
NOVIKOV, PETR SERGEEVICH; from Alonzo Church's library
Ob algoritmicheskoi nerazreshimosti problemy tozhdestva slov v teorii grupp leading to the Lenin Prize 1957
Moscow USSR: Trudy Matematicheskogo instituta inteni V. A. Steklova 44 1955. Text in Russian. Because this marketplace does not accommodate Cyrillic charcters all Russian language words from this book have been here transliterated into Latin script. Good condition. Spine is worn. Edges of the cover are sunned. Pages are clean and unmarked. From Encyclopedia: "In 1952 Novikov constructed a finitely defined group H with an unsolvable word problem that is a group with no algorithm to solve the word problem for H. This result was first announced in his 1952 paper Ob algoritmicheskoi nerazreshimosti problemy tozhdestva On the Algorithmic Unsolvability of the Word Problem. The complete proof was published three years later i.e. in this 1955 edition. In 1957 William W. Boone gave another example of a group with an unsolvable word problem and therefore this result is called the Novikov-Boone theorem. Important corollaries derived from this theorem have suggested that there are many unsolvable algorithmic problems in fundamental branches of classical mathematics. Novikov received the Lenin Prize for this significant achievement in 1957." This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. Several of the books contain his signature or a presentation inscription to him. Unfortunately this volume does not have those signs of his ownership. But please check our inventory for several others that do. Alonzo Church 1903 - 1995 was professor of mathematics at Princeton University 1929-1967 and of mathematics and philosophy at UCLA 1967-1990. He was the founding editor of the JOURNAL OF SYMBOLIC LOGIC. Among his most influential contributions are Church's Theorem Church's Thesis and the Lambda Calculus. His work was of major importance in mathematical logic recursion theory theoretical computer science and functional programming languages in general. Professor Church's creation of lambda calculus was the foundation for the LISP programming language and provided the semantic model for ALGOL. He was elected to the National Academy of Sciences British Academy and the American Academy of Arts and Sciences. Church is regarded by many as the greatest American logician of the 20th century. For more on Church's contributions see items 250 251 321 394 and 533 in Hook and Norman's ORIGINS OF CYBERSPACE A LIBRARY ON THE HISTORY OF COMPUTING. First Complete Edition. Softcover. Good condition. Illus. by NOT a library discard. 144pp. Great Packaging Fast Shipping. Trudy Matematicheskogo instituta inteni V. A. Steklova, 44 Paperback
Referenz des Buchhändlers : 023625
|
|
Per e-mail erhalten
Als pdf-Dokument herunterladen
RSS feed
Permanenter link
