» książki » Mathematics - Logic
topmenu
 |
Proof Technology in Mathematics Research and Teaching
ISBN: 9783030284824 / Angielski / Twarda / 379 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
605,23 |
 |
Proof Technology in Mathematics Research and Teaching
ISBN: 9783030284855 / Angielski / Miękka / 379 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
605,23 |
 |
Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts
ISBN: 9783030156572 / Angielski / Miękka / 494 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
605,23 |
 |
Top-Down Causation and Emergence
ISBN: 9783030718985 / Angielski / Twarda / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
605,23 |
 |
Top-Down Causation and Emergence
ISBN: 9783030719012 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the latest research, conducted by leading philosophers and scientists from various fields, on the topic of top-down causation. The chapters combine to form a unique, interdisciplinary perspective, drawing upon George Ellis's extensive research and novel perspectives on topics including downwards causation, weak and strong emergence, mental causation, biological relativity, effective field theory and levels in nature. The collection also serves as a Festschrift in honour of George Ellis' 80th birthday. The extensive and interdisciplinary scope of this book makes it...
This book presents the latest research, conducted by leading philosophers and scientists from various fields, on the topic of top-down causation....
|
cena:
605,23 |
 |
Arithmetic and Algebraic Geometry: A Mathematical Tribute to Yuri Manin
ISBN: 9783031741333 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
605,23 |
 |
Algebra Without Borders: Classical and Constructive Semigroups and Applications
ISBN: 9783031864766 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
605,23 |
 |
Algorithmic Randomness: Progress and Prospects
ISBN: 9781108478984 / Angielski / Twarda / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The last two decades have seen a wave of exciting new developments in the theory of algorithmic randomness and its applications to other areas of mathematics. This volume surveys much of the recent work that has not been included in published volumes until now. It contains a range of articles on algorithmic randomness and its interactions with closely related topics such as computability theory and computational complexity, as well as wider applications in areas of mathematics including analysis, probability, and ergodic theory. In addition to being an indispensable reference for researchers...
The last two decades have seen a wave of exciting new developments in the theory of algorithmic randomness and its applications to other areas of math...
|
cena:
607,04 |
 |
Lectures on the Curry-Howard Isomorphism: Volume 149
ISBN: 9780444520777 / Angielski / Twarda / 442 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance,
minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation,... The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi...
|
cena:
609,72 |
 |
Advanced Concepts and Applications of Fuzzy Logic
ISBN: 9781632380104 / Angielski / Twarda / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The advanced concepts and applications of fuzzy logic are elucidated in this comprehensive book. This book presents novel perceptions and ideas of Fuzzy Logic Control for their implementation in growth of robotics and intelligent devices. This book discusses three important aspects; Robotics and Electrical Machines, Intelligent Control Systems with various applications, and New Fuzzy Logic Concepts and Theories. It will be handy to practitioners, engineers and students who are keen to gain knowledge about this subject.
The advanced concepts and applications of fuzzy logic are elucidated in this comprehensive book. This book presents novel perceptions and ideas of Fuz...
|
cena:
609,84 |
 |
Complexity of Infinite-Domain Constraint Satisfaction
ISBN: 9781107042841 / Angielski / Twarda / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
611,66 |
 |
Meaning, Logic and Ludics
ISBN: 9781848164567 / Angielski / Twarda / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents several recent advances in natural language semantics and explores the boundaries between syntax and semantics over the last two decades. It is based on some of the most recent theories in logic, such as linear logic and ludics, first created by Jean-Yves Girard, and it also provides some sharp analyses of computational semantical representations, explaining advanced theories in theoretical computer sciences, such as the lambda-mu and Lambek-Grishin calculi which were applied by Philippe de Groote and Michael Moortgat. The author also looks at Aarne Ranta's...
This book presents several recent advances in natural language semantics and explores the boundaries between syntax and semantics over the last two de...
|
cena:
614,60 |
 |
Der Satz vom ausgeschlossenen Dritten
ISBN: 9783110102543 / Niemiecki / Twarda / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
617,39 |
 |
Polish Logic 1920-1939
ISBN: 9780198243045 / Angielski / Twarda / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Polish Logic 1920-1939
Polish Logic 1920-1939
|
cena:
618,59 |
 |
Many-Valued Logics
ISBN: 9780198537878 / Angielski / Twarda / 144 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides an incisive, basic introduction to many-valued logics and to the constructions that are "many-valued" at their origin. Using the matrix method, the author sheds light on the profound problems of many-valuedness criteria and its classical characterizations. The book also includes information concerning the main systems of many-valued logic, related axiomatic constructions, and conceptions inspired by many-valuedness. With its selective bibliography and many useful historical references, this book provides logicians, computer scientists, philosophers, and mathematicians with...
This book provides an incisive, basic introduction to many-valued logics and to the constructions that are "many-valued" at their origin. Using the ma...
|
cena:
618,59 |
 |
Production Systems Engineering
ISBN: 9781441945372 / Angielski / Miękka / 666 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Production Systems Engineering (PSE) is an emerging branch of Engineering intended to uncover fundamental principles of production systems and utilize them for analysis, continuous improvement, and design. This volume is the first ever textbook devoted exclusively to PSE. It is intended for senior undergraduate and first year graduate students interested in manufacturing. The development is first principle-based rather than recipe-based. The only prerequisite is elementary Probability Theory; however, all necessary probability facts are reviewed in an introductory chapter. Using a... Production Systems Engineering (PSE) is an emerging branch of Engineering intended to uncover fundamental principles of production systems and util... |
cena:
625,41 |
 |
Bounded Arithmetic, Propositional Logic and Complexity Theory
ISBN: 9780521452052 / Angielski / Twarda / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing open problems. An introduction to the basics of logic and complexity is followed by discussion of important results in propositional proof systems and systems of bounded arithmetic. Then more advanced topics are treated, including polynomial simulations and conservativity results, various witnessing...
This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic with emphasis on independe...
|
cena:
625,52 |
 |
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously
ISBN: 9780521771733 / Angielski / Twarda / 412 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two notions of proofs and calculations are intimately related. Proofs can involve calculations, and the algorithm underlying a calculation should be proved correct. This volume explores this key relationship and introduces simple type theory. Starting from the familiar propositional calculus, the author develops the central idea of an applied lambda-calculus. This is illustrated by an account of Godel's T, a system that codifies number-theoretic function hierarchies. Each of the book's 52 sections ends with a set of exercises, some 200 in total. An appendix contains complete solutions of...
The two notions of proofs and calculations are intimately related. Proofs can involve calculations, and the algorithm underlying a calculation should ...
|
cena:
625,52 |
 |
Sperner Theory
ISBN: 9780521452069 / Angielski / Twarda / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Sperner's theorem stimulated the development of a fast-growing theory dealing with external problems on finite sets and, more generally, on finite partially ordered sets. This book presents Sperner theory from a unified point of view, bringing combinatorial techniques together with methods from programming, linear algebra, Lie-algebra representations and eigenvalue methods, probability theory, and enumerative combinatorics.
Sperner's theorem stimulated the development of a fast-growing theory dealing with external problems on finite sets and, more generally, on finite par...
|
cena:
625,52 |
 |
Admissible Sets and Structures
ISBN: 9781107168336 / Angielski / Twarda / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume makes the basic facts about admissible sets accessible to logic students and specialists alike.
This volume makes the basic facts about admissible sets accessible to logic students and specialists alike.
|
cena:
625,52 |
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
