» książki » Mathematics - Logic
topmenu
 |
Handbook of Computability and Complexity in Analysis
ISBN: 9783030592332 / Angielski / Twarda / 427 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
402,53 |
 |
Probabilistic Extensions of Various Logical Systems
ISBN: 9783030529567 / Angielski / Miękka / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
402,53 |
 |
Foundations of Finitely Supported Structures: A Set Theoretical Viewpoint
ISBN: 9783030529642 / Angielski / Miękka / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
402,53 |
 |
Iceberg Semantics for Mass Nouns and Count Nouns: A New Framework for Boolean Semantics
ISBN: 9783030427139 / Angielski / Miękka / 381 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
402,53 |
 |
On Hilbert's Sixth Problem
ISBN: 9783030838362 / Angielski / Twarda / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
402,53 |
 |
Relational Calculus for Actionable Knowledge
ISBN: 9783030924294 / Angielski / Twarda / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book focuses on one of the major challenges of the newly created scientific domain known as data science: turning data into actionable knowledge in order to exploit increasing data volumes and deal with their inherent complexity. Actionable knowledge has been qualitatively and intensively studied in management, business, and the social sciences but in computer science and engineering, its connection has only recently been established to data mining and its evolution, ‘Knowledge Discovery and Data Mining’ (KDD). Data mining seeks to extract interesting patterns from data, but,... This book focuses on one of the major challenges of the newly created scientific domain known as data science: turning data into actionable knowled... |
cena:
402,53 |
 |
On Hilbert's Sixth Problem
ISBN: 9783030838393 / Angielski / Miękka / 191 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book explores the premise that a physical theory is an interpretation of the analytico–canonical formalism. Throughout the text, the investigation stresses that classical mechanics in its Lagrangian formulation is the formal backbone of theoretical physics. The authors start from a presentation of the analytico–canonical formalism for classical mechanics, and its applications in electromagnetism, Schrödinger's quantum mechanics, and field theories such as general relativity and gauge field theories, up to the Higgs mechanism.The analysis uses the main criterion used by physicists...
This book explores the premise that a physical theory is an interpretation of the analytico–canonical formalism. Throughout the text, the investigat...
|
cena:
402,53 |
 |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, Ecsqaru 2023, Arras, France, September 19-22, 2023, Proc
ISBN: 9783031456077 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
402,53 |
 |
Abstraction and Infinity
ISBN: 9780198746829 / Angielski / Twarda / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Paolo Mancosu provides an original investigation of historical and systematic aspects of the notions of abstraction and infinity and their interaction. A familiar way of introducing concepts in mathematics rests on so-called definitions by abstraction. An example of this is Hume's Principle, which introduces the concept of number by stating that two concepts have the same number if and only if the objects falling under each one of them can be put in one-one correspondence. This principle is at the core of neo-logicism.
In the first two chapters of the book, Mancosu provides a historical... Paolo Mancosu provides an original investigation of historical and systematic aspects of the notions of abstraction and infinity and their interaction...
|
cena:
405,33 |
 |
Logic Colloquium '99: Lecture Notes in Logic 17
ISBN: 9781568811994 / Angielski / Twarda / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of current research in two active areas of logic, geometric model theory and descriptive set theory of group actions. The other articles cover current reseach topics in all areas of mathematical logic, including logic in computer science, proof theory, set theory, model theory,...
A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and...
|
cena:
406,47 |
 |
Reverse Mathematics 2001: Lecture Notes in Logic 21
ISBN: 9781568812632 / Angielski / Twarda / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reverse Mathematics is a program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate axioms for mathematics, and what are the logical strengths of particular axioms and particular theorems. The book contains 24 original papers by leading researchers. These articles exhibit the exciting recent developments in reverse mathematics and subsystems of second order arithmetic.
Reverse Mathematics is a program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate axioms...
|
cena:
406,47 |
 |
An Introduction to Many-Valued Logics
ISBN: 9780367417444 / Angielski / Twarda / 94 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
406,47 |
 |
Axioms for Lattices and Boolean Algebras
ISBN: 9789812834546 / Angielski / Twarda / 228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presents minimal equational axiom-systems for various lattice-related algebras, regardless of whether they are given in terms of 'join and meet' or other types of operations such as ternary operations.
Presents minimal equational axiom-systems for various lattice-related algebras, regardless of whether they are given in terms of 'join and meet' or ot...
|
cena:
406,51 |
 |
Computability in Combinatory Spaces: An Algebraic Generalization of Abstract First Order Computability
ISBN: 9780792315766 / Angielski / Twarda / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume provides an account of the current state of the theory of combinatory spaces and discusses various applications. Here the term combinatory space can be regarded as a system for functional programming and bears no close connection with combinatory logic.
This volume provides an account of the current state of the theory of combinatory spaces and discusses various applications. Here the term combinatory...
|
cena:
407,16 |
 |
Fuzzy Approach to Reasoning and Decision-Making
ISBN: 9780792313588 / Angielski / Twarda / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The papers presented at the Symposium focused mainly on two fields of interest. First, there were papers dealing with the theoretical background of fuzzy logic and with applications of fuzzy reasoning to the problems of artificial intelligence, robotics and expert systems. Second, quite a large number of papers were devoted to fuzzy approaches to modelling of decision-making situations under uncertainty and vagueness and their applications to the evaluation of alternatives, system control and optimization. Apart from that, there were also some interesting contributions from other areas, like...
The papers presented at the Symposium focused mainly on two fields of interest. First, there were papers dealing with the theoretical background of fu...
|
cena:
407,16 |
 |
Bridging the Gap: Philosophy, Mathematics, and Physics: Lectures on the Foundations of Science
ISBN: 9780792317616 / Angielski / Twarda / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Foundational questions in logic, mathematics, computer science and physics are constant sources of epistemological debate in contemporary philosophy. To what extent is the transfinite part of mathematics completely trustworthy? Why is there a general malaise concerning the logical approach to the foundations of mathematics? What is the role of symmetry in physics? Is it possible to build a coherent worldwiew compatible with a macro-objectivistic position and based on the quantum picture of the world? What account can be given of opinion change in the light of new evidence?
Foundational questions in logic, mathematics, computer science and physics are constant sources of epistemological debate in contemporary philosophy. ...
|
cena:
407,16 |
 |
Galois Theories
ISBN: 9780521070416 / Angielski / Miękka / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Starting from the classical finite-dimensional Galois theory of fields, this book develops Galois theory in a much more general context. The authors first formalize the categorical context in which a general Galois theorem holds, and then give applications to Galois theory for commutative rings, central extensions of groups, the topological theory of covering maps and a Galois theorem for toposes. The book is designed to be accessible to a wide audience, the prerequisites are first courses in algebra and general topology, together with some familiarity with the categorical notions of limit...
Starting from the classical finite-dimensional Galois theory of fields, this book develops Galois theory in a much more general context. The authors f...
|
cena:
408,12 |
 |
A Graphic Apology for Symmetry and Implicitness
ISBN: 9780198507291 / Angielski / Twarda / 520 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book brings into focus the contrast between explicit and implicit algorithmic descriptions of objects and presents a new geometric language for the study of combinatorial and logical problems in complexity theory. These themes are considered in a variety of settings, sometimes crossing traditional boundaries. Special emphasis is given to moderate complexity - exponential or polynomial - but objects with multi-exponential complexity also fit in. Among the items under consideration are graphs, formal proofs, languages, automata, groups, circuits, some connections with geometry of metric...
This book brings into focus the contrast between explicit and implicit algorithmic descriptions of objects and presents a new geometric language for t...
|
cena:
409,97 |
 |
Model Theory and Modules
ISBN: 9780521348331 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Professor Prest is the first to address the topic of the development of the interplay between model theory and the theory of modules. In recent years the relationship between model theory and other branches of mathematics has led to many profound and intriguing results. This self-contained introduction to the subject introduces the requisite model theory and module theory as it is needed. It then develops the basic ideas of determining what can be said about modules using the information that may be expressed in first-order language. Later chapters discuss stability-theoretic aspects of...
Professor Prest is the first to address the topic of the development of the interplay between model theory and the theory of modules. In recent years ...
|
cena:
409,97 |
 |
Reading Frege's Grundgesetze
ISBN: 9780199233700 / Angielski / Twarda / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Gottlob Frege's Grundgesetze der Arithmetik, or Basic Laws of Arithmetic, was intended to be his magnum opus, the book in which he would finally establish his logicist philosophy of arithmetic. But because of the disaster of Russell's Paradox, which undermined Frege's proofs, the more mathematical parts of the book have rarely been read. Richard G. Heck, Jr., aims to change that, and establish it as a neglected masterpiece that must be placed at the center of Frege's philosophy.
Part I of Reading Frege's Grundgesetze develops an interpretation of the philosophy of logic that informs... Gottlob Frege's Grundgesetze der Arithmetik, or Basic Laws of Arithmetic, was intended to be his magnum opus, the book in which he would finally estab...
|
cena:
409,97 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
