» książki » Mathematics - Logic
 |
Logic, Everyday Discourse, and Metaphysics
ISBN: 9783030746001 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book applies the formal discipline of logic to everyday discourse. It offers a new analysis of the notion of individual, suggesting that this notion is linguistic, not ontological, and that anything denoted by a proper name in a well-functioning language game is an individual. It further posits that everyday discourse is non-compositional, i.e., its complex expressions are not just the result of putting simpler ones together but react on the latter, modifying their meaning through feedback. The book theorizes that in everyday discourse, there is no algebra of truth... This book applies the formal discipline of logic to everyday discourse. It offers a new analysis of the notion of individual, suggesting that this ... |
cena:
322,01 |
 |
Human and Artificial Rationalities: Second International Conference, Har 2023, Paris, France, September 19-22, 2023, Proceedings
ISBN: 9783031552441 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
322,01 |
 |
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra
ISBN: 9783031918407 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
322,01 |
 |
The Incompleteness Phenomenon
ISBN: 9780367401696 / Angielski / Miękka / 218 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
323,20 |
 |
Abstract Homomorphisms of Split Kac-Moody Groups
ISBN: 9780821842584 / Angielski / Miękka / 84 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work is devoted to the isomorphism problem for split Kac-Moody groups over arbitrary fields. This problem turns out to be a special case of a more general problem, which consists in determining homomorphisms of isotropic semi simple algebraic groups to Kac-Moody groups, whose image is bounded.
This work is devoted to the isomorphism problem for split Kac-Moody groups over arbitrary fields. This problem turns out to be a special case of a mor...
|
cena:
323,25 |
 |
Algebraic Automata Theory
ISBN: 9780521604925 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a self-contained, modern treatment of the algebraic theory of machines. Dr Holcombe examines various applications of the idea of a machine in biology, biochemistry and computer science and gives also a rigorous treatment of the way in which these machines can be decomposed and simulated by simpler ones. This treatment is based on fundamental ideas from modern algebra. Motivation for many of the newer results is provided by way of applications so this account should be accessible and valuable for those studying applied algebra or theoretical computer science at advanced undergraduate...
This is a self-contained, modern treatment of the algebraic theory of machines. Dr Holcombe examines various applications of the idea of a machine in ...
|
cena:
325,58 |
 |
Set Theory for Pre-Beginners: An Elementary Introduction to Sets, Relations, Partitions, Functions, Equinumerosity, Logic, Axiomatic Set Theory, Ord
ISBN: 9781951619046 / Angielski / Miękka / 194 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
327,97 |
 |
The History of Mathematical Proof in Ancient Traditions
ISBN: 9781107527539 / Angielski / Miękka / 614 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume explores the nature of mathematical proof in a range of historical settings, providing the first comprehensive history of proof.
This volume explores the nature of mathematical proof in a range of historical settings, providing the first comprehensive history of proof.
|
cena:
328,01 |
 |
Bridge to Abstract Mathematics
ISBN: 9780883857793 / Angielski / Twarda / 249 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A complete guide to mathematical proof, with plentiful exercises and examples. Ideal for educators, and as preparation for students.
A complete guide to mathematical proof, with plentiful exercises and examples. Ideal for educators, and as preparation for students.
|
cena:
328,15 |
 |
Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem
ISBN: 9781470426576 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. Goncharov and Peretyat'kin independently gave necessary and sufficient conditions for when a set of types of a complete theory $T$ is the type spectrum of some homogeneous model of $T$. Their result can be stated as a principle of second order arithmetic, which is called the Homogeneous Model Theorem (HMT), and analyzed from the points of view of computability theory and reverse mathematics. Previous computability theoretic results by Lange suggested a close connection between HMT and the Atomic Model Theorem (AMT), which states that every complete atomic theory has an atomic model. The...
Goncharov and Peretyat'kin independently gave necessary and sufficient conditions for when a set of types of a complete theory $T$ is the type spectru...
|
cena:
328,15 |
 |
Consequences of Martin's Axiom
ISBN: 9780521089548 / Angielski / Miękka / 340 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 'Martin's axiom' is one of the most fruitful axioms which have been devised to show that certain properties are insoluble in standard set theory. It has important 1applications m set theory, infinitary combinatorics, general topology, measure theory, functional analysis and group theory. In this book Dr Fremlin has sought to collect together as many of these applications as possible into one rational scheme, with proofs of the principal results. His aim is to show how straightforward and beautiful arguments can be used to derive a great many consistency results from the consistency of...
'Martin's axiom' is one of the most fruitful axioms which have been devised to show that certain properties are insoluble in standard set theory. It h...
|
cena:
330,17 |
 |
Forcing with Random Variables and Proof Complexity
ISBN: 9780521154338 / Angielski / Miękka / 247 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces a new approach to building models of bounded arithmetic, with techniques drawn from recent results in computational complexity. Propositional proof systems and bounded arithmetics are closely related. In particular, proving lower bounds on the lengths of proofs in propositional proof systems is equivalent to constructing certain extensions of models of bounded arithmetic. This offers a clean and coherent framework for thinking about lower bounds for proof lengths, and it has proved quite successful in the past. This book outlines a brand new method for constructing models...
This book introduces a new approach to building models of bounded arithmetic, with techniques drawn from recent results in computational complexity. P...
|
cena:
330,17 |
 |
Motivic Integration and Its Interactions with Model Theory and Non-Archimedean Geometry: Volume 2
ISBN: 9781107648814 / Angielski / Miękka / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An overview of different theories of motivic integration and their applications.
An overview of different theories of motivic integration and their applications.
|
cena:
330,17 |
 |
First Steps in Modal Logic
ISBN: 9780521057936 / Angielski / Miękka / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a graduate-level text for a first course in propositional modal logic. It is written from the semantical point of view rather than the more usual proof theoretic approach, and the book covers all basic material including the propositional languages, the semantics and correspondence results, and proof systems and completeness results--as well as some topics not usually covered in a modal logic course, such as bisimulation. Important features of the book are the many exercises and extensive set of solutions that are included.
This is a graduate-level text for a first course in propositional modal logic. It is written from the semantical point of view rather than the more us...
|
cena:
330,17 |
 |
Cartesian Cubical Model Categories
ISBN: 9783032087294 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
330,96 |
 |
Finite-State Techniques: Automata, Transducers and Bimachines
ISBN: 9781108485418 / Angielski / Twarda / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text for graduate students and researchers gives a complete coverage of the field with mathematical rigour, from basics to advanced topics. It closes the gap between theory and real practice by providing full proofs and executable code for all algorithms, showcasing the efficient and elegant solutions that finite-state methods offer.
This text for graduate students and researchers gives a complete coverage of the field with mathematical rigour, from basics to advanced topics. It cl...
|
cena:
331,10 |
 |
Continuous Lattices and Their Applications
ISBN: 9781138441859 / Angielski / Twarda / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains articles on the notion of a continuous lattice, which has its roots in Dana Scott's work on a mathematical theory of computation, presented at a conference on categorical and topological aspects of continuous lattices held in 1982.
This book contains articles on the notion of a continuous lattice, which has its roots in Dana Scott's work on a mathematical theory of computation, p...
|
cena:
333,00 |
 |
Understanding Mathematical Proof
ISBN: 9781466514904 / Angielski / Miękka / 414 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The notion of proof is central to mathematics yet it is one of the most difficult aspects of the subject to teach and master. In particular, undergraduate mathematics students often experience difficulties in understanding and constructing proofs. Understanding Mathematical Proof describes the nature of mathematical proof, explores the various techniques that mathematicians adopt to prove their results, and offers advice and strategies for constructing proofs. It will improve students ability to understand proofs and construct correct proofs of their... The notion of proof is central to mathematics yet it is one of the most difficult aspects of the subject to teach and master. In particula... |
cena:
333,00 |
 |
Recent Advances in Real Complexity and Computation
ISBN: 9780821891506 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is composed of six contributions derived from the lectures given during the UIMP-RSME Lluis Santalo Summer School on Recent Advances in Real Complexity and Computation, held July 16-20, 2012, in Santander, Spain. The goal of this Summer School was to present some of the recent advances on Smale's 17th Problem: Can a zero of $n$ complex polynomial equations in $n$ unknowns be found approximately, on the average, in polynomial time with a uniform algorithm? These papers cover several aspects of this problem: from numerical to symbolic methods in polynomial equation solving,...
This volume is composed of six contributions derived from the lectures given during the UIMP-RSME Lluis Santalo Summer School on Recent Advances in Re...
|
cena:
333,05 |
 |
Frege's Logic
ISBN: 9780674017078 / Angielski / Twarda / 218 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For many philosophers, modern philosophy begins in 1879 with the publication of Gottlob Frege's Begriffsschrift, in which Frege presents the first truly modern logic in his symbolic language, Begriffsschrift, or concept-script. Danielle Macbeth's book, the first full-length study of this language, offers a highly original new reading of Frege's logic based directly on Frege's own two-dimensional notation and his various writings about logic. Setting out to explain the nature of Frege's logical notation, Macbeth brings clarity not only to Frege's symbolism and its... For many philosophers, modern philosophy begins in 1879 with the publication of Gottlob Frege's Begriffsschrift, in which Frege presents the... |
cena:
334,85 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
