» książki » Mathematics - Logic
topmenu
 |
Godel's Theorem Simplified
ISBN: 9780819138699 / Angielski / Miękka / 88 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This helpful volume explains and proves Godel's theorem, which states that arithmetic cannot be reduced to any axiomatic system. Written simply and directly, this book is intended for the student and general reader and presumes no specialized knowledge of mathematics or logic.
This helpful volume explains and proves Godel's theorem, which states that arithmetic cannot be reduced to any axiomatic system. Written simply and di...
|
cena:
276,71 |
 |
Elements of Set Theory
ISBN: 9780122384400 / Angielski / Twarda / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is an introductory undergraduate textbook in set theory. In mathematics these days, essentially everything is a set. Some knowledge of set theory is necessary part of the background everyone needs for further study of mathematics. It is also possible to study set theory for its own interest--it is a subject with intruiging results anout simple objects. This book starts with material that nobody can do without. There is no end to what can be learned of set theory, but here is a beginning.
This is an introductory undergraduate textbook in set theory. In mathematics these days, essentially everything is a set. Some knowledge of set theory...
|
cena:
279,12 |
 |
Proof, Logic and Formalization
ISBN: 9781138009073 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures working within the philosophy of mathematics, is a response to the challenge of understanding the nature and role of the proof.
The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical...
|
cena:
279,12 |
 |
From Trotsky to Gödel: The Life of Jean Van Heijenoort
ISBN: 9781568811482 / Angielski / Miękka / 426 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This story of a highly intelligent observer of the turbulent 20th century who was intimately involved as the secretary and bodyguard to Leon Trotsky is based on extensive interviews with the subject, Jean van Heijenoort, and his family, friends, and colleagues. The author has captured the personal drama and the professional life of her protagonist--ranging from the political passion of a young intellectual to the scientific and historic work in the most abstract and yet philosophically important area of logic--in a very readable narrative.
This story of a highly intelligent observer of the turbulent 20th century who was intimately involved as the secretary and bodyguard to Leon Trotsky i...
|
cena:
279,12 |
 |
Secret History: The Story of Cryptology
ISBN: 9780367685744 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
279,12 |
 |
Stochastic Complexity in Statistical Inquiry
ISBN: 9789971508593 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
279,17 |
 |
Introduction to Higher Order Categorical Logic
ISBN: 9780521356534 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this volume, Lambek and Scott reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher-order logic, and cartesian closed categories, are essentially the same. Part II demonstrates that another formulation of higher-order logic, (intuitionistic) type theories, is closely related to topos theory. Part III is devoted to recursive functions. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are...
In this volume, Lambek and Scott reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. ...
|
cena:
280,06 |
 |
Logic for Mathematicians
ISBN: 9780521368650 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intended for logicians and mathematicians, this text is based on Dr. Hamilton's lectures to third and fourth year undergraduates in mathematics at the University of Stirling. With a prerequisite of first year mathematics, the author introduces students and professional mathematicians to the techniques and principal results of mathematical logic. In presenting the subject matter without bias towards particular aspects, applications or developments, it is placed in the context of mathematics. To emphasize the level, the text progresses from informal discussion to the precise description and use...
Intended for logicians and mathematicians, this text is based on Dr. Hamilton's lectures to third and fourth year undergraduates in mathematics at the...
|
cena:
280,06 |
 |
Introduction to Languages, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic
ISBN: 9781852334642 / Angielski / Miękka / 351 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1.1 Overview This chapter briefly describes: what this book is about what this book tries to do what this book tries not to do a useful feature of the book: the exercises. 1.2 What This Book Is About This book is about three key topics of computer science, namely computable lan guages, abstract machines, and logic. Computable languages are related to what are usually known as "formal lan guages." I avoid using the latter phrase here because later on in the book I distin guish between formal languages and computable languages. In fact, computable languages are a special type of formal...
1.1 Overview This chapter briefly describes: what this book is about what this book tries to do what this book tries not to do a useful feature of the...
|
cena:
281,60 |
 |
Problems and Theorems in Classical Set Theory
ISBN: 9780387302935 / Angielski / Twarda / 516 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Although the ?rst decades of the 20th century saw some strong debates on set theory and the foundation of mathematics, afterwards set theory has turned into a solid branch of mathematics, indeed, so solid, that it serves as the foundation of the whole building of mathematics. Later generations, honest to Hilbert s dictum, No one can chase us out of the paradise that Cantor has created for us proved countless deep and interesting theorems and also applied the methods of set theory to various problems in algebra, topology, in?nitary combinatorics, and real analysis. The invention of forcing...
Although the ?rst decades of the 20th century saw some strong debates on set theory and the foundation of mathematics, afterwards set theory has turne...
|
cena:
281,76 |
 |
Proof Theory: The First Step Into Impredicativity
ISBN: 9783540693185 / Angielski / Miękka / 390 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The kernel of this book consists of a series of lectures on in?nitary proof theory which I gave during my time at the Westfalische ] Wilhelms-Universitat ] in Munster ] . It was planned as a successor of Springer Lecture Notes in Mathematics 1407. H- ever, when preparing it, I decided to also include material which has not been treated in SLN 1407. Since the appearance of SLN 1407 many innovations in the area of - dinal analysis have taken place. Just to mention those of them which are addressed in this book: Buchholz simpli?ed local predicativity by the invention of operator controlled...
The kernel of this book consists of a series of lectures on in?nitary proof theory which I gave during my time at the Westfalische ] Wilhelms-Universi...
|
cena:
281,76 |
 |
Formal Languages and Compilation
ISBN: 9781849968171 / Angielski / Miękka / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. State of books on compilers The book collects and condenses the experience of years of teaching compiler courses and doing research on formal language theory, on compiler and l- guage design, and to a lesser extent on natural language processing. In the turmoil of information technology developments, the subject of the book has kept the same fundamental principles over half a century, and its relevance for theory and practice is as important as in the early days. This state of a?airs of a topic, which is central to computer science and is based on consolidated principles, might lead us to...
State of books on compilers The book collects and condenses the experience of years of teaching compiler courses and doing research on formal language...
|
cena:
281,76 |
 |
Lectures on Boolean Algebras
ISBN: 9780387900940 / Angielski / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. IN 1959 I lectured on Boolean algebras at the University of Chicago. A mimeographed version of the notes on which the lectures were based circulated for about two years; this volume contains those notes, corrected and revised. Most of the corrections were suggested by Peter Crawley. To judge by his detailed and precise suggestions, he must have read every word, checked every reference, and weighed every argument, and I am lIery grateful to hirn for his help. This is not to say that he is to be held responsible for the imperfec- tions that remain, and, in particular, I alone am responsible for...
IN 1959 I lectured on Boolean algebras at the University of Chicago. A mimeographed version of the notes on which the lectures were based circulated f...
|
cena:
281,76 |
 |
Logic and Structure
ISBN: 9781447145578 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dirk van Dalen's popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Godel's famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen's natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Lowenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of... Dirk van Dalen's popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of clas... |
cena:
281,76 |
 |
A Logical Introduction to Proof
ISBN: 9781461436300 / Angielski / Twarda / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the key components in this textbook is the development of a methodology to lay bare the structure underpinning the construction of a proof, much as diagramming a sentence lays bare its grammatical structure. Diagramming a proof is a way of presenting the relationships between the various parts of a proof. A proof diagram provides a tool for showing students how to write correct mathematical proofs.
The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. ...
|
cena:
281,76 |
 |
Foundations of Information and Knowledge Systems: 12th International Symposium, Foiks 2022, Helsinki, Finland, June 20-23, 2022, Proceedings
ISBN: 9783031113208 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2022, held in Helsinki, Finland, in June 2022.
The 13 full papers presented were carefully reviewed and selected from 21 submissions. The papers address various topics such as information and knowledge systems, including submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model... This book constitutes the refereed proceedings of the 12th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 202...
|
cena:
281,76 |
 |
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
ISBN: 9783030805098 / Angielski / Miękka / 636 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearlythinkabout the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute from given inputs wanted outputs, and programs that describe continuously executing systems. The core message is that clear thinking about programs can be expressed in a single universal language, the formal language oflogic. Apart from its universal elegance and expressiveness, this “logical”...
This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly...
|
cena:
281,76 |
 |
An Invitation to Mathematical Logic
ISBN: 9783031553677 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
281,76 |
 |
Foundations of Information and Knowledge Systems: 13th International Symposium, Foiks 2024, Sheffield, Uk, April 8-11, 2024, Proceedings
ISBN: 9783031569395 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
281,76 |
 |
Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions
ISBN: 9783031997044 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
281,76 |
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
