![]() |
Festschrift for Andreas Herzig on the Occasion of his 65th Birthday. Essays in Honor of Andi
ISBN: 9781848904996 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
116,53 |
![]() |
Studies in Diagrammatology and Diagram Praxis
ISBN: 9781848900073 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume puts together most of the papers given at the interdisciplinary workshop on DIAGRAMMATOLOGY AND DIAGRAM PRAXIS held at the University of Lisbon, 23-24th March 2009. The workshop was organized by the Research Project "Image in Science and Art" of the Center for Philosophy of Science of the University of Lisbon (CFCUL), aiming to analyze the place of image and diagrammatic thinking in different epistemological and semiotic programs. The articles are organized in three main sections. The first, Fundamental Issues of Diagrammatology, is more historically oriented including papers from...
This volume puts together most of the papers given at the interdisciplinary workshop on DIAGRAMMATOLOGY AND DIAGRAM PRAXIS held at the University of L...
|
cena:
116,53 |
![]() |
Hues of Philosophy. Essays in Memory of Ruth Manor
ISBN: 9781904987765 / Angielski / Miękka / 156 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume, in memory of Ruth Manor, consists of articles presented at her memorial conference at Tel Aviv University. The articles, by colleagues and students, friends and family represent the wide range of interest and expertise that Manor brought to her teaching and research - from formal logic to pragmatics, and from rhetoric to ethics. The collection includes articles by Jaakko Hintikka (on the sorites paradox), Arnon Avron (on logical connectives), Oron Shagrir (on supervenience), Eli Dresner (on holism and measurement), Eran Guter (on new media), Amnon Wolman (on music), Anat Matar...
This volume, in memory of Ruth Manor, consists of articles presented at her memorial conference at Tel Aviv University. The articles, by colleagues an...
|
cena:
116,53 |
![]() |
Reflections: The Magic, Music and Mathematics of Raymond Smullyan
ISBN: 9789814663199 / Angielski / Miękka / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is an exciting if not rambling account of events of Raymond Smullyan's four lives - as a mathematical logician, musician, magician, and author - together with thoughts that come to his mind as he recalls them. This book includes topics from some of Smullyan's twenty-six books, as well as many of his favorite anecdotes and jokes. It also presents some generalizations of theorems of the great logicians Godel and Tarski, and discusses logic in general, and how he won his wife with a logic trick! Smullyan also relates some of his teaching experiences, and expresses his views on mathematical...
This is an exciting if not rambling account of events of Raymond Smullyan's four lives - as a mathematical logician, musician, magician, and author - ...
|
cena:
117,55 |
![]() |
The Magic Garden of George B and Other Logic Puzzles
ISBN: 9789814678551 / Angielski / Miękka / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The author presents a bombshell puzzle so startling that it seems incredible that there could be any solution at all! But there is indeed a solution - moreover, one that requires a chain of lesser puzzles to be solved first. The reader is thus taken on a journey through a maze of subsidiary problems that has all the earmarks of an entertaining detective story. This book leads the unwary reader into deep logical waters through seductively entertaining logic puzzles. One example is Boolean algebra with such weird looking equations as 1+1=0 - a subject which today plays a vital role, not only...
The author presents a bombshell puzzle so startling that it seems incredible that there could be any solution at all! But there is indeed a solution -...
|
cena:
117,55 |
![]() |
An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities
ISBN: 9781789432718 / Angielski / Twarda / 340 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
117,83 |
![]() |
Exploring Logical Dynamics
ISBN: 9781575860589 / Angielski / Miękka / 341 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is an exploration of current trends in logical theories of information flow across various fields, such as belief revision in computer science or dynamic semantics in linguistics. It provides one mathematical perspective encompassing all of these. This framework generates a new agenda of questions concerning dynamic inference and dynamic operators. The result is a mathematical theory of process models, simulations between these, and modal languages over them, which is developed in quite some detail. New results include theorems on expressive completeness, representation of styles of...
This book is an exploration of current trends in logical theories of information flow across various fields, such as belief revision in computer scien...
|
cena:
118,58 |
![]() |
Teoria Degli Automi Finiti
ISBN: 9788847054738 / Włoski / Miękka / 323 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
119,96 |
![]() |
Fundamentals of Mathematical Proof
ISBN: 9781717176707 / Angielski / Miękka / 168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
120,37 |
![]() |
A Concise Introduction to Languages and Machines
ISBN: 9781848001206 / Angielski / Miękka / 346 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. Written in an easy-to-read, informal style, this textbook assumes only a basic knowledge of programming on the part of the reader. The approach is deliberately non-mathematical, and features: - Clear explanations of formal notation and jargon, - Extensive use of examples to illustrate algorithms and proofs, - Pictorial representations of key concepts, - Chapter opening overviews providing an... A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal lan... |
cena:
120,57 |
![]() |
The Principles of Mathematics
ISBN: 9781603861199 / Angielski / Miękka / 564 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An unabridged, digitally enlarged printing, with a comprehensive index.
An unabridged, digitally enlarged printing, with a comprehensive index.
|
cena:
120,72 |
![]() |
A Course of Modern Analysis
ISBN: 9781603861212 / Angielski / Miękka / 568 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A Course Of Modern Analysis - Second Edition - An Unabridged, Completely Revised Printing Of The First Edition, With Additions (Riemann Integration, Integral Equations, Riemann-Zeta Function) And Corrections, And Consistent With All Subsequent Editions (at publication), Save For The 23rd Chapter Dealing With Ellipsoidal Harmonics And Lame's Equation - This Edition Has Been Digitally Enlarged, To Include The Decimal System Of Paragraphing, With Appendix, List Of Quoted Authors, And Comprehensive General Index.
A Course Of Modern Analysis - Second Edition - An Unabridged, Completely Revised Printing Of The First Edition, With Additions (Riemann Integration, I...
|
cena:
120,72 |
![]() |
A Course of Modern Analysis
ISBN: 9781603864541 / Angielski / Miękka / 568 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A Course Of Modern Analysis - Second Edition - An Unabridged, Completely Revised Printing Of The First Edition, With Additions (Riemann Integration, Integral Equations, Riemann-Zeta Function) And Corrections, And Consistent With All Subsequent Editions, Save For The 23rd Chapter Dealing With Ellipsoidal Harmonics And Lames Equation - This Edition Has Been Digitally Enlarged, To Include The Decimal System Of Paragraphing, With Appendix, List Of Quoted Authors, And Comprehensive General Index.
A Course Of Modern Analysis - Second Edition - An Unabridged, Completely Revised Printing Of The First Edition, With Additions (Riemann Integration, I...
|
cena:
120,72 |
![]() |
1. Fachtagung Über Automatentheorie Und Formale Sprachen: Gi. Gesellschaft Für Informatik E.V. Bonn, 9.-12. Juli 1973
ISBN: 9783540065272 / Angielski / Miękka / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
120,73 |
![]() |
L Systems
ISBN: 9783540068679 / Angielski / Miękka / 340 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
120,73 |
![]() |
The Vienna Development Method: The Meta-Language
ISBN: 9783540087663 / Angielski / Miękka / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
120,73 |
![]() |
The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L
ISBN: 9783540151876 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guided Programming - at the Technical University of Munich. Its central theme is program development by transformation, a methodology which is becoming more and more important. Whereas Volume I contains the description and formal specification of a wide spectrum language CIP-L particularly tailored to the needs of transformational programming, Volume II serves a double purpose: First, it describes a system, called CIP-S, that is to assist a programmer in the...
This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guided Programming...
|
cena:
120,73 |
![]() |
The ABC of Algebra
ISBN: 9781447457589 / Angielski / Miękka / 130 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
120,80 |
![]() |
The Haskell Road to Logic, Maths and Programming: v. 4
ISBN: 9780954300692 / Angielski / Miękka / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply There is no royal road to mathematics. Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and mature programming languages means that there are avenues for us that were denied to the kings and emperors of yore. The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the 1990s as a...
Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply There is no royal road t...
|
cena:
120,84 |
![]() |
Theory of Effective Propositional Paraconsistent Logics
ISBN: 9781848902701 / Angielski / Miękka / 576 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
120,84 |