» książki » Mathematics - Logic
 |
Varieties of Continua: From Regions to Points and Back
ISBN: 9780198712749 / Angielski / Twarda / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Varieties of Continua explores the development of the idea of the continuous. Hellman and Shapiro begin with two historical episodes. The first is the remarkably rapid transition in the course of the nineteenth century from the ancient Aristotelian view, that a true continuum cannot be composed of points, to the now standard, entirely punctiform frameworks for analysis and geometry found in modern texts (stemming from the work of Bolzano, Cauchy, Weierstrass, Dedekind, Cantor, et al.). The second is the mid-to-late-twentieth century revival of pre-limit methods in analysis and...
Varieties of Continua explores the development of the idea of the continuous. Hellman and Shapiro begin with two historical episodes. The fir...
|
cena:
356,07 |
 |
Logic Colloquium '96: Proceedings of the Colloquium Held in San Sebastián, Spain, July 9-15, 1996
ISBN: 9781107166080 / Angielski / Twarda / 269 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Proceedings of the 1996 European Summer Meeting of the Association for Symbolic Logic, held in San Sebastian, Spain.
Proceedings of the 1996 European Summer Meeting of the Association for Symbolic Logic, held in San Sebastian, Spain.
|
cena:
512,54 |
 |
Deep Learning with Python: A Hands-On Introduction
ISBN: 9781484227657 / Angielski / Miękka / 226 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
301,89 |
 |
Computational Complexity of Counting and Sampling
ISBN: 9781138035577 / Angielski / Miękka / 390 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "The purpose of the book is to give a comprehensive and detailed introduction to the computational complexity of counting and sampling. The book will consist of three main topics: I. Counting problems that are solvable in polynomial running time, II. Approximation algorithms for counting and sampling, III. Holographic algorithms"--
"The purpose of the book is to give a comprehensive and detailed introduction to the computational complexity of counting and sampling. The book will ...
|
cena:
437,16 |
 |
Knowledge Engineering and Knowledge Management: Ekaw 2016 Satellite Events, Ekm and Drift-An-Lod, Bologna, Italy, November 19-23, 2016, Revised Select
ISBN: 9783319586939 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Sets and Computations
ISBN: 9789813223516 / Angielski / Twarda / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a clear and mystery-free presentation of the central concepts in thermodynamics - probability, entropy, Helmholtz energy and Gibbs energy. It presents the concepts of entropy, free energy and various formulations of the Second La
This book provides a clear and mystery-free presentation of the central concepts in thermodynamics - probability, entropy, Helmholtz energy and Gibbs ...
|
cena:
461,50 |
 |
Artificial Intelligence in Medicine: 16th Conference on Artificial Intelligence in Medicine, Aime 2017, Vienna, Austria, June 21-24, 2017, Proceedings
ISBN: 9783319597577 / Angielski / Miękka / 369 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th Conference on Artificial Intelligence in Medicine, AIME 2017, held in Vienna, Austria, in June 2017.The 21 revised full and 23 short papers presented were carefully reviewed and selected from 113 submissions.
This book constitutes the refereed proceedings of the 16th Conference on Artificial Intelligence in Medicine, AIME 2017, held in Vienna, Austria, in J...
|
cena:
261,63 |
 |
Descriptional Complexity of Formal Systems: 19th Ifip Wg 1.02 International Conference, Dcfs 2017, Milano, Italy, July 3-5, 2017, Proceedings
ISBN: 9783319602516 / Angielski / Miękka / 311 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 19th International Conference on Descriptional Complexity of Formal Systems, DCFS 2017, held in Milano, Italy, in July 2017. The 20 full papers presented together with 4 invited talks were carefully reviewed and selected from 26 submissions.Descriptional Complexity is a field in Computer Science that deals with the size of all kinds of objects that occur in computational models, such as turing machines, finite automata, grammars, splicing systems and others. The topics of this conference are related to all aspects of descriptional...
This book constitutes the proceedings of the 19th International Conference on Descriptional Complexity of Formal Systems, DCFS 2017, held in Milano, I...
|
cena:
201,24 |
 |
Logic Programming and Nonmonotonic Reasoning: 14th International Conference, Lpnmr 2017, Espoo, Finland, July 3-6, 2017, Proceedings
ISBN: 9783319616599 / Angielski / Miękka / 359 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017. The 16 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 47 submissions.
This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held ...
|
cena:
201,24 |
 |
Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
ISBN: 9783319635002 / Angielski / Miękka / 115 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Selected Works II
ISBN: 9783319656236 / Angielski / Twarda / 860 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a two-volume collection presenting the collected works of Herbert Busemann, one of the leading geometers of the twentieth century and one of the main founders of metric geometry, convexity theory and convexity in metric spaces. Busemann also did substantial work (probably the most important) on Hilbert's Problem IV. These collected works include Busemann's most important published articles on these topics. Volume I of the collection features Busemann's papers on the foundations of geodesic spaces and on the metric geometry of Finsler spaces. Volume II includes... This is a two-volume collection presenting the collected works of Herbert Busemann, one of the leading geometers of the twentieth century and one o... |
cena:
805,10 |
 |
Model-Based Safety and Assessment: 5th International Symposium, Imbsa 2017, Trento, Italy, September 11-13, 2017, Proceedings
ISBN: 9783319641188 / Angielski / Miękka / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. � This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento, Italy, in September 2017.The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions.
� This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento...
|
cena:
201,24 |
 |
Reachability Problems: 11th International Workshop, Rp 2017, London, Uk, September 7-9, 2017, Proceedings
ISBN: 9783319670881 / Angielski / Miękka / 193 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in September 2017. The 12 full papers presented together with 1 invited paper were carefully reviewed and selected from 17 submissions.
The aim of the conference is to bring together scholars from diverse fields with a shared interest in reachability problems, and to promote the exploration of new approaches for the modelling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques. Topics of... This book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in Sep...
|
cena:
201,24 |
 |
Selected Works I
ISBN: 9783319642949 / Angielski / Twarda / 908 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a two-volume collection presenting the collected works of Herbert Busemann, one of the leading geometers of the twentieth century and one of the main founders of metric geometry, convexity theory and convexity in metric spaces.
This is a two-volume collection presenting the collected works of Herbert Busemann, one of the leading geometers of the twentieth century and one of t...
|
cena:
583,68 |
 |
Neighborhood Semantics for Modal Logic
ISBN: 9783319671482 / Angielski / Miękka / 154 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highlights both the pitfalls and potential uses of neighborhood models - an interesting class of mathematical structures that were originally introduced to provide a semantics for weak systems of modal logic (the so-called non-normal modal logics) and can be fruitfully studied using modal logic.
In addition, the book discusses a broad range of topics, including standard modal logic results (i.e.,... This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to present...
|
cena:
160,99 |
 |
Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups
ISBN: 9783319615981 / Angielski / Miękka / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Adopting a new universal algebraic approach, this book explores and consolidates the link between Tarski's classical theory of equidecomposability types monoids, abstract measure theory (in the spirit of Hans Dobbertin's work on monoid-valued measures on Boolean algebras) and the nonstable K-theory of rings.
Adopting a new universal algebraic approach, this book explores and consolidates the link between Tarski's classical theory of equidecomposability typ...
|
cena:
201,24 |
 |
Scalable Uncertainty Management: 11th International Conference, Sum 2017, Granada, Spain, October 4-6, 2017, Proceedings
ISBN: 9783319675817 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Conference on Scalable Uncertainty Management, SUM 2017, which was held in Granada, Spain, in October 2017.
The 24 full and 6 short papers presented in this volume were carefully reviewed and selected from 35 submissions. The book also contains 3 invited papers. This book constitutes the refereed proceedings of the 11th International Conference on Scalable Uncertainty Management, SUM 2017, which was held in Gr...
|
cena:
201,24 |
 |
Computational Artifacts: Towards a Philosophy of Computer Science
ISBN: 9783662555644 / Angielski / Twarda / 255 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
684,33 |
 |
Statistical Language and Speech Processing: 5th International Conference, Slsp 2017, Le Mans, France, October 23-25, 2017, Proceedings
ISBN: 9783319684550 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on Statistical Language and Speech Processing, SLSP 2017, held in Le Mans, France, in October 2017. The 21 full papers presented were carefully reviewed and selected from 39 submissions.
This book constitutes the refereed proceedings of the 5th International Conference on Statistical Language and Speech Processing, SLSP 2017, held in...
|
cena:
201,24 |
 |
Introduction to Mathematical Philosophy
ISBN: 9781684221448 / Angielski / Miękka / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 2017 Reprint of 1919 Edition. Full facsimile of the original edition, not reproduced with Optical Recognition software. Introduction to Mathematical Philosophy has been a seminal work for more than nine decades. It gives the general background necessary for any serious discussion on the foundational crisis of mathematics in the beginning of the twentieth century. Requiring neither prior knowledge of mathematics nor aptitude for mathematical symbolism, the book serves as essential reading for anyone interested in the intersection of mathematics and logic and in... 2017 Reprint of 1919 Edition. Full facsimile of the original edition, not reproduced with Optical Recognition software. Introductio... |
cena:
29,58 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
