Mathematical foundations

Artificial Intelligence: An Introduction to Big Ideas and their Development, Second Edition guides readers through the history and development of artificial intelligence (AI), from its early mathematical beginnings through to the exciting possibilities of its potential future applications.

A systematic logical study of dependence also providing a precise treatment of independence friendly logic.

Inductive Logic is number ten in the 11-volume Handbook of the History of Logic.

Hex: The Full Story is for anyone - hobbyist, professional, student, teacher - who enjoys board games, game theory, discrete math, computing, or history.

Over the past 20 years, the emergence of clone theory, hyperequational theory, commutator theory and tame congruence theory has led to a growth of universal algebra both in richness and in applications, especially in computer science.

We describe in this book, new methods for building intelligent systems using type-2 fuzzy logic and soft computing techniques.

This book explores a new axiom of set theory, which simplifies proofs, provides deeper insight, and leads to new results.

Recursive Algebra, Analysis and Combinatorics

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Second International Workshop on Logic, Rationality, and Interaction, LORI 2009, held in Chongqing, China, in October 2009.

This book centers around a dialogue between Roger Penrose and Emanuele Severino about one of most intriguing topics of our times, the comparison of artificial intelligence and natural intelligence, as well as its extension to the notions of human and machine consciousness.

Research in mathematics is much more than solving puzzles, but most people will agree that solving puzzles is not just fun: it helps focus the mind and increases one's armory of techniques for doing mathematics.

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind.

In order to perform effective analysis of today's information security systems, numerous components must be taken into consideration.

This work is a sequel to the author's Gdel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gdel's incompleteness theorem for Peano arithmetic.

The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7-11, 2009.

This text is a basic introduction to those areas of discrete mathematics used by stu- dents of mathematics and computer science.

This easy-to-understand textbook introduces the mathematical language and problem-solving tools essential to anyone wishing to enter the world of computer and information sciences.

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his  seminal  research.

With the vision that machines can be rendered smarter, we have witnessed for more than a decade tremendous engineering efforts to implement intelligent sys- tems.

The definitive guide to queueing theory and its practical applications features numerous real-world examples of scientific, engineering, and business applications Thoroughly updated and expanded to reflect the latest developments in the field, Fundamentals of Queueing Theory, Fifth Edition presents the statistical principles and processes involved in the analysis of the probabilistic nature of queues.

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 2015.

This text covers topics in algebraic geometry and commutative algebra with a strong perspective toward practical and computational aspects.

The origami introduced in this book is based on simple techniques.

Until the authors' recent research, the practical implementation of the mathematical theory of chaos on finite machines raised several issues.

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.

Proof techniques in cryptography are very difficult to understand, even for students or researchers who major in cryptography.

Like the journal TOPOl, the TOPOl Library is based on the assumption that philosophy is a lively, provocative, delightful activity, which constantly challenges our inherited habits, painstakingly elaborates on how things could be different, in other stories, in counterfactual situations, in alternative possible worlds.

This undergraduate textbook promotes an active transition to higher mathematics.

A conference on Nonstandard Methods and Applications in Mathematics (NS2002) was held in Pisa, Italy from June 12-16, 2002.

X Marks the Spot is written from the point of view of the users of mathematics.

Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it allows us to draw sound conclusions from given information.

We live, unfortunately, in turbulent and difficult times plagued by various political, economic, and social problems, as well as by natural disasters worldwide.

Hilbert's Program was founded on a concern for the phenomenon of paradox in mathematics.

Today we witness an explosive growth in attention to Q-computing.

Clustering has been around for many decades and located itself in a uniquepositionasafundamentalconceptualandalgorithmiclandmark of data analysis.

Hacking explores how mathematics became possible for the human race, and how it ensured our status as the dominant species.

Essentials of Elementary School Mathematics is an introductory text on the essentials of mathematics taught in elementary schools.

A concise tour from the subject''s ancient roots towards the highest infinities and their surprising implications for the finite.

This book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justification and explanation.

A selective, critical history of the relations between logic and philosophy over the last 150 years.

A lively and engaging look at logic puzzles and their role in mathematics, philosophy, and recreationLogic puzzles were first introduced to the public by Lewis Carroll in the late nineteenth century and have been popular ever since.

This book helps readers easily learn basic model checking by presenting examples, exercises and case studies.

This book presents the construction and resolution of 50 practical optimization problems and covers an exceptionally wide range, including games-associated problems (Unblock Me, Sudokus), logistical problems, and problems concerning plant distribution, production, operations scheduling, management and resource allocation.

Mathematical logic is essentially related to computer science.

D.

This book explores the premise that a physical theory is an interpretation of the analytico-canonical formalism.

The material of this book stems from the idea of integrating a classic concept of Fibonacci numbers with commonly available digital tools including a computer spreadsheet, Maple, Wolfram Alpha, and the graphing calculator.

Constructibility and complexity play central roles in recent research in computer science, mathematics and physics.

This is a book about infinity - specifically the infinity of numbers, and how one kind of infinity is greater than all the rest.