Mathematical foundations

A survey of semimodularity that presents theory and applications in discrete mathematics, group theory and universal algebra.

This introductory treatment covers the basic concepts and machinery of stability theory.

The higher in?

Working out solutions to polynomial equations is a mathematical problem that dates from antiquity.

Model theory investigates mathematical structures by means of formal languages.

This book serves as a textbook in real analysis.

The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic.

The proceedings publishes research results on the following disciplines: philosophy and epistemology, history and philosophy of science, mathematics, logic and computer science, social sciences, linguistics, cognitive sciences, artificial intelligence, general systems and operational research.

This book is a collection of contributions honouring Arnon Avron's seminal work on the semantics and proof theory of non-classical logics.

This book offers an original and informative view of the development of fundamental concepts of computability theory.

Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background.

Fundamentals of Elementary Mathematics provides an understanding of the fundamental aspects of elementary mathematics.

Containing never-before-published material, this fascinating account sheds new light on one of the greatest figures of the twentieth century.

This book is a collection of creative pieces-poems, short stories, essays, play excerpts-that give shape to mathematical and scientific content.

Decisions in uncertainty Scientific reaction to change During latter decades, the basic elements that have traditionally made up the society in wh ich economic activity develops, have been submitted to the effect of multiple aggressions as a consequence of the outcome of events motivated by the nature itself of the human being, always seeking a level of happiness that is never reached.

Can you really keep your eye on the ball?

An Introduction to Fuzzy Sets provides a comparison of the quality of life in urban, intermediate and rural NUTS III regions in Portugal, with the main goal of identifying and analysing the necessary and conditions for a high quality of life in those different regions.

Cryptography, in particular public-key cryptography, has emerged in the last 20 years as an important discipline that is not only the subject of an enormous amount of research, but provides the foundation for information security in many applications.

Diese Einführung in die Theoretische Informatik zeichnet sich durch Verständlichkeit und gute Lesbarkeit aus.

During his lifetime, Kurt Godel was not well known outside the professional world of mathematicians, philosophers and theoretical physicists.

Some recent fuzzy database modeling advances for the non-traditional applications are introduced in this book.

The subject of Time has a wide intellectual appeal across different dis- ciplines.

This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic and mathematics, by the best specialists from all over the world.

The book "e;Foundational Theories of Classical and Constructive Mathematics"e; is a book on the classical topic of foundations of mathematics.

In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind.

Proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in 1990, containing eighteen papers by leading researchers.

The 2007 proceedings from the Annual European Meeting of the Association for Symbolic Logic.

A comprehensive introduction to eight major approaches to computation on uncountable mathematical domains.

The book provides a historical (with an outline of the history of the concept of truth from antiquity to our time) and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s.

Lateral Solutions to Mathematical Problems offers a fresh approach to mathematical problem solving via lateral thinking.

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.

This contributed volume overviews recently presented approaches for carrying out QSPR/QSAR analysis by using a simplifying molecular input-line entry system (SMILES) to represent the molecular structure.

Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general mathematical community as a subject of great intrinsic interest but one that is technically so forbidding that it is only accessible to specialists.

In this groundbreaking volume, leading philosophers and mathematicians explore Kurt Gödel''s work on the foundations and philosophy of mathematics.

Polls are conducted every day all around the world for almost everything (especially during elections).

This adaptation of an earlier work by the authors is a graduate text and professional reference on the fundamentals of graph theory.

In this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspects to everyday mathematics.

This book leads readers from a basic foundation to an advanced level understanding of algebra, logic and combinatorics.

The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic.

This IMA Volume in Mathematics and its Applications RANDOM SETS: THEORY AND APPLICATIONS is based on the proceedings of a very successful 1996 three-day Summer Program on "e;Application and Theory of Random Sets.

Industrial development is essential to improvement of the standard of living in all countries.

In this research monograph, the author's work on classification and related topics are presented.

Information security has a major gap when cryptography is implemented.

J.

This textbook covers topics of undergraduate mathematics in abstract algebra, geometry, topology and analysis with the purpose of connecting the underpinning key ideas.

This book is a tribute to the memory of Yuri Ivanovich Manin, who passed away on January 7, 2023.

Biomolecular computing has emerged as an interdisciplinary ?

The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications.