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 ……続きを見る
Fuzzy set and logic theory suggest that all natural language linguistic expressions are imprecise and must be assessed as a matter of degree. But in general membership degree is an imprecise notion ……続きを見る
This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set……続きを見る
This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools. The major topics……続きを見る
This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters……続きを見る
This volume provides a forum which highlights new achievements and overviews of recent developments of the thriving logic groups in the Asia-Pacific region. It contains papers by leading logicians a……続きを見る
著者:Jonathan Kirby
出版社: Cambridge University Press
発売日: 2019年04月18日
Model theory begins with an audacious idea: to consider statements about mathematical structures as mathematical objects of study in their own right. While inherently important as a tool of mathemat……続きを見る
Anyone can appreciate the beauty, depth, and vitality of mathematics with the help of this highly readable text, specially developed from a college course designed to appeal to students in a variety……続きを見る
Statistical Foundations of Data Science gives a thorough introduction to commonly used statistical models, contemporary statistical machine learning techniques and algorithms, along with their mathe……続きを見る
This book offers a gentle introduction to type-2 fuzzy sets and, in particular, interval type-2 fuzzy sets and their application in biological modeling. Interval type-2 fuzzy modeling is a comparati……続きを見る
In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also beh……続きを見る
This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, mo……続きを見る
Proofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequence (at least Calculus I and II) and a first course ……続きを見る
A comprehensive work in finite-value systems that covers the latest achievements using the semi-tensor product method, on various kinds of finite-value systems. These results occupy the highest posi……続きを見る
This book presents to the reader a modern axiomatic construction of three-dimensional Euclidean geometry in a rigorous and accessible form. It is helpful for high school teachers who are interested ……続きを見る
The contents in this volume are based on the program Sets and Computations that was held at the Institute for Mathematical Sciences, National University of Singapore from 30 March until 30 April 201……続きを見る
Essentials of Mathematical Thinking addresses the growing need to better comprehend mathematics today. Increasingly, our world is driven by mathematics in all aspects of life. The book is an excelle……続きを見る
Extremal Finite Set Theory surveys old and new results in the area of extremal set system theory. It presents an overview of the main techniques and tools (shifting, the cycle method, profile polyto……続きを見る
This text is formulated on the fundamental idea that much of mathematics, including the classical number systems, can best be based on set theory. Beginning with a discussion of the rudiments of set……続きを見る
This book formally introduces synthetic differential topology, a natural extension of the theory of synthetic differential geometry which captures classical concepts of differential geometry and top……続きを見る
Strange Functions in Real Analysis, Third Edition differs from the previous editions in that it includes five new chapters as well as two appendices. More importantly, the entire text has been revis……続きを見る
著者:Raymond M Smullyan
出版社: World Scientific Publishing Company
発売日: 2016年11月11日
'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'
The Mathematical Gazette
This is the final book written by the late great puzzle master ……続きを見る
Proofs play a central role in advanced mathematics and theoretical computer science, yet many students struggle the first time they take a course in which proofs play a significant role. This bestse……続きを見る
Transition to Real Analysis with Proof provides undergraduate students with an introduction to analysis including an introduction to proof. The text combines the topics covered in a transition cours……続きを見る
Everything you need to know about 100 key mathematical concepts condensed into easy-to-understand sound bites designed to stick in your memory and give you an instant grasp of the concept.
On each t……続きを見る
Starting with the most basic notions, Universal Algebra: Fundamentals and Selected Topics introduces all the key elements needed to read and understand current research in this field. Based on the a……続きを見る
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduc……続きを見る
Neutrices and External Numbers: A Flexible Number System introduces a new model of orders of magnitude and of error analysis, with particular emphasis on behaviour under algebraic operations. The mo……続きを見る