Mathematical foundations

Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines.

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.

Physics World's 'Book of the Year' for 2016 An Entertaining and Enlightening Guide to the Who, What, and Why of String Theory, now also available in an updated reflowable electronic format compatible with mobile devices and e-readers.

If you have ever wondered what quaternions are - then look no further, John Vince will show you how simple and useful they are.

Finite model theory is an area of mathematical logic that grew out of computer science applications.

This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming.

The bulk of this volume consists of invited addresses presented at the Colloquium.

Lays the foundations for a new area of descriptive set theory: the connection between forcing and analytic equivalence relations.

A Mathematical Introduction to Logic

The notion of proof is central to mathematics yet it is one of the most difficult aspects of the subject to teach and master.

There is no branch of mathematics, however abstract, which may not some day be applied to phenomena of the real world.

In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures.

Semiring theory stands with a foot in each of two mathematical domains.

This two-volume work bridges the gap between introductory texts and the research literature.

Blockchain technology is an emerging distributed, decentralized architecture and computing paradigm, which has accelerated the development and application of cloud, fog and edge computing; artificial intelligence; cyber physical systems; social networking; crowdsourcing and crowdsensing; 5g; trust management and finance; and other many useful sectors.

The papers appearing in this volume are part of those originally intended for presentation at the conference: Logic Colloquium '80 - European Summer Meeting of the Association for Symbolic Logic (A.

This textbook introduces the general points of view of research methodology in the scientific and engineering fields of studies and presents an overview of the technical and professional communication needed for article publication in journals.

This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.

This book focuses on various authorization and access control techniques, threats and attack modeling, including an overview of the Open Authorization 2.

This book is an introduction to modern cardinal arithmetic, developed in the frame of the axioms of Zermelo-Fraenkel set theory together with the axiom of choice.

For many civilian, security, and military applications, distributed and networked coordination offers a more promising alternative to centralized command and control in terms of scalability, flexibility, and robustness.

Introduction to Modern Cryptography, the most relied-upon textbook in the field, provides a mathematically rigorous yet accessible treatment of this fascinating subject.

All modern books on Einstein emphasize the genius of his relativity theory and the corresponding corrections and extensions of the ancient space-time concept.

This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, CiE 2011, held in Sofia, Bulgaria, in June/July 2011.

This comprehensive two-volume work is devoted to the most general beginnings of mathematics.

Unexpected Expectations: The Curiosities of a Mathematical Crystal Ball explores how paradoxical challenges involving mathematical expectation often necessitate a reexamination of basic premises.

Nell'infanzia si pongono i classici interrogativi con tanti “perché?

This engaging book presents the essential mathematics needed to describe, simulate, and render a 3D world.

Mechanizing hypothesis formation is an approach to exploratory data analysis.

The aim of this book is to provide an exposition of both the theory and the applications of these categories at a level accessible to graduate students.

The abstract branch of theoretical computer science known as Computation Theory typically appears in undergraduate academic curricula in a form that obscures both the mathematical concepts that are central to the various components of the theory and the relevance of the theory to the typical student.

"e;In the mathematics I can report no deficience, except that it be that men do not sufficiently understand the excellent use of the pure mathematics, in that they do remedy and cure many defects in the wit and faculties intellectual.

Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions.

Designed as a self-contained account of a number of key algorithmic problems and their solutions for linear algebraic groups, this book combines in one single text both an introduction to the basic theory of linear algebraic groups and a substantial collection of useful algorithms.

Model theory is the meta-mathematical study of the concept of mathematical truth.

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic.

Written by experts in the field, this volume presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice.

Since its inception 20 years ago the theory of fuzzy sets has advanced in a variety of ways and in many disciplines.

The present collection of seventeen papers, most of them already published in international philosophical journals, deals both with issues in the philosophy of logic, the philosophy of mathematics, the philosophy of language and epistemology.

The remarkable properties of the numbers one through nineIn Single Digits, Marc Chamberland takes readers on a fascinating exploration of small numbers, from one to nine, looking at their history, applications, and connections to various areas of mathematics, including number theory, geometry, chaos theory, numerical analysis, and mathematical physics.

From the reviews: "e;A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details.

?

Intermediate Poker Mathematics provides a fascinating collection of mathematical questions set in the diverse world of poker.

These notes give a self-contained treatment of the theory of o-minimal structures.

This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought.