Dieses Buch basiert auf dem Skript zu einer Vorlesung über endliche Modelltheorie an der Freien Universität Berlin und dient als eine kurze Einführung in das Thema.
Set Theoretical Aspects of Real Analysis is built around a number of questions in real analysis and classical measure theory, which are of a set theoretic flavor.
Band III der Hausdorff-Edition enthält Hausdorffs Band „Mengenlehre", seine veröffentlichten Arbeiten zur deskriptiven Mengenlehre und Topologie sowie zahlreiche einschlägige Studien aus dem Nachlaß.
This book is a collection of essays that offer original logical and philosophical investigations into the century-long endeavor to understand paradoxes.
Fuzzy Algorithms for Control gives an overview of the research results of a number of European research groups that are active and play a leading role in the field of fuzzy modeling and control.
This volume contains proceedings of the 1998 European Summer Meeting of the Association for Symbolic Logic held at the University of Economics, Prague.
With the ever-increasing threat of cyber-attacks, especially as the COVID-19 pandemic helped to ramp up the use of digital communications technology, there is a continued need to find new ways to maintain and improve cybersecurity.
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.
This book celebrates and explores some philosophical issues raised by the work of Alan Weir, who is Professor Emeritus at the University of Glasgow, having previously held positions at the Universities of Oxford, Edinburgh and Queen's, Belfast.
This vividly illustrated history of the International Congress of Mathematicians- a meeting of mathematicians from around the world held roughly every four years- acts as a visual history of the 25 congresses held between 1897 and 2006, as well as a story of changes in the culture of mathematics over the past century.
Innovative Teaching: Best Practices from Business and Beyond for Mathematics Teachers provides educators with new and exciting ways to introduce material and methods to motivate and engage students by showing how some of the techniques commonly used in the business world - and beyond - are applicable to the world of education.
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.
The Quine-Putnam indispensability argument in the philosophy of mathematics urges us to place mathematical entities on the same ontological footing as other theoretical entities essential to our best scientific theories.
Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione specialistica nella logica.
This handsome book is aimed towards those with an intermediate skill level, but the origami basics included at the start of the book make it accessible to beginners.
The theory of the measure of noncompactness has proved its significance in various contexts, particularly in the study of fixed point theory, differential equations, functional equations, integral and integrodifferential equations, optimization, and others.