Mathematical theory of computation

Concurrent design, or co-design of hardware and software is extremely important for meeting design goals, such as high performance, that are the key to commercial competitiveness.

Introduction I.

This book analyzes Bas van Fraassen's characterization of representation and models in science.

The volume analyses and develops David Makinson's efforts to make classical logic useful outside its most obvious application areas.

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.

This volume describes and analyzes in a systematic way the great contributions of the philosopher Krister Segerberg to the study of real and doxastic actions.

Communication, one of the most important functions of life, occurs at any spatial scale from the molecular one up to that of populations and ecosystems, and any time scale from that of fast chemical reactions up to that of geological ages.

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

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them.

This book serves a dual purpose: firstly to combine the treatment of circuits and digital electronics, and secondly, to establish a strong connection with the contemporary world of digital systems.

Coastal zones exemplify the environmental pressures we face: their beauty attracts settlement, they offer potential for diverse economic activities, and they are sensitive natural habitats for important species, as well as providing a range of ecosystem services.

This new volume on logic follows a recognizable format that deals in turn with the topics of mathematical logic, moving from concepts, via definitions and inferences, to theories and axioms.

This book presents intellectual, innovative, information technologies (I3-technologies) based on logical and probabilistic (LP) risk models.

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises.

Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science.

This book argues that languages are composed of sets of 'signs', rather than 'strings'.

The relation between logic and knowledge has been at the heart of a lively debate since the 1960s.

Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives.

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values.

This book gives a practical overview of Fractional Calculus as it relates to Signal Processing

While probabilistic logics in principle might be applied to solve a range of problems, in practice they are rarely applied - perhaps because they seem disparate, complicated, and computationally intractable.

This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, threshold logics, logics of conditional decisions).

This is the first book-length treatment of hybrid logic and its proof-theory.

This volume is a collation of original contributions from the key actors of a new trend in the contemporary theory of knowledge and belief, that we call "e;dynamic epistemology"e;.

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

This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view.

In recent years, deep learning has fundamentally changed the landscapes of a number of areas in artificial intelligence, including speech, vision, natural language, robotics, and game playing.

Artificial intelligence (AI) has become pervasive in most areas of research and applications.

This book presents a comprehensive exploration of quantum computing, exploring its wide-ranging applications across industries, elucidating its transformative impact on diverse sectors, and addressing the forthcoming challenges and future directions within this rapidly evolving field.

Python's simplicity and versatility make it an ideal language for both beginners and experienced programmers.

This book is the first general and extensive review on the algorithmics and mathematical results of beyond planar graphs.

Noisy optimization is a topic of growing interest for researchers working on mainstream optimization problems.

This multi-author contributed proceedings volume contains recent advances in several areas of Computational and Applied Mathematics.

Logic circuits are becoming increasingly susceptible to probabilistic behavior caused by external radiation and process variation.

IT securiteers - The human and technical dimension working for the organisation.

A good title should be informative enough to illuminate a potential reader on the content of a book.

Model based testing is the most powerful technique for testing hardware and software systems.

Society heavily depends on infrastructure systems, such as road-traffic networks, water networks, electricity networks, etc.

This book is an introduction to structured and unstructured grid methods in scientific computing, addressing graduate students, scientists as well as practitioners.

This book describes new tools for front end analog designers, starting with global variation-aware sizing, and extending to novel variation-aware topology design.

Hydrodynamic equations well describe averaged parameters of turbulent steady flows, at least in pipes where boundary conditions can be estimated.

Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione specialistica nella logica.

Gli Automi sono modelli matematici di macchine digitali di grande interesse sia dal punto di vista teorico che applicativo.

Il libro contiene in forma compatta il programma svolto negli insegnamenti introduttivi di Statistica e tratta alcuni argomenti indispensabili per l'attività di ricerca, come le tecniche di simulazione Monte Carlo, i metodi di inferenza statistica, di best fit e di analisi dei dati di laboratorio.

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic.

The book "e;TransMath - Innovative Solutions from Mathematical Technology"e; has been conceived as a tool for the dissemination of scientific knowledge.

This book, dedicated to the memory of Gian-Carlo Rota, is the result of a collaborative effort by his friends, students and admirers.