This easy-to-understand textbook introduces the mathematical language and problem-solving tools essential to anyone wishing to enter the world of computer and information sciences.
This book presents a philosophy of science, based on panenmentalism: an original modal metaphysics, which is realist about individual pure (non-actual) possibilities and rejects the notion of possible worlds.
This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019.
Probabilistic Safety Assessment (PSA) is a structured, comprehensive, and logical analysis method aimed at identifying and assessing risks in complex technological systems, such as the nuclear power plants.
»Philosophie der Mathematik« wird in diesem Buch verstanden als ein Bemühen um die Klärung solcher Fragen, die die Mathematik selber aufwirft, aber mit ihren eigenen Methoden nicht beantworten kann.
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020.
The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer's logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics.
"e;Tell me,"e; Wittgenstein once asked a friend, "e;why do people always say, it was natural for man to assume that the sun went round the earth rather than that the earth was rotating?
This monograph explores the logical systems of early logicians in the Arabic tradition from a theoretical perspective, providing a complete panorama of early Arabic logic and centering it within an expansive historical context.
This second volume continues Richard Routley's explorations of an improved Meinongian account of non-referring and intensional discourse (including joint work with Val Routley, later Val Plumwood).
This book explores and highlights the fertile interaction between logic and operator algebras, which in recent years has led to the resolution of several long-standing open problems on C*-algebras.
The book offers a collection of essays on various aspects of Leibniz's scientific thought, written by historians of science and world-leading experts on Leibniz.
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.
This edited book brings together research work in the field of constructive semantics with scholarship on the phenomenological foundations of logic and mathematics.
The book has two parts: In the first, after a review of some seminal classical accounts of laws and explanations, a new account is proposed for distinguishing between laws and accidental generalizations (LAG).
The goal of this monograph is to give an accessible introduction to nonstandard methods and their applications, with an emphasis on combinatorics and Ramsey theory.
This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations.
This edited book focuses on concepts and their applications using the theory of conceptual spaces, one of today's most central tracks of cognitive science discourse.
This book presents eleven peer-reviewed papers from the 3rd International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE2017) held in Tbilisi, Georgia in December 2017.
This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic.
This book was written to serve as an introduction to logic, with in each chapter - if applicable - special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science.
The expanded and updated 2nd edition of this classic text offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science.
This is a textbook for an undergraduate mathematics major transition course from technique-based mathematics (such as Algebra and Calculus) to proof-based mathematics.
This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic.
The book offers a collection of essays on various aspects of Leibniz's scientific thought, written by historians of science and world-leading experts on Leibniz.
This is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of the field in 1932 in the pioneering work of Alonzo Church.
This is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of the field in 1932 in the pioneering work of Alonzo Church.
This easy-to-understand textbook introduces the mathematical language and problem-solving tools essential to anyone wishing to enter the world of computer and information sciences.
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.
The Quantum Cellular Automaton (QCA) concept represents an attempt to break away from the traditional three-terminal device paradigm that has dominated digital computation.
