» książki » Mathematics - Logic
topmenu
 |
The Situation in Logic
ISBN: 9780937073322 / Angielski / Miękka / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Situation Theory and situation semantics are recent approaches to language and information, approaches first formulated by Jon Barwise and John Perry in Situations and Attitudes (1983). The present volume collects some of Barwise's papers written since then, those directly concerned with relations among logic, situation theory, and situation semantics. Several papers appear here for the first time.
Situation Theory and situation semantics are recent approaches to language and information, approaches first formulated by Jon Barwise and John Perry ...
|
cena:
123,73 |
 |
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
ISBN: 9783319064093 / Angielski / Miękka / 750 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.
This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 pap...
|
cena:
402,53 |
 |
Mathematical Intuition: Phenomenology and Mathematical Knowledge
ISBN: 9789401075299 / Angielski / Miękka / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Intuition" has perhaps been the least understood and the most abused term in philosophy. It is often the term used when one has no plausible explanation for the source of a given belief or opinion. According to some sceptics, it is understood only in terms of what it is not, and it is not any of the better understood means for acquiring knowledge. In mathematics the term has also unfortunately been used in this way. Thus, intuition is sometimes portrayed as if it were the Third Eye, something only mathematical "mystics," like Ramanujan, possess. In mathematics the notion has also been used...
"Intuition" has perhaps been the least understood and the most abused term in philosophy. It is often the term used when one has no plausible explanat...
|
cena:
805,10 |
 |
Der Satz vom ausgeschlossenen Dritten
ISBN: 9783110102543 / Niemiecki / Twarda / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
615,94 |
 |
Logic Grammars
ISBN: 9781461281887 / Angielski / Miękka / 234 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic grammars have found wide application both in natural language processing and in formal applications such as compiler writing. This book introduces the main concepts involving natural and formal language processing in logic programming, and discusses typical problems which the reader may encounter, proposing various methods for solving them. The basic material is presented in depth; advanced material, involving new logic grammar formalisms and applications, is presented with a view towards breadth. Major sections of the book include: grammars for formal language and linguistic research,...
Logic grammars have found wide application both in natural language processing and in formal applications such as compiler writing. This book introduc...
|
cena:
201,24 |
 |
First-Order Programming Theories
ISBN: 9783642635038 / Angielski / Miękka / 353 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory. This field essentially attempts to provide a precise mathematical basis for the common activities involved in reasoning about computer programs and programming languages, and it also attempts to find practical applications in the areas of program specification, verification and programming language design. Many different approaches with different mathematical frameworks have been proposed as a basis for...
This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the ...
|
cena:
402,53 |
 |
Memorial Colloquium: Logic and Foundations of Science Paris, Institut Henri Poincaré, 19-21 May 1964
ISBN: 9789401757492 / Angielski / Miękka / 137 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Horizons of the Mind. a Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
ISBN: 9783319068794 / Angielski / Miękka / 499 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to celebrate his 60th birthday. Prakash Panangaden has worked on a large variety of topics including probabilistic and concurrent computation, logics and duality and quantum information and computation. Despite the enormous breadth of his research, he has made significant and deep contributions. For example, he introduced logic and a real-valued interpretation of the logic to capture equivalence of probabilistic processes quantitatively. The 25...
This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to c...
|
cena:
201,24 |
 |
On Intuitionistic Fuzzy Sets Theory
ISBN: 9783642442599 / Angielski / Miękka / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book aims to be a comprehensive and accurate survey of state-of-art research on intuitionistic fuzzy sets theory and could be considered a continuation and extension of the author's previous book on Intuitionistic Fuzzy Sets, published by Springer in 1999 (Atanassov, Krassimir T., Intuitionistic Fuzzy Sets, Studies in Fuzziness and soft computing, ISBN 978-3-7908-1228-2, 1999). Since the aforementioned book has appeared, the research activity of the author within the area of intuitionistic fuzzy sets has been expanding into many directions. The results of the author's most recent work...
This book aims to be a comprehensive and accurate survey of state-of-art research on intuitionistic fuzzy sets theory and could be considered a conti...
|
cena:
644,07 |
 |
Deductive Systems and the Decidability Problem for Hybrid Logics
ISBN: 9788323336952 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed for them. Hybrid logics are here divided into two groups: standard hybrid logics involving nominals as expressions of a separate sort, and non-standard hybrid logics, which do not involve nominals but whose expressive power matches the expressive power of binder-free standard hybrid logics.The original results of this book are split into two parts. This division reflects the division of the book itself. The first type of results concern...
This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed...
|
cena:
232,00 |
 |
Abz 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, Tla, VDM, and
ISBN: 9783319075112 / Angielski / Miękka / 161 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.
This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 1...
|
cena:
201,24 |
 |
Risk Management Technologies: With Logic and Probabilistic Models
ISBN: 9789400798779 / Angielski / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents intellectual, innovative, information technologies (I3-technologies) based on logical and probabilistic (LP) risk models. The technologies presented here consider such models for structurally complex systems and processes with logical links and with random events in economics and technology. This book presents intellectual, innovative, information technologies (I3-technologies) based on logical and probabilistic (LP) risk mod... |
cena:
603,81 |
 |
Formal Aspects of Component Software: 10th International Symposium, Facs 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
ISBN: 9783319076010 / Angielski / Miękka / 385 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds.
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanc...
|
cena:
201,24 |
 |
An Introduction to Metalogic
ISBN: 9781554811717 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic, and ends with detailed outlines of the proofs of the incompleteness, undecidability and indefinability theorems. Many other topics are covered: expressive completeness, the basics of set theory, infinite cardinalities, Cantor's Theorems, the Soundness and Completeness...
An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge ...
|
cena:
187,34 |
 |
Pristine Perspectives on Logic, Language and Computation: Esslli 2012 and Esslli 2013 Student Sessions, Selected Papers
ISBN: 9783662441152 / Angielski / Miękka / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. The 16 papers presented in this volume have been selected among 44 papers presented by...
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information ...
|
cena:
193,23 |
 |
Distilling Ideas: An Introduction to Mathematical Thinking
ISBN: 9781939512031 / Angielski / Miękka / 188 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Designed for undergraduate students and lecturers, this text guides its users to develop the skills, attitudes, and habits of mind of a mathematician. It presents a carefully designed sequence of exercises and theorems so that its readers will be directed to discover mathematical ideas, strategies of proof, and strategies of thinking. Through the exploration of interesting mathematical content including graphs, groups, and calculus, this book helps to foster habits of inquiry. This book can be used by instructors as a text for an inquiry-based introduction to proof course, or as an...
Designed for undergraduate students and lecturers, this text guides its users to develop the skills, attitudes, and habits of mind of a mathematician....
|
cena:
284,07 |
 |
Mysticism and Logic: And Other Essays
ISBN: 9781475217544 / Angielski / Miękka / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The titile essay of this collection suggests that Bertrand Russell's lifelong preoccupation: the disentanglement, with ever-increasing precision, of what is subjective or intellectualy cloudy from what is objective or capable of logical demonstration. The first five essays he calls 'entirely popular': they include two on the revolutionary changes in mathematics in the last hundred years, and one on the value of science in human culture. The last five, 'somewhat more technical', are concerned with particular problems of philosophy: the ultimate nature of matter, the connection between the...
The titile essay of this collection suggests that Bertrand Russell's lifelong preoccupation: the disentanglement, with ever-increasing precision, of w...
|
cena:
52,56 |
 |
Developments in Language Theory: 18th International Conference, Dlt 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
ISBN: 9783319096971 / Angielski / Miękka / 349 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 18th International Conference on Developments in Language Theory, DLT 2014, held in Ekaterinburg, Russia, in August 2014. The 22 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 38 submissions. The papers are organized in topical subjects on Grammars, Acceptors and Transducers for Words, Trees and Graphs, Algebraic Theories of Automata, Algorithmic, Combinatorial and Algebraic Properties of Words and Languages, Variable Length Codes, Symbolic Dynamics, Cellular Automata, Polyominoes...
This book constitutes the proceedings of the 18th International Conference on Developments in Language Theory, DLT 2014, held in Ekaterinburg, Russia,...
|
cena:
201,24 |
 |
Computational Logic in Multi-Agent Systems: 15th International Workshop, Clima XV, Prague, Czech Republic, August 18-19, 2014, Proceedings
ISBN: 9783319097633 / Angielski / Miękka / 199 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014.
The 12 regular papers were carefully reviewed and selected from 20 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This edition will feature two special sessions: logics for agreement technologies and logics for games, strategic reasoning,... This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czec...
|
cena:
193,23 |
 |
Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
ISBN: 9783662446010 / Angielski / Miękka / 355 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014. The 26 revised full papers presented, together with two invited talks, were carefully reviewed and selected from 73 submissions. Suggestion--please check and add more if needed] TCS-2014 consisted of two tracks, with separate program committees, which dealt respectively with: - Track A: Algorithms, Complexity and Models of Computation, and - Track B: Logic, Semantics, Specification and Verification
This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014. The 2...
|
cena:
201,24 |
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
