» książki » Mathematics - Logic
 |
Boolean Functions and Computation Models
ISBN: 9783540594369 / Angielski / Twarda / 602 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The foundations of computational complexity theory go back to Alan Thring in the 1930s who was concerned with the existence of automatic procedures deciding the validity of mathematical statements. The first example of such a problem was the undecidability of the Halting Problem which is essentially the question of debugging a computer program: Will a given program eventu- ally halt? Computational complexity today addresses the quantitative aspects of the solutions obtained: Is the problem to be solved tractable? But how does one measure the intractability of computation? Several ideas were...
The foundations of computational complexity theory go back to Alan Thring in the 1930s who was concerned with the existence of automatic procedures de...
|
cena:
301,73 |
 |
Boolean Functions and Computation Models
ISBN: 9783642082177 / Angielski / Miękka / 602 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The foundations of computational complexity theory go back to Alan Thring in the 1930s who was concerned with the existence of automatic procedures deciding the validity of mathematical statements. The first example of such a problem was the undecidability of the Halting Problem which is essentially the question of debugging a computer program: Will a given program eventu- ally halt? Computational complexity today addresses the quantitative aspects of the solutions obtained: Is the problem to be solved tractable? But how does one measure the intractability of computation? Several ideas were...
The foundations of computational complexity theory go back to Alan Thring in the 1930s who was concerned with the existence of automatic procedures de...
|
cena:
301,73 |
 |
Sheaves in Geometry and Logic: A First Introduction to Topos Theory
ISBN: 9780387977102 / Angielski / Miękka / 630 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds. Sheaves also appear in logic as carriers for models of set theory. This text presents topos theory as it has developed from the study of sheaves. Beginning with several examples, it explains the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes and geometric morphisms and their relation to logic. Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds. Sheaves al... |
cena:
301,89 |
 |
Substitutions in Dynamics, Arithmetics and Combinatorics
ISBN: 9783540441410 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A certain category of infinite strings of letters on a finite alphabet is presented here, chosen among the 'simplest' possible one may build, both because they are very deterministic and because they are built by simple rules (a letter is replaced by a word, a sequence is produced by iteration). These substitutive sequences have a surprisingly rich structure.
The authors describe the concepts of quantity of natural interactions, with combinatorics on words, ergodic theory, linear algebra, spectral theory, geometry of tilings, theoretical computer science, diophantine approximation,... A certain category of infinite strings of letters on a finite alphabet is presented here, chosen among the 'simplest' possible one may build, both bec...
|
cena:
301,89 |
 |
Temporal Logic and State Systems
ISBN: 9783540674016 / Angielski / Twarda / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as... Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. B... |
cena:
301,89 |
 |
Proof Theory: An Introduction
ISBN: 9783540518426 / Angielski / Miękka / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The "constructive" consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to...
Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a ve...
|
cena:
301,89 |
 |
A Concise Introduction to Mathematical Logic
ISBN: 9781441912206 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Traditional logic as a part of philosophy is one of the oldest scientific disciplines and can be traced back to the Stoics and to Aristotle. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, and others to create a logistic foundation for mathematics. It steadily developed during the twentieth century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy. This book treats the most important material in a concise and streamlined fashion. The third edition is a...
Traditional logic as a part of philosophy is one of the oldest scientific disciplines and can be traced back to the Stoics and to Aristotle. Mathemati...
|
cena:
301,89 |
 |
An Algebraic Introduction to Mathematical Logic
ISBN: 9781475744910 / Angielski / Miękka / 123 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is intended for mathematicians. Its origins lie in a course of lectures given by an algebraist to a class which had just completed a sub- stantial course on abstract algebra. Consequently, our treatment ofthe sub- ject is algebraic. Although we assurne a reasonable level of sophistication in algebra, the text requires little more than the basic notions of group, ring, module, etc. A more detailed knowledge of algebra is required for some of . the exercises. We also assurne a familiarity with the main ideas of set theory, including cardinal numbers and Zorn's Lemma. In this book, we...
This book is intended for mathematicians. Its origins lie in a course of lectures given by an algebraist to a class which had just completed a sub- st...
|
cena:
301,89 |
 |
A Course on Basic Model Theory
ISBN: 9789811050978 / Angielski / Twarda / 291 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This self-contained book is an exposition of the fundamental ideas of model theory. It presents the necessary background from logic, set theory and other topics of mathematics. It is primarily aimed at graduate students in mathematical logic who want to specialise in model theory.
This self-contained book is an exposition of the fundamental ideas of model theory. It presents the necessary background from logic, set theory and ot...
|
cena:
301,89 |
 |
Logical Foundations of Computer Science: International Symposium, Lfcs 2022, Deerfield Beach, Fl, Usa, January 10-13, 2022, Proceedings
ISBN: 9783030930998 / Angielski / Miękka / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022.
The 23 revised full papers were carefully reviewed and selected from 35 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and... This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield...
|
cena:
301,89 |
 |
Language, Logic, and Computation: 13th International Tbilisi Symposium, Tbillc 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers
ISBN: 9783030984786 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
301,89 |
 |
Artificial Intelligence Logic and Applications: The 2nd International Conference, AILA 2022, Shanghai, China, August 26–28, 2022, Proceedings
ISBN: 9789811975097 / Angielski / Miękka / 287 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes refereed proceedings of the 2nd International Conference on Artificial Intelligence Logic and Applications 2022 held in Shanghai, China from August 26–28, 2022.The 20 full papers presented in this volume were carefully reviewed and selected from a total of 27 submissions. The papers in the volume are organised according to the following topical headings: program logic;fuzzy logic; applications; author index.
This book constitutes refereed proceedings of the 2nd International Conference on Artificial Intelligence Logic and Applications 2022 held in Shang...
|
cena:
301,89 |
 |
Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
ISBN: 9783031331626 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, i...
|
cena:
301,89 |
 |
Comprehensive Mathematics for Computer Scientists 1: Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry
ISBN: 9783540368731 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A second edition of a book is a success and an obligation at the same time. We are satis ed that a number of university courses have been orga> nized on the basis of the rst volume of Comprehensive Mathematics for Computer Scientists. The instructors recognized that the self>contained presentation of a broad specturm of mathematical core topics is a rm point of departure for a sustainable formal education in computer sci> ence. We feel obliged to meet the valuable feedback of the responsible in> structors of such courses, in particular of Joel Young (Computer Science Department, Brown...
A second edition of a book is a success and an obligation at the same time. We are satis ed that a number of university courses have been orga> nized ...
|
cena:
301,89 |
 |
Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings
ISBN: 9783540358428 / Angielski / Miękka / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, held in Utrecht, The Netherlands, July 12-14, 2006. These biennial DEON (more properly, ?EON) workshops are designed to promote international cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. They support research that links the formal-logical study of normative concepts and normative systems with computer science, arti?cial intelligence, philosophy, organization theory, and law. Papers for these...
This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, held in Utrecht, The Ne...
|
cena:
301,89 |
 |
Temporal Logic and State Systems
ISBN: 9783642086809 / Angielski / Miękka / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as... Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. B... |
cena:
301,89 |
 |
Quaternions for Computer Graphics
ISBN: 9780857297594 / Angielski / Twarda / 156 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Sir William Rowan Hamilton was a genius, and will be remembered for his significant contributions to physics and mathematics. The Hamiltonian, which is used in quantum physics to describe the total energy of a system, would have been a major achievement for anyone, but Hamilton also invented quaternions, which paved the way for modern vector analysis. Quaternions are one of the most documented inventions in the history of mathematics, and this book is about their invention, and how they are used to rotate vectors about an arbitrary axis. Apart from introducing the reader to the... Sir William Rowan Hamilton was a genius, and will be remembered for his significant contributions to physics and mathematics. The Hamiltonian, whic... |
cena:
301,89 |
 |
Beginning Julia Programming: For Engineers and Scientists
ISBN: 9781484231708 / Angielski / Miękka / 351 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
301,89 |
 |
Developments in Language Theory: 26th International Conference, Dlt 2022, Tampa, Fl, Usa, May 9-13, 2022, Proceedings
ISBN: 9783031055775 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 26th International Conference on Developments in Language Theory, DLT 2022, which was held in Tampa, FL, USA, during May, 2022. The conference took place in an hybrid format with both in-person and online participation. The 21 full papers included in these proceedings were carefully reviewed and selected from 32 submissions. The DLT conference series provides a forum for presenting current developments in formal languages and automata. This book constitutes the proceedings of the 26th International Conference on Developments in Language Theory, DLT 2022, which was held in Tampa, F... |
cena:
301,89 |
 |
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, Uk, September 5-8, 2023 Proceedings
ISBN: 9783031427527 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
301,89 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
