» książki » Mathematics - Logic
 |
The Logical Status of Diagrams
ISBN: 9780521102773 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diagrams are widely used in reasoning about problems in physics, mathematics, and logic, but have traditionally been considered to be only heuristic tools and not valid elements of mathematical proof. This book challenges the prejudice against visualization in the history of logic and mathematics and provides a formal foundation for work on natural reasoning in a visual mode. The author presents Venn diagrams as a formal system of representation and specifies rules of transformation that make this system sound and complete. The soundness of the diagrammatic system refutes the contention that...
Diagrams are widely used in reasoning about problems in physics, mathematics, and logic, but have traditionally been considered to be only heuristic t...
|
cena:
229,29 |
 |
Multiple Forcing
ISBN: 9780521063845 / Angielski / Miękka / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this 1987 text Professor Jech gives a unified treatment of the various forcing methods used in set theory, and presents their important applications. Product forcing, iterated forcing and proper forcing have proved powerful tools when studying the foundations of mathematics, for instance in consistency proofs. The book is based on graduate courses though some results are also included, making the book attractive to set theorists and logicians.
In this 1987 text Professor Jech gives a unified treatment of the various forcing methods used in set theory, and presents their important application...
|
cena:
229,29 |
 |
Brouwer's Cambridge Lectures on Intuitionism
ISBN: 9780521177368 / Angielski / Miękka / 122 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Luitzen Egburtus Jan Brouwer founded a school of thought whose aim was to include mathematics within the framework of intuitionistic philosophy; mathematics was to be regarded as an essentially free development of the human mind. What emerged diverged considerably at some points from tradition, but intuitionism has survived well the struggle between contending schools in the foundations of mathematics and exact philosophy. Originally published in 1981, this monograph contains a series of lectures dealing with most of the fundamental topics such as choice sequences, the continuum, the fan...
Luitzen Egburtus Jan Brouwer founded a school of thought whose aim was to include mathematics within the framework of intuitionistic philosophy; mathe...
|
cena:
229,29 |
 |
Stable Domination and Independence in Algebraically Closed Valued Fields
ISBN: 9780521335157 / Angielski / Miękka / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book addresses a gap in the model-theoretic understanding of valued fields that has, until now, limited the interactions of model theory with geometry. It contains significant developments in both pure and applied model theory. Part one of the book is a study of stably dominated types and it begins with an introduction to the key ideas of stability theory for stably dominated types. Part two continues with an outline of some classical results in the model theory of valued fields and explores the application of stable domination to algebraically closed valued fields. The research...
This book addresses a gap in the model-theoretic understanding of valued fields that has, until now, limited the interactions of model theory with geo...
|
cena:
229,29 |
 |
Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990
ISBN: 9780521054164 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
|
cena:
229,29 |
 |
Information and Randomness: An Algorithmic Perspective
ISBN: 9783642077937 / Angielski / Miękka / 468 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The first edition of the monograph Information and Randomness: An Algorithmic Perspective by Crist ian Calude was published in 1994. In my Foreword I said: "The research in algorithmic information theory is already some 30 years old. However, only the recent years have witnessed a really vigorous growth in this area. . . . The present book by Calude fits very well in our series. Much original research is presented. . . making the approach richer in consequences than the classical one. Remarkably, however, the text is so self-contained and coherent that the book may also serve as a textbook....
The first edition of the monograph Information and Randomness: An Algorithmic Perspective by Crist ian Calude was published in 1994. In my Foreword I ...
|
cena:
229,43 |
 |
Mathematical Linguistics
ISBN: 9781849966948 / Angielski / Miękka / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mathematical Linguistics introduces the mathematical foundations of linguistics to computer scientists, engineers, and mathematicians interested in natural language processing. The book presents linguistics as a cumulative body of knowledge from the ground up: no prior knowledge of linguistics is assumed. As the first textbook of its kind, this book is useful for those in information science and in natural language technologies.
Mathematical Linguistics introduces the mathematical foundations of linguistics to computer scientists, engineers, and mathematicians interested in... |
cena:
229,43 |
 |
Basic Real Analysis
ISBN: 9781493937141 / Angielski / Miękka / 683 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This expanded second edition presents the fundamentals and touchstone results of real analysis in full rigor, but in a style that requires little prior familiarity with proofs or mathematical language. The text is a comprehensive and largely self-contained introduction to the theory of real-valued functions of a real variable. The chapters on Lebesgue measure and integral have been rewritten entirely and greatly improved. They now contain Lebesgue's differentiation theorem as well as his versions of the Fundamental Theorem(s) of Calculus. With expanded chapters,... This expanded second edition presents the fundamentals and touchstone results of real analysis in full rigor, but in a style that requires little p... |
cena:
229,43 |
 |
Writing Proofs in Analysis
ISBN: 9783319809311 / Angielski / Miękka / 347 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
229,43 |
 |
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry
ISBN: 9783030073312 / Angielski / Miękka / 186 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
229,43 |
 |
A Cp-Theory Problem Book: Topological and Function Spaces
ISBN: 9781461428459 / Angielski / Miękka / 488 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The theory of function spaces endowed with the topology of point wise convergence, or Cp-theory, exists at the intersection of three important areas of mathematics: topological algebra, functional analysis, and general topology. Cp-theory has an important role in the classification and unification of heterogeneous results from each of these areas of research. Through over 500 carefully selected problems and exercises, this volume provides a self-contained introduction to Cp-theory and general topology. By systematically introducing each of the major topics in Cp-theory, this volume is...
The theory of function spaces endowed with the topology of point wise convergence, or Cp-theory, exists at the intersection of three important areas o...
|
cena:
229,43 |
 |
Turing Computability: Theory and Applications
ISBN: 9783662568583 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
229,43 |
 |
Philosophy of Science for Scientists
ISBN: 9783319799704 / Angielski / Miękka / 257 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook offers an introduction to the philosophy of science. It helps undergraduate students from the natural, the human and social sciences to gain an understanding of what science is, how it has developed, what its core traits are, how to distinguish between science and pseudo-science and to discover what a scientific attitude is. It argues against the common assumption that there is fundamental difference between natural and human science, with natural science being concerned with testing hypotheses and discovering natural laws, and the aim of human and some social sciences being to...
This textbook offers an introduction to the philosophy of science. It helps undergraduate students from the natural, the human and social sciences to ...
|
cena:
229,43 |
 |
Wandering Towards a Goal: How Can Mindless Mathematical Laws Give Rise to Aims and Intention?
ISBN: 9783030093105 / Angielski / Miękka / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
229,43 |
 |
Numbers and Proofs
ISBN: 9780340676530 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 'Numbers and Proofs' presents a gentle introduction to the notion of proof to give the reader an understanding of how to decipher others' proofs as well as construct their own. Useful methods of proof are illustrated in the context of studying problems concerning mainly numbers (real, rational, complex and integers). An indispensable guide to all students of mathematics. Each proof is preceded by a discussion which is intended to show the reader the kind of thoughts they might have before any attempt proof is made. Established proofs which the student is in a better position to follow then...
'Numbers and Proofs' presents a gentle introduction to the notion of proof to give the reader an understanding of how to decipher others' proofs as we...
|
cena:
230,14 |
 |
Logic and the Foundations of Game and Decision Theory (Loft 7)
ISBN: 9789089640260 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is a collects papers originally presented at the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), held at the University of Liverpool in July 2006. LOFT is a key venue for presenting research at the intersection of logic, economics, and computer science, and this collection gives a lively and wide-ranging view of an exciting and rapidly growing area.
This volume is a collects papers originally presented at the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), held at t...
|
cena:
230,14 |
 |
Perspectives in Concurrency
ISBN: 9781439809433 / Angielski / Twarda / 484 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Concurrency theory is an important research area within theoretical computer science, with applications in parallel and distributed computing. This book provides an overview of current research in concurrency through state-of-the-art contributions from worldwide experts. Covering contemporary topics, including Petri Nets, Temporal Logics, Program Verification with concurrent threads, Computational Trust, and more, this book presents emerging research in this important field. Concurrency theory is an important research area within theoretical computer science, with applications in parallel and distributed computing. This... |
cena:
230,14 |
 |
A Transition to Proof: An Introduction to Advanced Mathematics
ISBN: 9781032475721 / Angielski / Miękka / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The fundamental tool of theoretical mathematics is mathematical proof. Any claim or justification a mathematician makes must be proven. This book is designed for a reader who wants to learn what exactly a mathematical proof is, how they are constructed, and how to go about writing one.
The fundamental tool of theoretical mathematics is mathematical proof. Any claim or justification a mathematician makes must be proven. This book is d...
|
cena:
230,14 |
 |
Algorithms: This book includes: Practical Guide to Learn Algorithms For Beginners + Design Algorithms to Solve Common Problems + A
ISBN: 9781955786348 / Angielski / Miękka / 600 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
231,17 |
 |
The Notre Dame Lectures: Lecture Notes in Logic, 18
ISBN: 9781568812502 / Angielski / Miękka / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In fall 2000, the Notre Dame logic community hosted Greg Hjorth, Rodney G. Downey, Zoe Chatzidakis, and Paola D'Aquino as visiting lecturers. Each of them presented a month long series of expository lectures at the graduate level. The articles in this volume are refinements of these excellent lectures."
In fall 2000, the Notre Dame logic community hosted Greg Hjorth, Rodney G. Downey, Zoe Chatzidakis, and Paola D'Aquino as visiting lecturers. Each of ...
|
cena:
231,95 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
