Mathematical foundations

Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, covering classical topics of mathematical logic.

?

Preempt your anxiety about PRE-ALGEBRA!

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.

The main body of this book consists of 106 numbered theorems and a dozen of examples of models of set theory.

Many of the modern variational problems in topology arise in different but overlapping fields of scientific study: mechanics, physics and mathematics.

It is widely assumed that there exist certain objects which can in no way be distinguished from each other, unless by their location in space or other reference-system.

This book, which is based on Polya's method of problem solving, aids students in their transition from calculus (or precalculus) to higher-level mathematics.

In his rich and varied career as a mathematician, computer scientist, and educator, Jacob T.

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 undergraduate textbook is intended primarily for a transition course into higher mathematics, although it is written with a broader audience in mind.

While it is well known that the Delian problems are impossible to solve with a straightedge and compass - for example, it is impossible to construct a segment whose length is cube root of 2 with these instruments - the discovery of the Italian mathematician Margherita Beloch Piazzolla in 1934 that one can in fact construct a segment of length cube root of 2 with a single paper fold was completely ignored (till the end of the 1980s).

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions.

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

First of a 3-volume work giving a detailed account of what should be known by all working in, or using category theory.

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects.

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.

The game of Dots-and-Boxes, the popular game in which two players take turns connecting an array of dots to form squares, or boxes has long been considered merely a child's game.

Since the introduction of genetic algorithms in the 1970s, an enormous number of articles together with several significant monographs and books have been published on this methodology.

This volume offers a glimpse of the status of research in adaptive and learning systems in 1985.

The edited volume includes papers in the fields of fuzzy mathematical analysis and advances in computational mathematics.

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

A two-volume advanced text for graduate students.

A hands-on introduction to the tools needed for rigorous and theoretical mathematical reasoning Successfully addressing the frustration many students experience as they make the transition from computational mathematics to advanced calculus and algebraic structures, Theorems, Corollaries, Lemmas, and Methods of Proof equips students with the tools needed to succeed while providing a firm foundation in the axiomatic structure of modern mathematics.

This is a collection of 35 articles on covering topics such as finite projective spaces, generalised polygons, strongly regular graphs, diagram geometries and polar spaces.

Solomon Feferman has shaped the field of foundational research for nearly half a century.

Surveys of current research in logical aspects of computer science that apply finite and infinite model-theoretic methods.

Nonlinear systems with stationary sets are important because they cover a lot of practical systems in engineering.

Since the late 1980s, a large number of very user-friendly tools for fuzzy control, fuzzy expert systems, and fuzzy data analysis have emerged.

Provides a unique and methodologically consistent treatment of various areas of fuzzy modeling and includes the results of mathematical fuzzy logic and linguistics This book is the result of almost thirty years of research on fuzzy modeling.

Mathematics of Fuzzy Sets: Logic, Topology and Measure Theory is a major attempt to provide much-needed coherence for the mathematics of fuzzy sets.

1.

The theory of finite automata on finite stings, infinite strings, and trees has had a dis- tinguished history.

Basic Gambling Mathematics: The Numbers Behind the Neon, Second Edition explains the mathematics involved in analyzing games of chance, including casino games, horse racing and other sports, and lotteries.

This volume will launch a discussion about the concept of intensionality in philosophy, logic, linguistics and mathematics.

In recent years, there have been several attempts to define a logic for information retrieval (IR).

A comprehensive and unique volume by the master of combinatorial game theory.

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.

Computational complexity theory provides a framework for understanding the cost of solving computational problems, as measured by the requirement for resources such as time and space.

The topic of this book is the following optimisation problem: given a set of discrete variables and a set of functions, each depending on a subset of the variables, minimise the sum of the functions over all variables.

Once the privilege of a secret few, cryptography is now taught at universities around the world.

The Four Corners of Mathematics: A Brief History, from Pythagoras to Perelman describes the historical development of the 'big ideas' in mathematics in an accessible and intuitive manner.

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems.

This book argues for a view in which processes of dialogue and interaction are taken to be foundational to reasoning, logic, and meaning.

This book series consists of two parts, decidable description logics and undecidable description logics.

Erleben Sie das Wiedererwachen des universitären Lebens nach 1918 aus der Sicht eines Betroffenen.

Aggregation plays a central role in many of the technological tasks we are faced with.

This 1981 collection of 33 research papers follows from a conference on the interwoven themes of finite Desarguesian spaces and Steiner systems, amongst other topics.