![]() |
Book of Proof
ISBN: 9780989472128 / Angielski / Miękka / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
114,02 |
![]() |
Conquering Statistics
ISBN: 9780738204956 / Angielski / Miękka / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Writing specifically for the statistically scared, Jeff Weaver exposes the mathematics behind statistical analysis and shows how an understanding of probability, standard deviation, margins of error, and test groups can help in the reader's understanding of everything from the lottery to national polls to scientific data. With vivid and humorous examples, Conquering Statistics opens the world of statistics to the average reader as well as the student and offers an invaluable look at the science behind the statistics.
Writing specifically for the statistically scared, Jeff Weaver exposes the mathematics behind statistical analysis and shows how an understanding of p...
|
cena:
114,15 |
![]() |
Introduction to Propositional Satisfiability
ISBN: 9781848901391 / Angielski / Miękka / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Propositional logic allows for description and then solving of a significant class of constraint satisfaction problems, namely those that require that the domains of variables are finite. As such, propositional logic finds applications in describing problems stemming from computer science, computer engineering and combinatorial optimization. But logic goes beyond just providing descriptive means - it is supported by mechanisms for computation of answers. At present there is a class of software systems, SAT solvers, that allow (given enough of resources) for solving problems expressed in...
Propositional logic allows for description and then solving of a significant class of constraint satisfaction problems, namely those that require that...
|
cena:
114,38 |
![]() |
Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic
ISBN: 9781848902671 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
114,38 |
![]() |
Journal of Applied Logics - IfCoLog Journal: Volume 5, number 1, February 2018
ISBN: 9781848902749 / Angielski / Miękka / 466 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
114,38 |
![]() |
Mathematics and Plausible Reasoning [Two Volumes in One]
ISBN: 9781614275572 / Angielski / Miękka / 498 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 2014 Reprint of 1954 American Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software. This two volume classic comprises two titles: "Patterns of Plausible Inference" and "Induction and Analogy in Mathematics." This is a guide to the practical art of plausible reasoning, particularly in mathematics, but also in every field of human activity. Using mathematics as the example par excellence, Polya shows how even the most rigorous deductive discipline is heavily dependent on techniques of guessing, inductive reasoning, and reasoning by analogy. In...
2014 Reprint of 1954 American Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software. This two volume class...
|
cena:
115,31 |
![]() |
Topoi: The Categorial Analysis of Logic
ISBN: 9780486450261 / Angielski / Miękka / 592 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A classic introduction to mathematical logic from the perspective of category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Its approach moves always from the particular to the general, following through the steps of the abstraction process until the abstract concept emerges naturally.
Beginning with a survey of set theory and its role in mathematics, the text proceeds to definitions and examples of categories and explains the use of arrows in place of set-membership. The... A classic introduction to mathematical logic from the perspective of category theory, this text is suitable for advanced undergraduates and graduate s...
|
cena:
115,42 |
![]() |
Logic for Mathematicians
ISBN: 9780486468983 / Angielski / Miękka / 592 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hailed by the Bulletin of the American Mathematical Society as undoubtedly a major addition to the literature of mathematical logic, this volume examines the essential topics and theorems of mathematical reasoning. No background in logic is assumed, and the examples are chosen from a variety of mathematical fields. 1978 edition.
Hailed by the Bulletin of the American Mathematical Society as undoubtedly a major addition to the literature of mathematical logic, this volume exami...
|
cena:
115,42 |
![]() |
An Introduction to Mathematical Logic
ISBN: 9780486497853 / Angielski / Miękka / 512 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Widely praised for its clarity and thorough coverage, this comprehensive overview of mathematical logic is suitable for readers of many different backgrounds. Designed primarily for advanced undergraduates and graduate students of mathematics, the treatment also contains much of interest to advanced students in computer science and philosophy.
An introductory section prepares readers for successive chapters on propositional logic and first-order languages and logic. Subsequent chapters shift in emphasis from an approach to logic from a mathematical point of view to the interplay between... Widely praised for its clarity and thorough coverage, this comprehensive overview of mathematical logic is suitable for readers of many different back...
|
cena:
115,42 |
![]() |
An Introduction to Symbolic Logic
ISBN: 9780486601649 / Angielski / Miękka / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is probably the clearest book ever written on symbolic logic for the philosopher, the general scientist, and the layman. For years it has received the appreciation of those who have been rebuffed by other introductory works because of insufficient mathematical training. No special knowledge of mathematics is required here; even if you have forgotten most of your high school algebra, you can learn to use mathematical logic by following the directions in this book.
Now revised and corrected, the book allows you to start with the simplest symbols and conventions and end up with a... This is probably the clearest book ever written on symbolic logic for the philosopher, the general scientist, and the layman. For years it has receive...
|
cena:
115,42 |
![]() |
Algorithmen: Dieses Buch enthalt: Praktischer Leitfaden zum Erlernen von Algorithmen fur Anfanger + Entwurf von Algorithmen zum Loesen allgemeiner Probleme + Fortgeschrittene Datenstrukturen fur Algor
ISBN: 9781955786591 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
115,56 |
![]() |
Logica: Volume 2 - Incompletezza, Teoria Assiomatica Degli Insiemi
ISBN: 9788847039674 / Włoski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
116,10 |
![]() |
The Road Not Taken. on Husserl's Philosophy of Logic and Mathematics
ISBN: 9781848900998 / Angielski / Miękka / 454 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For different reasons, Husserl's original, thought-provoking ideas on the philosophy of logic and mathematics have been ignored, misunderstood, even despised, by analytic philosophers and phenomenologists alike, who have been content to barricade themselves behind walls of ideological prejudices. Yet, for several decades, Husserl was almost continuously in close professional and personal contact with those who created, reshaped and revolutionized 20th century philosophy of mathematics, logic, science and language in both the analytic and phenomenological schools, people whom those other...
For different reasons, Husserl's original, thought-provoking ideas on the philosophy of logic and mathematics have been ignored, misunderstood, even d...
|
cena:
116,53 |
![]() |
Advances in Modal Logic Volume 11
ISBN: 9781848902015 / Angielski / Miękka / 584 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic deals with the fundamental notions oftruth and falsity. Modal logic arose from the philosophical study of "modes of truth" with the two most common modes being "necessarily true" and "possibly true." Research in modal logic now spans the spectrum from philosophy, computer science and mathematics using techniques from relational structures, universal algebra, topology, and proof theory. These proceedings record the papers presented at the 2016 conference on Advances in Modal Logic, a biennial conference series with an aim to report on important new developments in pure and applied modal...
Logic deals with the fundamental notions oftruth and falsity. Modal logic arose from the philosophical study of "modes of truth" with the two most com...
|
cena:
116,53 |
![]() |
Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Volume 8, Issue 7: August 2021
ISBN: 9781848903746 / Angielski / Miękka / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
116,53 |
![]() |
Três Vezes Não: um estudo sobre as negações clássica, paraconsistente e paracompleta
ISBN: 9781848903920 / Portugalski / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
116,53 |
![]() |
The Cognitive Dimension of Social Argumentation Proceedings of the 4th European Conference on Argumentation Volume III
ISBN: 9781848904736 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
116,53 |
![]() |
Implicative-groups vs Groups and Generalizations. Second Edition
ISBN: 9781848904866 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
116,53 |
![]() |
The Logica Yearbook 2008
ISBN: 9781904987468 / Angielski / Miękka / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
116,53 |
![]() |
Proof-theoretic Semantics
ISBN: 9781848901834 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a monograph on the topic of Proof-Theoretic Semantics, a theory of meaning constituting an alternative to the more traditional Model-Theoretic Semantics. The latter regards meaning as truth-conditions (in arbitrary models), the former regards meaning as canonical derivability conditions in a meaning-conferring natural-deduction proof-system. In the first part of the book, the Proof-Theoretic Semantics for logic is presented. It surveys the way a natural-deduction system can serve as meaning-conferring, and in particular analyses various criteria such a system has to meet in order...
This book is a monograph on the topic of Proof-Theoretic Semantics, a theory of meaning constituting an alternative to the more traditional Model-Theo...
|
cena:
116,53 |