Mathematical foundations

This volume contains the Proceedings of ICFCA 2004, the 2nd International Conference on Formal Concept Analysis.

This invaluable book is a collection of 31 important - both in ideas and results - papers published by mathematical logicians in the 20th Century.

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

This book addresses the argument in the history of the philosophy of science between the positivists and the anti-positivists.

In the last few years, biometric techniques have proven their ability to provide secure access to shared resources in various domains.

The theme of this book is the self-generation of information by the self-modification of systems.

These two volumes collect thirty-eight selected papers from the scientific contributions presented at the Fourth European Workshop on Quantum Systems in Chemistry and Physics (QSCP-IV), held in Marly-le-Roi (France) in April 22-27, 1999, A total ofone hundred and fifteen scientists attended the workshop, 99 from Europe and 16 from the rest ofthe world.

This book is concerned with the relations between graphs, error-correcting codes and designs.

The Complete Idiot's Guide to Speed Math provides easy-to-understand methods, tips, and tricks to do math in one's head, on paper, and on a calculator at a faster rate and with more accuracy for anyone who is intimidated by math and for whom such calculations would otherwise require paper or calculator.

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic.

This book presents the concept of cryptcoding which arises from the need to obtain secure and accurate transmission.

This volume contains the proceedings of the Second Joint IFSA-EC and EURO-WGFS Workshop on Progress in Fuzzy Sets in Europe held on April 6 -8, 1989 in Vienna, Austria.

This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures.

Digital forensics plays a crucial role in identifying, analysing, and presenting cyber threats as evidence in a court of law.

This book celebrates and explores some philosophical issues raised by the work of Alan Weir, who is Professor Emeritus at the University of Glasgow, having previously held positions at the Universities of Oxford, Edinburgh and Queen's, Belfast.

This book is a gentle but rigorous introduction to Formal Logic.

Computer arithmetic has become so fundamentally embedded into digital design that many engineers are unaware of the many research advances in the area.

At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical logic and set theory and, in particular, of the axiom of choice.

The author revisits logicism in light of recent advances in mathematical logic and theoretical computer science.

This penultimate volume contains numerous original, elegant, and surprising results in 1-dimensional cellular automata.

This book discusses the evolution of security and privacy issues and brings related technological tools, techniques, and solutions into one single source.

Reasoning under uncertainty is always based on a specified language or for- malism, including its particular syntax and semantics, but also on its associated inference mechanism.

At the heart of modern cryptographic algorithms lies computational number theory.

This book presents a set theoretical development for the foundations of the theory of atomic and finitely supported structures.

Dieses Buch basiert auf dem Skript zu einer Vorlesung über endliche Modelltheorie an der Freien Universität Berlin und dient als eine kurze Einführung in das Thema.

Winner of a CHOICE Outstanding Academic Title Award for 2011!

An introduction to recent developments in algebraic combinatorics and an illustration of how research in mathematics actually progresses.

S.

Fuzzy Logic Foundations and Industrial Applications is an organized edited collection of contributed chapters covering basic fuzzy logic theory, fuzzy linear programming, and applications.

This monograph develops techniques for equational reasoning in higher-order logic.

Designed for engineering graduate students, this book connects basic mathematics to a variety of methods used in engineering problems.

The first interdisciplinary textbook to introduce students to three critical areas in applied logicDemonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic.

This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory.

At the beginning of the new millennium, fuzzy logic opens a new challenging perspective in information processing.

The book presents the theory of latticed shells as continual systems and describes its applications.

This is the first volume of the second edition of the standard text on design theory.

This book not only presents essential material to understand fuzzy metric fixed point theory, but also enables the readers to appreciate the recent advancements made in this direction.

This contributed volume explores the ways logical skills have been perceived over the course of history.

Winner, Euler Book Prize, awarded by the Mathematical Association of America.

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 focuses on one of the major challenges of the newly created scientific domain known as data science: turning data into actionable knowledge in order to exploit increasing data volumes and deal with their inherent complexity.

Packed with more than a hundred color illustrations and a wide variety of puzzles and brainteasers, Taking Sudoku Seriously uses this popular craze as the starting point for a fun-filled introduction to higher mathematics.

Primarily designed for graduate students of mathematics, this textbook delves into Naive set theory, offering valuable insights for senior undergraduate students and researchers specializing in set theory.

This book brings together young researchers from a variety of fields within mathematics, philosophy and logic.