Infinite Words is an important theory in both Mathematics and Computer Sciences. Many new developments have been made in the field, encouraged by its application to problems in computer science. Inf……続きを見る
In 1992 we published a book entitled Fuzzy Measure Theory (Plenum Press, New York), in which the term ‘‘fuzzy measure’’ was used for set functions obtained by replacing the additivity requirement of……続きを見る
The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The s……続きを見る
Succinct and understandable, this book is a step-by-step guide to the mathematics and construction of electrical load forecasting models. Written by one of the world’s foremost experts on the subjec……続きを見る
A systematic treatment of Boolean reasoning, this concise, newly revised edition combines the works of early logicians with recent investigations, including previously unpublished research results.
……続きを見る
著者:W. Kent Wilson
出版社: Research & Education Association
発売日: 2013年01月01日
REA’s Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, compreh……続きを見る
This enlightening survey of mathematical concept formation holds a natural appeal to philosophically minded readers, and no formal training in mathematics is necessary to appreciate its clear exposi……続きを見る
The algebra of logic was founded by George Boole (1815-1864); it was developed and perfected by Ernst Schroder (1841-1902) The fundamental laws of this calculus were devised to express the principle……続きを見る
This English translation of the author's original work has been thoroughly revised, expanded and updated.
The book covers logical systems known as type-free or self-referential. These traditionally ……続きを見る
The present volume of the Handbook of the History of Logic is designed to establish 19th century Britain as a substantial force in logic, developing new ideas, some of which would be overtaken by, a……続きを見る
While many books have been written about Bertrand Russell's philosophy and some on his logic, I. Grattan-Guinness has written the first comprehensive history of the mathematical background, content,……続きを見る
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of seman……続きを見る
著者:Marcus du Sautoy
出版社: HarperCollins Publishers
発売日: 2010年09月23日
From the author of The Music of the Primes and Finding Moonshine comes a short, lively book on five mathematical problems that just refuse be solved – and on how many everyday problems can be solved……続きを見る
This third edition of a popular, well-received text offers undergraduates an opportunity to obtain an overview of the historical roots and the evolution of several areas of mathematics.
The selectio……続きを見る
The idea that mathematics is reducible to logic has a long history, but it was Frege who gave logicism an articulation and defense that transformed it into a distinctive philosophical thesis with a ……続きを見る
Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet def……続きを見る
Model theory deals with a branch of mathematical logic showing connections between a formal language and its interpretations or models. This is the first and most successful textbook in logical mode……続きを見る
This applications-related introductory treatment explores facets of modern symbolic logic useful in the exposition of elementary mathematics. The authors convey the material in a manner accessible t……続きを見る
The theory of arguments is developed as it was actually practiced by the early Greek probabilists. It is then illustrated by a number of examples of actual arguments. How does one handle facts, simp……続きを見る
A classic introduction to mathematical logic from the perspective of category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically a……続きを見る
This monograph provides a self-contained and easy-to-read introduction to non-commutative multiple-valued logic algebras; a subject which has attracted much interest in the past few years because of……続きを見る
The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, wri……続きを見る
First published in Polish in 1936, this classic work was originally written as a popular scientific book ー one that would present to the educated lay reader a clear picture of certain powerful tren……続きを見る
Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consistency strength. It is as a field of mat……続きを見る
In modern mathematics, both the theory of proof and the derivation of theorems from axioms bear an unquestioned importance. The necessary skills behind these methods, however, are frequently underde……続きを見る
Not everything is black and white. Our daily lives are full of vagueness or fuzziness. Language is the most obvious example - for instance, when we describe someone as tall, it is as though there is……続きを見る
Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science. This collection of A.M. Turing's works is intended to include all his mature scientific writing……続きを見る
Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world's model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide seman……続きを見る
What is a number? What is infinity? What is continuity? What is order? Answers to these fundamental questions obtained by late nineteenth-century mathematicians such as Dedekind and Cantor gave birt……続きを見る
著者:James W. Garson
出版社: Cambridge University Press
発売日: 2015年11月10日
This book on modal logic is especially designed for philosophy students. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort is ……続きを見る