Mathematical foundations

This book brings the researcher up to date with recent applications of mathematical logic to number theory.

An Elementary Transition to Abstract Mathematics will help students move from introductory courses to those where rigor and proof play a much greater role.

Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly.

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view.

The aim of this book is to lead the reader out from the ordinary routine of computing and calculating by engaging in a more dynamic process of learning.

Methods of dimensionality reduction provide a way to understand and visualize the structure of complex data sets.

This monograph is a defence of the Fregean take on logic.

This book examines how epistemology was reinvented by Ibn Sina, an influential philosopher-scientist of the classical Islamic world who was known to the West by the Latinised name Avicenna.

Petri-Netze sind das meist beachtete und am besten untersuchte Modell für nebenläufige, parallele Rechnungen.

Develops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.

In recent years, an impetuous development of new, unconventional theories, methods, techniques and technologies in computer and information sciences, systems analysis, decision-making and control, expert systems, data modelling, engineering, etc.

Cryptology: Classical and Modern, Second Edition proficiently introduces readers to the fascinating field of cryptology.

Introduction to Mathematical Proofs helps students develop the necessary skills to write clear, correct, and concise proofs.

This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic.

Customarily, much of traditional mathematics curricula was predicated on 'by hand' calculation.

This volume contains a collection of research papers centered around the concept of quantifier.

A Transition to Proof: An Introduction to Advanced Mathematics describes writing proofs as a creative process.

The primary purpose of this book is to present information about selected topics on the interactions and applications of fuzzy + neural.

Now the most used texbook for introductory cryptography courses in both mathematics and computer science, the Third Edition builds upon previous editions by offering several new sections, topics, and exercises.

The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship.

It is well known that Einstein founded twentieth-century physics with his work on relativity and quanta, but what do we really know about these ground breaking ideas?

Originally published in 1967.

The QL&SC 2012 is a major symposium for scientists, and practitioners all around the world to present their latest researches, results, ideas, developments and applications in such areas as quantitative logic, many-valued logic, fuzzy logic, quantification of software, artificial intelligence, fuzzy sets and systems and soft computing.

In 1931, the young Kurt Godel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove.

This book is a useful, attractive introduction to basic counting techniques for upper secondary and junior college students, as well as teachers.

This volume, first published in 2000, contains a collection of survey papers providing an introduction for graduate students and researchers in these fields.

This book is based on the authors' research on rendering images of higher dimensional fractals by a distance estimation technique.

One can distinguish, roughly speaking, two different approaches to the philosophy of mathematics.

This book contains all full papers presented at ACRI 2000, the Fourth International Conference on Cellular Automata for Research and Industry, held at the University of Karlsruhe (Germany), 4 - 6 October, 2000.

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas.

Project Origami: Activities for Exploring Mathematics, Second Edition presents a flexible, discovery-based approach to learning origami-math topics.

In Alan Lightman's new book, a verse narrative, we meet a man who has lost his faith in all things following a mysterious personal tragedy.

Helpful instruction and plenty of practice for your child to understand the basics of multiplication and divisionUnderstanding multiplying and dividing is essential for your child to do math problems with confidence.

This book was written to serve as an introduction to logic, with in each chapter - if applicable - special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science.

This monograph offers a new foundation for information theory that is based on the notion of information-as-distinctions, being directly measured by logical entropy, and on the re-quantification as Shannon entropy, which is the fundamental concept for the theory of coding and communications.

This new book discusses the concepts while also highlighting the challenges in thefield of quantum cryptography and also covering cryptographic techniques and cybersecurity techniques, in a single volume.

The Mathematical Foundations of the Finite Element Method with Applications to Partial Differential Equations is a collection of papers presented at the 1972 Symposium by the same title, held at the University of Maryland, Baltimore County Campus.

Die »Logik« des Philosophen Hermann Lotze (1817–1881) gilt auch nach internationalem Maßstab als einer der folgenreichsten philosophischen Texte im Übergang vom 19.

This book brings together several directions of work in model theory between the late 1950s and early 1980s.

Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics.

This book on proof theory centers around the legacy of Kurt Schutte and its current impact on the subject.

This new edition presents the essential topics in probability and statistics from a rigorous standpoint.

The starting point for this monograph is the previously unknown connection between the Continuum Hypothesis and the saturation of the non-stationary ideal on ?

There are thousands of books relating to poker, blackjack, roulette and baccarat, including strategy guides, statistical analysis, psychological studies, and much more.

This is a charming and insightful contribution to an understanding of the "e;Science Wars"e; between postmodernist humanism and science, driving toward a resolution of the mutual misunderstanding that has driven the controversy.

This volume covers a wide range of topics that fall under the 'philosophy of quantifiers', a philosophy that spans across multiple areas such as logic, metaphysics, epistemology and even the history of philosophy.

Wireless Body Area Networks (WBANs) are vulnerable to cyberattacks and security breaches that could unlock the door for cybercriminals to penetrate hospital networks.

This book aims to develop algorithms of shape-preserving spline approximation for curves/surfaces with automatic choice of the tension parameters.