» książki » Mathematics - Logic
 |
An Intellectual History of Science in the Renaissance: Part II: Cultural, Fundamental & Technological Frameworks
ISBN: 9783031904851 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
563,56 |
 |
Sweet Reason : A Field Guide to Modern Logic
ISBN: 9780470414187 / Angielski / Miękka / 666 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Sweet Reason is a unique introductory logic text that covers both the basic rudiments of formal and informal logic as well as the real world where the discipline of logic adds substance and meaning to human discourse. As the text alternately discusses, instructs, questions, teases and challenges, readers will find themselves absorbing the fundamentals of the discipline, becoming fluent in the language of logic, understanding how logic works in the real world, and enjoying logic's ability to entertain, surprise, discover, and enlighten.
Sweet Reason is a unique introductory logic text that covers both the basic rudiments of formal and informal logic as well as the real world where the...
|
cena:
563,59 |
 |
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work
ISBN: 9789402406870 / Angielski / Miękka / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science. The range of contributions includes material on the extension of natural deduction with higher-order rules, as opposed... This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented a... |
cena:
563,59 |
 |
Fuzzy Systems: Theory and Researches
ISBN: 9781632402455 / Angielski / Twarda / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The scope of Fuzzy Systems is now being expanded as it is now being incorporated in different scientific researches. This book contains researches concerning the theory and applications of fuzzy subsets and systems. This book on fuzzy systems is a collective contribution of a highly advanced group of international authors. Different approaches, evaluations, methodologies and advanced studies on fuzzy systems have been included in this book. The numerous applications of fuzzy systems in different areas of science such as medical science and environmental science have also been included in this...
The scope of Fuzzy Systems is now being expanded as it is now being incorporated in different scientific researches. This book contains researches con...
|
cena:
569,96 |
 |
Fuzzy Logic: Theory and Applications
ISBN: 9781635491296 / Angielski / Twarda / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
570,15 |
 |
Godel's Disjunction: The Scope and Limits of Mathematical Knowledge
ISBN: 9780198759591 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The logician Kurt Godel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equivalent to a Turing machine (i.e., a computer), or there are absolutely undecidable mathematical problems. In the second half of the twentieth century, attempts have been made to arrive at a stronger conclusion. In particular, arguments have been produced by the philosopher J.R. Lucas and by the physicist and mathematician Roger Penrose that intend to show that the mathematical mind is more powerful than any computer. These arguments,...
The logician Kurt Godel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is...
|
cena:
571,22 |
 |
Bolzano's Logical System
ISBN: 9780198788294 / Angielski / Twarda / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is focused on the first three parts of Bolzano's Theory of Sciene and introduces a more systematic reconsideration of Bolzano's logial thought. In undertaking this task, the book is intended as an exploration, not so much of the more specifically discursive aspects of Bolzano's logial thought - already amply studied - as muh as on identifying the singularly coherent and systematic nature of the logic presented in Bolzano's work.
Casari presents this within a formal system and adopts the approach of the predicate calculus with identity and choice operator by using Hilbert's... This book is focused on the first three parts of Bolzano's Theory of Sciene and introduces a more systematic reconsideration of Bolzano's logial thoug...
|
cena:
571,22 |
 |
Weighted Morrey Spaces: Calderón-Zygmund Theory and Boundary Problems
ISBN: 9783111458168 / Angielski / Twarda / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph is a testament to the potency of the method of singular integrals of layer potential type in solving boundary value problems for weakly elliptic systems in the setting of Muckenhoupt-weighted Morrey spaces and their pre-duals. A functional analytic framework for Muckenhoupt-weighted Morrey spaces in the rough setting of Ahlfors regular sets is built from the ground up and subsequently supports a Calderón-Zygmund theory on this brand of Morrey space in the optimal geometric environment of uniformly rectifiable sets. A thorough duality theory for such Morrey spaces is... This monograph is a testament to the potency of the method of singular integrals of layer potential type in solving boundary value problems for wea... |
cena:
573,45 |
 |
Set Theory
ISBN: 9780521593441 / Angielski / Twarda / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a classic introduction to set theory, suitable for students with no previous knowledge of the subject. Providing complete, up-to-date coverage, the book is based in large part on courses given over many years by Professor Hajnal. The first part introduces all the standard notions of the subject; the second part concentrates on combinatorial set theory. Exercises are included throughout and a new section of hints has been added to assist the reader.
This is a classic introduction to set theory, suitable for students with no previous knowledge of the subject. Providing complete, up-to-date coverage...
|
cena:
573,53 |
 |
Causality, Probability, and Time
ISBN: 9781107026483 / Angielski / Twarda / 265 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presents a new approach to causal inference and explanation, addressing both the timing and complexity of relationships.
Presents a new approach to causal inference and explanation, addressing both the timing and complexity of relationships.
|
cena:
578,14 |
 |
Conceptual Notation and Related Articles
ISBN: 9780198243595 / Angielski / Twarda / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains English translations of Frege's early writings in logic and philosophy and of relevant reviews by other leading logicians. Professor Bynum has contributed a biographical essay, introduction, and extensive bibliography. ong Copy
This volume contains English translations of Frege's early writings in logic and philosophy and of relevant reviews by other leading logicians. Profes...
|
cena:
582,75 |
 |
Fibring Logics
ISBN: 9780198503811 / Angielski / Twarda / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modern applications of logic in mathematics, computer science, and linguistics require combined systems composed of different types of logic working together. In this book the author offers a basic methodology for combining--or fibring--systems. The technique shows how to break complex systems into simple components which can be easily manipulated and recombined.
Modern applications of logic in mathematics, computer science, and linguistics require combined systems composed of different types of logic working t...
|
cena:
582,75 |
 |
Categories for Types
ISBN: 9780521450928 / Angielski / Twarda / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory, which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic...
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theor...
|
cena:
582,75 |
 |
Kurt Gödel: Essays for His Centennial
ISBN: 9780521115148 / Angielski / Twarda / 373 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Kurt Godel (1906 1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Godel s centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Godel s writings are among the topics covered. Several chapters discuss his intellectual development...
Kurt Godel (1906 1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his ...
|
cena:
582,75 |
 |
Philosophy Without Ambiguity
ISBN: 9780198244547 / Angielski / Twarda / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book expounds and defends a new conception of the relation between truth and meaning. Atlas argues that the sense of a sense-general sentence radically underdetermines (independently of indexicality) its truth-conditional content. He applies this linguistic analysis to illuminate old and new philosophical problems of meaning, truth, falsity, negation, existence, presupposition, and implicature. In particular, he demonstrates how the concept of ambiguity has been misused and confused with other concepts of meaning, and how the interface between semantics and pragmatics has been...
This book expounds and defends a new conception of the relation between truth and meaning. Atlas argues that the sense of a sense-general sentence rad...
|
cena:
582,75 |
 |
Switching and Finite Automata Theory
ISBN: 9780521857482 / Angielski / Twarda / 630 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Understand the structure, behavior, and limitations of logic machines with this thoroughly updated third edition. Many new topics are included, such as CMOS gates, logic synthesis, logic design for emerging nanotechnologies, digital system testing, and asynchronous circuit design, to bring students up-to-speed with modern developments. The intuitive examples and minimal formalism of the previous edition are retained, giving students a text that is logical and easy to follow, yet rigorous. Kohavi and Jha begin with the basics, and then cover combinational logic design and testing, before...
Understand the structure, behavior, and limitations of logic machines with this thoroughly updated third edition. Many new topics are included, such a...
|
cena:
582,75 |
 |
Selected Works I
ISBN: 9783319642949 / Angielski / Twarda / 908 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a two-volume collection presenting the collected works of Herbert Busemann, one of the leading geometers of the twentieth century and one of the main founders of metric geometry, convexity theory and convexity in metric spaces.
This is a two-volume collection presenting the collected works of Herbert Busemann, one of the leading geometers of the twentieth century and one of t...
|
cena:
583,68 |
 |
Theory of Computation
ISBN: 9781118014783 / Angielski / Twarda / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic, Theory of Computation focuses on the metatheory of computing and the theoretical boundaries between what various computational models can do and not do--from the most general model, the URM (Unbounded Register Machines), to the finite automaton. A wealth of programming-like examples and easy-to-follow explanations build the general theory gradually, which guides readers through the modeling and mathematical analysis of... Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible appro... |
cena:
583,88 |
 |
Duality in Optimization and Variational Inequalities
ISBN: 9780415274791 / Angielski / Twarda / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This comprehensive volume covers a wide range of duality topics ranging from simple ideas in network flows to complex issues in non-convex optimization and multicriteria problems. In addition, it examines duality in the context of variational inequalities and vector variational inequalities, as generalizations to optimization. Duality in Optimization and Variational Inequalities is intended for researchers and practitioners of optimization with the aim of enhancing their understanding of duality. It provides a wider appreciation of optimality conditions in various scenarios and under...
This comprehensive volume covers a wide range of duality topics ranging from simple ideas in network flows to complex issues in non-convex optimizatio...
|
cena:
584,14 |
 |
Computational Prospects of Infinity - Part I: Tutorials
ISBN: 9789812796530 / Angielski / Twarda / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the written versions of the tutorial lectures given at the Workshop on Computational Prospects of Infinity, held from 18 June to 15 August 2005 at the Institute for Mathematical Sciences, National University of Singapore. It consists of articles by four of the leading experts in recursion theory (computability theory) and set theory. The survey paper of Rod Downey provides a comprehensive introduction to algorithmic randomness, one of the most active areas of current research in recursion theory. Theodore A Slaman's article is the first printed account of the...
This volume presents the written versions of the tutorial lectures given at the Workshop on Computational Prospects of Infinity, held from 18 June to ...
|
cena:
584,14 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
