2 585 résultats
réf. SONG0201544296Used: Good unknown
réf. SONG9810231105Used: Good unknown
réf. DADAX1461266238New unknown
réf. DADAX0521108853New unknown
In 8, pp. 78, br. Lievissimi difetti al dorso. Buon esemplare (6118/ ALGEBRA - LOGICA)
1955réf. 009116Chartres: Imprimerie Durand 1955. Very Good condition. 16 cm x 24.5 cm. A solid copy. Bound in the original paper wrappers a little age-toned and lightly chipped at the spine ends. NO owner's name or bookplate. Pages are clean and unmarked. Relation theory. Ph.D. thèses présentées a la faculté des sciences de l'université de Paris. soutenues le 29 octobre 1953. Text in French with English summary. This work was reviewed by Paul Dedecker in Alonzo Church's JOURNAL OF SYMBOLIC LOGIC Volume 22 Issue 4 1957 371-372. The French mathematical logician Roland Fraïssé 1920-2008 received his doctoral degree from the University of Paris in 1953. In this his thesis Fraïssé devised a method of determining elementary equivalence. Using a back-and-forth methodology he determined whether two model-theoretic structures were elementarily equivalent. It was later formulated as the Ehrenfeucht-Fraïssé game. 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 Thus première édition. Softcover. Very Good condition. 155pp. Great Packaging Fast Shipping. Imprimerie Durand Paperback
1952Biblioteca di cultura moderna n. 492
1947Biblioteca di cultura moderna numero 432
2007Francesco Berto Logica da zero a Godel. , Laterza and Figli 2007, Copertina cartonata con alette informative, tagli sporchi di polvere e ingialliti lievemente, pagine leggermente ingiallite. Buono (Good) . 214
2016br. Nella misura in cui le leggi della matematica si riferiscono alla realtà non sono certe. E nella misura in cui sono certe, non si riferiscono alla "realtà". In tale antinomia A.Einstein descrisse l'incompatibilità tra l'idea di certezza e quella di precisione, ovvero la profonda crisi epistemologica che caratterizzò il pensiero scientifico del novecento: l'indeterminazione concettuale dei fenomeni, l'indicibilità di alcune asserzioni logiche e la vaghezza del rapporto tra mondo reale e mondo linguistico. A far seguito a tale rivoluzione paradigmatica, il tempo dimostrò presto i limiti della logica classica quale strumento inferenziale per descrivere la complessità della realtà. La logica fuzzy, valorizzando i paradossi e le ricorsività proprie della realtà, facilita la modellizzazione di sistemi complessi. L'autorevolezza della logica fuzzy risiede nella capacità di rappresentare la realtà mediante valori diversi dai semplici vero-falso, bianconero o 0-1, insite nella tradizione della logica classica, ma valutando tutte le sfumature di un mondo fatto principalmente di grigi, di verità parziali e di valori continui, anche di quelli apparentemente scollegati tra loro. Nel corso del testo, dopo una divulgativa introduzione ai principi della logica fuzzy, saranno affrontate in forma discorsiva alcune questioni, fortemente differenziate tra di loro, ma con in comune i caratteri propri della complessità del mondo...
1974LIGUORI 1974 237 PP. FONDO DI MAGAZZINO: PERFETTO E INTONSO
1965réf. 9777Éditions planète 1965 101 pages in8. 1965. broché. 101 pages. La Lettre et l'Esprit de François Richaudeau est un essai qui propose une réflexion novatrice sur la typographie défendant l'idée d'une typographie "foisonnante" adaptée aux exigences modernes de lecture et de communication. L'auteur ingénieur et éditeur y analyse avec un regard neuf comment la forme (la lettre) doit servir le fond (l'esprit) pour une lecture optimale
réf. DADAX0521039223New unknown
1937réf. HC10-426Chicago, The Univ. of Chicago Libraries, 1937. original kartoniert, 8?, 62 S.; Einband mit kl L?sur
réf. DADAX0415514665New unknown
réf. DADAX0415937906New unknown
réf. DADAX0199891613New unknown
1981Fresnais Roger e Guillot Marcel Fresnais e Guillot. Cubomania. La soluzione in 5 minuti. Cronus 1981.. Torino, Cronus Editrice 1981 italiano, in sedicesimo pp. 51 36786 Fresnais e Guillot. Cubomania. La soluzione in 5 minuti. Cronus 1981. In-16. pp. 51. Brossura. Perfetto.
1958réf. 114843Gauthier-Villars Nauwelaert 1958 Paris, Gauthier-Villars / Louvain, E. Nauwelaerts, Collection de Logique Mathématique, Série A, 1958, 57 p., broché, environ 25x16cm, avec un envoi de l'auteur. Couverture insolée, nom de l'auteur manuscrit sur le dos, bas du dos émoussé, dos en partie décollé, des annotations sur les pages.
2011Mm 135x210 Brossura editoriale di 208 pagine, con sottolineature e postille a matita solo fino a pagina 10. Opera in ottime condizioni. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE.
2011br. La teoria della computabilità è un settore della ricerca logico-matematica che studia la nozione di calcolo effettuabile in modo meccanico. Nata negli anni trenta del secolo scorso, ha assunto un ruolo centrale per la nuova scienza dei calcolatori nel secondo dopoguerra. Il testo si propone di esporre i concetti fondamentali della computabilità senza presupporre alcuna conoscenza tecnica preliminare, guidando così il lettore in un percorso ai confini tra logica, informatica, intelligenza artificiale e teorie della mente.
réf. 49089Nouvelle série - 2e année - N° 41 - 12 septembre 1923 - Journal illustrée - Paraît le mercredi - Format journal de 6 pages
2001réf. x-3540417397Springer Verlag 2001. Paperback. New. 1st edition. 389 pages. 9.50x6.25x1.00 inches. Springer Verlag paperback
réf. 1931209510.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. SONG1337620351Used: Good unknown
