» książki » Mathematics - Logic
topmenu
 |
Advances in Linear Logic
ISBN: 9780521559614 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction. The book includes a general introduction to linear logic that will ensure this book's use by the novice as well as the expert. Mathematicians and computer scientists will learn much from this book.
This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry ...
|
cena:
335,74 |
 |
Proofs and Refutations: The Logic of Mathematical Discovery
ISBN: 9781107113466 / Angielski / Twarda / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Imre Lakatos's Proofs and Refutations is an enduring classic, which has never lost its relevance. Taking the form of a dialogue between a teacher and some students, the book considers various solutions to mathematical problems and, in the process, raises important questions about the nature of mathematical discovery and methodology. Lakatos shows that mathematics grows through a process of improvement by attempts at proofs and critiques of these attempts, and his work continues to inspire mathematicians and philosophers aspiring to develop a philosophy of mathematics that accounts for both...
Imre Lakatos's Proofs and Refutations is an enduring classic, which has never lost its relevance. Taking the form of a dialogue between a teacher and ...
|
cena:
335,74 |
 |
Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991
ISBN: 9780521427265 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Applications of category theory and related topics of mathematics to computer science have been a growing area in recent years. This book contains selected papers on the subject from the London Mathematical Society Symposium held at the University of Durham in July 1991.
Applications of category theory and related topics of mathematics to computer science have been a growing area in recent years. This book contains sel...
|
cena:
335,74 |
 |
Mathematical Logic for Computer Science (2nd Edition)
ISBN: 9789810230913 / Angielski / Twarda / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Describes the aspects of mathematical logic which are related to computer science. This book deals with both the peculiarities of logical systems and the requirements of computer science. In this edition, the proofs and explanations have been increased and rewritten, with new terms and notations.
Describes the aspects of mathematical logic which are related to computer science. This book deals with both the peculiarities of logical systems and ...
|
cena:
337,94 |
 |
Lecture Notes on Algebraic Structure of Lattice-Ordered Rings
ISBN: 9789814571425 / Angielski / Twarda / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Algebraic Structure of Lattice-Ordered Rings presents an introduction to the theory of lattice-ordered rings and some new developments in this area in the last 10-15 years. It aims to provide the reader with a good foundation in the subject, as well as some new research ideas and topic in the field. This book may be used as a textbook for graduate and advanced undergraduate students who have completed an abstract algebra course including general topics on group, ring, module, and field. It is also suitable for readers with some background in abstract algebra and are interested in...
Algebraic Structure of Lattice-Ordered Rings presents an introduction to the theory of lattice-ordered rings and some new developments in this area in...
|
cena:
337,94 |
 |
Philosophie Der Mathematik in Der Antike Und in Der Neuzeit
ISBN: 9783030359331 / Niemiecki / Twarda / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
338,56 |
 |
Domains and Lambda-Calculi
ISBN: 9780521062923 / Angielski / Miękka / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modeling of various families of typed lambda...
This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meani...
|
cena:
339,34 |
 |
Karl Menger: Ergebnisse Eines Mathematischen Kolloquiums
ISBN: 9783211831045 / Niemiecki / Book / 479 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die von Karl Menger und seinen Mitarbeitern (darunter Kurt Godel) herausgegebenen Ergebnisse eines Mathematischen Kolloquiums zahlen zu den wichtigsten Quellenwerken der Wissenschafts- und Geistesgeschichte der Zwischenkriegszeit, mit bahnbrechenden Beitragen von Menger, Godel, Tarski, Wald, John von Neumann und vielen anderen. In diesem Band liegt der Inhalt erstmals gesammelt vor. Der Nobelpreistrager Gerard Debreu schrieb die Einleitung, die Kommentare wurden vom Logiker und Godel-Biographen John Dawson jr., dem Topologen Ryszard Engelking und dem Wirtschaftstheoretiker Werner Hildenbrand...
Die von Karl Menger und seinen Mitarbeitern (darunter Kurt Godel) herausgegebenen Ergebnisse eines Mathematischen Kolloquiums zahlen zu den wichtigste...
|
cena:
339,63 |
 |
An Introduction to Critical Thinking and Creativity: Think More, Think Better
ISBN: 9780470195093 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A valuable guide on creativity and critical thinking to improve reasoning and decision-making skills Critical thinking skills are essential in virtually any field of study or practice where individuals need to communicate ideas, make decisions, and analyze and solve problems. An Introduction to Critical Thinking and Creativity: Think More, Think Better outlines the necessary tools for readers to become critical as well as creative thinkers. By gaining a practical and solid foundation in the basic principles that underlie critical thinking and creativity, readers... A valuable guide on creativity and critical thinking to improve reasoning and decision-making skills Critical thinking skills ... |
cena:
340,00 |
 |
A First Course in Logic
ISBN: 9780815386650 / Angielski / Miękka / 234 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
340,21 |
 |
Foundations without Foundationalism : A Case for Second-Order Logic
ISBN: 9780198533917 / Angielski / Twarda / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a comprehensive discussion of its semantics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order logic. He also shows how first-order languages are often insufficient to codify many concepts in contemporary mathematics, and thus that both first-...
The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develo...
|
cena:
340,38 |
 |
DNA Computing: New Computing Paradigms
ISBN: 9783540641964 / Angielski / Twarda / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The authors are much indebted to many friends and collaborators whose con tributions to automata and language theory approach to DNA computing can be recognized in the present book. The bibliography specifies their names and we shall not repeat them here. Some of them have also read previous versions of various chapters, suggesting modifications which have improved the readability of the text. Many thanks are due in this respect to Tom Head, Hendrik Jan Hoogeboom, Vincenzo Manca, Alexandru Mateescu, Victor Mi trana, Andrei Paun, and Nike van Vugt. In particular, we are grateful to our...
The authors are much indebted to many friends and collaborators whose con tributions to automata and language theory approach to DNA computing can be ...
|
cena:
341,99 |
 |
DNA Computing: New Computing Paradigms
ISBN: 9783642083884 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text discusses DNA computing, a molecular approach that may revolutionize computing-replacing silicon with carbon and microchips with DNA molecules. It starts with an introduction to DNA computing, exploring the power of complementarity, the basics of biochemistry, and language and computation theory.
This text discusses DNA computing, a molecular approach that may revolutionize computing-replacing silicon with carbon and microchips with DNA molecul...
|
cena:
341,99 |
 |
Naive Set Theory
ISBN: 9780387900926 / Angielski / Twarda / 104 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Every mathematician agrees that every mathematician must know some set theory; the disagreement begins in trying to decide how much is some. This book contains my answer to that question. The purpose of the book is to tell the beginning student of advanced mathematics the basic set- theoretic facts of life, and to do so with the minimum of philosophical discourse and logical formalism. The point of view throughout is that of a prospective mathematician anxious to study groups, or integrals, or manifolds. From this point of view the concepts and methods of this book are merely some of the...
Every mathematician agrees that every mathematician must know some set theory; the disagreement begins in trying to decide how much is some. This book...
|
cena:
342,14 |
 |
Axiomatic Set Theory
ISBN: 9780387900506 / Angielski / Miękka / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text deals with three basic techniques for constructing models of Zermelo-Fraenkel set theory: relative constructibility, Cohen's forcing, and Scott-Solovay's method of Boolean valued models. Our main concern will be the development of a unified theory that encompasses these techniques in one comprehensive framework. Consequently we will focus on certain funda- mental and intrinsic relations between these methods of model construction. Extensive applications will not be treated here. This text is a continuation of our book, "I ntroduction to Axiomatic Set Theory," Springer-Verlag, 1971;...
This text deals with three basic techniques for constructing models of Zermelo-Fraenkel set theory: relative constructibility, Cohen's forcing, and Sc...
|
cena:
342,14 |
 |
Kripke's Worlds: An Introduction to Modal Logics Via Tableaux
ISBN: 9783764385033 / Angielski / Miękka / 198 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Possible world models were introduced by Saul Kripke in the early 1960s. Basically, a possible worlds model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics: logics of necessity and possibility (alethic logics), logics of time (temporal logics), logics of knowledge and belief (epistemic and doxastic logics), logics of programs and of action (dynamic logics), logics of obligation (deontic logics), as well as for logics for describing ontologies (description logics). They have also turned out useful for other nonclassical... Possible world models were introduced by Saul Kripke in the early 1960s. Basically, a possible worlds model is nothing but a graph with labelled no... |
cena:
342,14 |
 |
Predicate Calculus and Program Semantics
ISBN: 9781461279242 / Angielski / Miękka / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a more and more formal activity, their informal introduction and the fact that many of their properties had never been proved became more and more unsatisfactory. And so did the original exclusion of...
This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD...
|
cena:
342,14 |
 |
Introduction to Axiomatic Set Theory
ISBN: 9781461381709 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In 1963, the first author introduced a course in set theory at the University of Illinois whose main objectives were to cover Godel's work on the con- sistency of the Axiom of Choice (AC) and the Generalized Continuum Hypothesis (GCH), and Cohen's work on the independence of the AC and the GCH. Notes taken in 1963 by the second author were taught by him in 1966, revised extensively, and are presented here as an introduction to axiomatic set theory. Texts in set theory frequently develop the subject rapidly moving from key result to key result and suppressing many details. Advocates of the...
In 1963, the first author introduced a course in set theory at the University of Illinois whose main objectives were to cover Godel's work on the con-...
|
cena:
342,14 |
 |
First-Order Logic and Automated Theorem Proving
ISBN: 9781461275152 / Angielski / Miękka / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien- tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance. This book is intended for computer scientists. But even this is not precise. Within computer science formal logic turns up in a number of areas, from pro- gram verification to logic programming to artificial intelligence. This book is intended for computer scientists interested in automated theo- rem proving in classical logic....
There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien- tists. Alt...
|
cena:
342,14 |
 |
Naive Set Theory
ISBN: 9780387901046 / Angielski / Miękka / 104 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Every mathematician agrees that every mathematician must know some set theory; the disagreement begins in trying to decide how much is some. This book contains my answer to that question. The purpose of the book is to tell the beginning student of advanced mathematics the basic set- theoretic facts of life, and to do so with the minimum of philosophical discourse and logical formalism. The point of view throughout is that of a prospective mathematician anxious to study groups, or integrals, or manifolds. From this point of view the concepts and methods of this book are merely some of the...
Every mathematician agrees that every mathematician must know some set theory; the disagreement begins in trying to decide how much is some. This book...
|
cena:
342,14 |
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
