» książki » Mathematics - Logic
 |
Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings
ISBN: 9783030309220 / Angielski / Miękka / 261 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings
ISBN: 9783030336356 / Angielski / Miękka / 467 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Advances in Conceptual Modeling: Er 2019 Workshops Fair, Mreba, Emper, Mobid, Ontocom, and Er Doctoral Symposium Papers, Salvador, Brazil, November 4-
ISBN: 9783030341459 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts
ISBN: 9783030342081 / Angielski / Miękka / 458 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Ai*ia 2019 - Advances in Artificial Intelligence: Xviiith International Conference of the Italian Association for Artificial Intelligence, Rende, Ital
ISBN: 9783030351656 / Angielski / Miękka / 606 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Metadata and Semantic Research: 13th International Conference, Mtsr 2019, Rome, Italy, October 28-31, 2019, Revised Selected Papers
ISBN: 9783030365981 / Angielski / Miękka / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Formal Aspects of Component Software: 16th International Conference, Facs 2019, Amsterdam, the Netherlands, October 23-25, 2019, Proceedings
ISBN: 9783030409135 / Angielski / Miękka / 261 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Beyond the Horizon of Computability: 16th Conference on Computability in Europe, Cie 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings
ISBN: 9783030514655 / Angielski / Miękka / 379 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Topics in Theoretical Computer Science: Third Ifip Wg 1.8 International Conference, Ttcs 2020, Tehran, Iran, July 1-2, 2020, Proceedings
ISBN: 9783030578510 / Angielski / Miękka / 117 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Case-Based Reasoning Research and Development: 28th International Conference, Iccbr 2020, Salamanca, Spain, June 8-12, 2020, Proceedings
ISBN: 9783030583415 / Angielski / Miękka / 355 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Theory and Applications of Models of Computation: 16th International Conference, Tamc 2020, Changsha, China, October 18-20, 2020, Proceedings
ISBN: 9783030592660 / Angielski / Miękka / 454 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Functional and Constraint Logic Programming: 28th International Workshop, Wflp 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
ISBN: 9783030753320 / Angielski / Miękka / 145 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Essays on the Extended Evolutionary Synthesis: Formalizations and Expansions
ISBN: 9783031298783 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. From the ‘punctuated equilibrium' of Eldrege and Gould, through Lewontin's ‘triple helix' and the various visions and revisions of the Extended Evolutionary Synthesis (EES) of Laland and others, both data and theory have demanded an opening-up of the 1950's Evolutionary Synthesis that so firmly wedded evolutionary theory to the mathematics of gene frequency analysis. It can, however, be argued that a single deep and comprehensive mathematical theory may simply not be possible for the almost infinite varieties of evolutionary process active at and across the full range of scales of...
From the ‘punctuated equilibrium' of Eldrege and Gould, through Lewontin's ‘triple helix' and the various visions and revisions of the Extended Ev...
|
cena:
201,24 |
 |
How to Sell a Contradiction: The Logic and Metaphysics of Inconsistency
ISBN: 9781904987437 / Angielski / Miękka / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "There is a principle in things, about which we cannot be deceived, but must always, on the contrary, recognize the truth - viz. that the same thing cannot at one and the same time be and not be" with these words of the Metaphysics, Aristotle introduced the Law of Non-Contradiction, which was to become the most authoritative principle in the history of Western thought. However, things have recently changed, and nowadays various philosophers, called dialetheists, claim that this Law does not hold unrestrictedly - that in peculiar circumstances the same thing may at the same time be and not be,...
"There is a principle in things, about which we cannot be deceived, but must always, on the contrary, recognize the truth - viz. that the same thing c...
|
cena:
202,85 |
 |
Circulation des math?matiques dans et par les journaux. Histoire, territoires, publics
ISBN: 9781848904941 / Francuski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
202,85 |
 |
Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back
ISBN: 9780367446833 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. The conventional wisdom was that biology influenced mathematics and computer science. But a new approach has taken hold: that of transferring methods and tools from computer science to biology. The reverse trend is evident in Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology and Back. The contributors address the structural (syntactical) view of the domain. Mathematical linguistics and computer science can offer various tools for modeling complex macromolecules and for analyzing and simulating biological issues. This collection is valuable for...
The conventional wisdom was that biology influenced mathematics and computer science. But a new approach has taken hold: that of transferring methods ...
|
cena:
205,65 |
 |
Paradoxes of the Infinite (Routledge Revivals)
ISBN: 9780415749770 / Angielski / Miękka / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Paradoxes of the Infinite presents one of the most insightful, yet strangely unacknowledged, mathematical treatises of the 19th century: Dr Bernard Bolzano's Paradoxien. This volume contains an adept translation of the work itself by Donald A. Steele S.J., and in addition an historical introduction to the masterpiece, which includes a brief biography as well as an evaluation of Bolzano the mathematician, logician and physicist. Paradoxes of the Infinite presents one of the most insightful, yet strangely unacknowledged, mathematical treatises of the 19th... |
cena:
205,65 |
 |
The Origin of the Logic of Symbolic Mathematics: Edmund Husserl and Jacob Klein
ISBN: 9780253356710 / Angielski / Twarda / 592 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Burt C. Hopkins presents the first in-depth study of the work of Edmund Husserl and Jacob Klein on the philosophical foundations of the logic of modern symbolic mathematics. Accounts of the philosophical origins of formalized concepts--especially mathematical concepts and the process of mathematical abstraction that generates them--have been paramount to the development of phenomenology. Both Husserl and Klein independently concluded that it is impossible to separate the historical origin of the thought that generates the basic concepts of mathematics from their philosophical meanings.... Burt C. Hopkins presents the first in-depth study of the work of Edmund Husserl and Jacob Klein on the philosophical foundations of the logic of mo... |
cena:
205,71 |
 |
Tracking Reason
ISBN: 9780195187137 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. When ordinary people--mathematicians among them--take something to follow (deductively) from something else, they are exposing the backbone of our self-ascribed ability to reason. Jody Azzouni investigates the connection between that ordinary notion of consequence and the formal analogues invented by logicians. One claim of the book is that, despite our apparent intuitive grasp of consequence, we do not introspect rules by which we reason, nor do we grasp the scope and range of the domain, as it were, of our reasoning. This point is illustrated with a close analysis of a paradigmatic case of...
When ordinary people--mathematicians among them--take something to follow (deductively) from something else, they are exposing the backbone of our sel...
|
cena:
205,77 |
 |
Exploring Mathematics: An Engaging Introduction to Proof
ISBN: 9781107128989 / Angielski / Twarda / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With exercises and projects, Exploring Mathematics supports an active approach to the transition to upper-level theoretical math courses.
With exercises and projects, Exploring Mathematics supports an active approach to the transition to upper-level theoretical math courses.
|
cena:
205,82 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
