» książki » Mathematics - Logic
 |
Mathematical Foundations and Aspects of Discrete Mathematics
ISBN: 9789819820634 / Angielski / 30-01-2026 Książka dostępna od: 30-01-2026 |
|
Termin ukazania się książki: 30-01-2026
Książkę można już zamówić z rabatem 5% |
|
807,62 |
 |
Learning to Reason: An Introduction to Logic, Sets, and Relations
ISBN: 9780471371229 / Angielski / Miękka / 454 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Learn how to develop your reasoning skills and how to write well-reasoned proofs
Learning to Reason shows you how to use the basic elements of mathematical language to develop highly sophisticated, logical reasoning skills. You'll get clear, concise, easy-to-follow instructions on the process of writing proofs, including the necessary reasoning techniques and syntax for constructing well-written arguments. Through in-depth coverage of logic, sets, and relations, Learning to Reason offers a meaningful, integrated view of modern mathematics, cuts through confusing terms and ideas,... Learn how to develop your reasoning skills and how to write well-reasoned proofs
Learning to Reason shows you how to use the basic elemen... |
cena:
853,70 |
 |
Recursion Theory for Metamathematics
ISBN: 9780195082326 / Angielski / Twarda / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.
This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's in...
|
cena:
857,70 |
 |
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
ISBN: 9780198500490 / Angielski / Twarda / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic forms the basis of mathematics and is a fundamental part of any mathematics course. This book provides students with a clear and accessible introduction to this important subject, using the concept of model as the main focus and covering a wide area of logic. The chapters of the book cover propositional calculus, boolean algebras, predicate calculus and completelness theorems with answeres to all of the exercises and the end of the volume. This is an ideal introduction to mathematics and logic for the advanced undergraduate student.
Logic forms the basis of mathematics and is a fundamental part of any mathematics course. This book provides students with a clear and accessible intr...
|
cena:
857,70 |
 |
David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
ISBN: 9783540205784 / Niemiecki / Twarda / 1062 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The core of Volume3 consists of lecture notes for seven sets of lectures Hilbert gave (often in collaboration with Bernays) on the foundations of mathematics between 1917 and 1926. These texts make possible for the first time a detailed reconstruction of the rapid development of Hilbert s foundational thought during this period, and show the increasing dominance of the metamathematical perspective in his logical work: the emergence of modern mathematical logic; the explicit raising of questions of completeness, consistency and decidability for logical systems; the investigation of the... The core of Volume3 consists of lecture notes for seven sets of lectures Hilbert gave (often in collaboration with Bernays) on the foundations of m... |
cena:
865,28 |
 |
Mereology and the Sciences: Parts and Wholes in the Contemporary Scientific Context
ISBN: 9783319357935 / Angielski / Miękka / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is the first systematic and thorough attempt to investigate the relation and the possible applications of mereology to contemporary science. It gathers contributions from leading scholars in the field and covers a wide range of scientific theories and practices such as physics, mathematics, chemistry, biology, computer science and engineering. Throughout the volume, a variety of foundational issues are investigated both from the formal and the empirical point of view. The first section looks at the topic as it applies to physics. The section addresses questions of... This volume is the first systematic and thorough attempt to investigate the relation and the possible applications of mereology to contemporary sci... |
cena:
865,66 |
 |
Fuzzy Automata and Languages: Theory and Applications
ISBN: 9781584882251 / Angielski / Twarda / 576 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Offers a treatment of the theory and mathematics of fuzzy automata and fuzzy languages. This title compares the different approaches used in fuzzy mathematics and automata and includes proofs of the theoretical results presented. It discusses applications in a variety of fields, including databases, learning systems, and pattern recognition.
Offers a treatment of the theory and mathematics of fuzzy automata and fuzzy languages. This title compares the different approaches used in fuzzy mat...
|
cena:
874,41 |
 |
Polynomial Completeness in Algebraic Systems
ISBN: 9781584882039 / Angielski / Twarda / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Boolean algebras have historically played a special role in the development of the theory of general or "universal" algebraic systems, providing important links between algebra and analysis, set theory, mathematical logic, and computer science. It is not surprising then that focusing on specific properties of Boolean algebras has lead to new directions in universal algebra.
In the first unified study of polynomial completeness, Polynomial Completeness in Algebraic Systems focuses on and systematically extends another specific property of Boolean algebras: the property of affine... Boolean algebras have historically played a special role in the development of the theory of general or "universal" algebraic systems, providing impor...
|
cena:
874,41 |
 |
Complexity, Logic, and Recursion Theory
ISBN: 9781138404106 / Angielski / Twarda / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature."
"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd...
|
cena:
874,41 |
 |
Handbook of Categorical Algebra: Volume 2, Categories and Structures
ISBN: 9780521441797 / Angielski / Twarda / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The second volume, which assumes familiarity with the material in the first, introduces important classes of categories that have played a fundamental role in the subject's development and applications. In addition, after several chapters discussing specific categories, the book develops all the major concepts concerning Benabou's ideas of fibered categories.
The second volume, which assumes familiarity with the material in the first, introduces important classes of categories that have played a fundamental...
|
cena:
880,71 |
 |
Definability and Computability
ISBN: 9780306110399 / Angielski / Twarda / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets. He presents a new approach to providing the Godel incompleteness theorem based on systematic use of the formulas with the restricted quantifiers. The volume also includes a novel exposition on the foundations of the theory of admissible sets with urelements, using the Gandy theorem throughout the theory's development. Other topics discussed are forcing, Sigma-definability, dynamic logic, and Sigma-predicates of finite types.
In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets....
|
cena:
885,61 |
 |
Automated Development of Fundamental Mathematical Theories
ISBN: 9780792320210 / Angielski / Twarda / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The author provides an introduction to automated reasoning, and in particular to resolution theorem proving using the prover OTTER. He presents a new clausal version of von Neumann-Bernays-Godel set theory, and lists over 400 theorems proved semiautomatically in elementary set theory. He presents a semiautomated proof that the composition of homomorphisms is a homomorphism, thus solving a challenge problem.
The author next develops Peano's arithmetic, and gives more than 1200 definitions and theorems in elementary number theory. He gives part of the proof of the fundamental theorem of... The author provides an introduction to automated reasoning, and in particular to resolution theorem proving using the prover OTTER. He presents a new ...
|
cena:
885,61 |
 |
Metamathematics of Fuzzy Logic
ISBN: 9780792352389 / Angielski / Twarda / 299 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named fuzzy inference' can be naturally understood as logical deduction.
There are two main groups of intended readers. First, logicians: they can see that fuzzy logic is indeed a branch of... This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Som...
|
cena:
885,61 |
 |
Metamathematics of Fuzzy Logic
ISBN: 9781402003707 / Angielski / Miękka / 299 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named fuzzy inference' can be naturally understood as logical deduction.
There are two main groups of intended readers. First, logicians: they can see that fuzzy logic is indeed a branch of... This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Som...
|
cena:
885,61 |
 |
Collected Papers: Volume 4: 1958-1979
ISBN: 9783319954165 / Angielski / Twarda / 757 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
885,61 |
 |
Substructural Logics: A Primer
ISBN: 9781402006050 / Angielski / Twarda / 305 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Substructural logics are by now one of the most prominent branches of the research field usually labelled as "nonclassical logics" - and perhaps of logic tout court. Over the last few decades a vast amount of research papers and even some books have been devoted to this subject. The aim of the present book is to give a comprehensive account of the "state of the art" of substructural logics, focusing both on their proof theory (especially on sequent calculi and their generalizations) and on their semantics (both algebraic and relational).
Readership: This textbook is... Substructural logics are by now one of the most prominent branches of the research field usually labelled as "nonclassical logics" - and perhaps of lo...
|
cena:
885,61 |
 |
The Growth of Mathematical Knowledge
ISBN: 9780792361510 / Angielski / Twarda / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mathematics has stood as a bridge between the Humanities and the Sciences since the days of classical antiquity. For Plato, mathematics was evidence of Being in the midst of Becoming, garden variety evidence apparent even to small children and the unphilosophical, and therefore of the highest educational significance. In the great central similes of The Republic it is the touchstone ofintelligibility for discourse, and in the Timaeus it provides in an oddly literal sense the framework of nature, insuring the intelligibility ofthe material world. For Descartes, mathematical ideas had a clarity...
Mathematics has stood as a bridge between the Humanities and the Sciences since the days of classical antiquity. For Plato, mathematics was evidence o...
|
cena:
885,61 |
 |
Semantic Intelligence: Select Proceedings of ISIC 2022
ISBN: 9789811971259 / Angielski / Twarda / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes refereed proceedings of the 2nd International Semantic Intelligence Conference (ISIC 2022). This book covers a wide range of topics, including semantic web engineering, ontology-based data access, multimodal and multilingual access, machine-to-machine communications and interoperability, knowledge extraction and ontology learning from the web, computational paradigms and computational intelligence, distributed and mobile systems, and many others. This book includes novel contributions and the latest developments from researchers across industry and academia. This book...
This book constitutes refereed proceedings of the 2nd International Semantic Intelligence Conference (ISIC 2022). This book covers a wide range of top...
|
cena:
885,61 |
 |
Semantic Intelligence
ISBN: 9789811971280 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes refereed proceedings of the 2nd International Semantic Intelligence Conference (ISIC 2022). This book covers a wide range of topics, including semantic web engineering, ontology-based data access, multimodal and multilingual access, machine-to-machine communications and interoperability, knowledge extraction and ontology learning from the web, computational paradigms and computational intelligence, distributed and mobile systems, and many others. This book includes novel contributions and the latest developments from researchers across industry and academia. This book... This book constitutes refereed proceedings of the 2nd International Semantic Intelligence Conference (ISIC 2022). This book covers a wide range of ... |
cena:
885,61 |
 |
Substructural Logics: A Primer
ISBN: 9789048160143 / Angielski / Miękka / 305 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Substructural logics are by now one of the most prominent branches of the research field usually labelled as "nonclassical logics" - and perhaps of logic tout court. Over the last few decades a vast amount of research papers and even some books have been devoted to this subject. The aim of the present book is to give a comprehensive account of the "state of the art" of substructural logics, focusing both on their proof theory (especially on sequent calculi and their generalizations) and on their semantics (both algebraic and relational).
Readership: This textbook is... Substructural logics are by now one of the most prominent branches of the research field usually labelled as "nonclassical logics" - and perhaps of lo...
|
cena:
885,61 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
