Logic category: 1296 books
by Yuri Balashov
Language: English
Release Date: April 29, 2010
Language: English
Release Date: April 29, 2010
Material objects persist through time and survive change. How do they manage to do so? What are the underlying facts of persistence? Do objects persist by being "wholly present" at all moments of time at which they exist? Or do they persist by having distinct "temporal segments"...
by Przemysław Broniek
Language: English
Release Date: July 24, 2015
Language: English
Release Date: July 24, 2015
This volume considers the computational complexity of determining whether a system of equations over a fixed algebra A has a solution. It examines in detail the two problems this leads to: SysTermSat(A) and SysPolSat(A), in which equations are built out of terms or polynomials, respectively. The book...
by
Language: English
Release Date: December 6, 2012
Language: English
Release Date: December 6, 2012
Contemporaryphilosophyseems a great swirling almost chaos. Every situation must seem so at the time, probably because philosophy itself resists structura tion and because personal and political factors within as well as without the discipline must fade in order for the genuinely philosophical merits...
Mathematical Intuition
Phenomenology and Mathematical Knowledge
Language: English
Release Date: December 6, 2012
"Intuition" has perhaps been the least understood and the most abused term in philosophy. It is often the term used when one has no plausible explanation for the source of a given belief or opinion. According to some sceptics, it is understood only in terms of what it is not, and it is not...
Ordered Sets
An Introduction with Connections from Combinatorics to Topology
Language: English
Release Date: May 11, 2016
An introduction to the basic tools of the theory of (partially) ordered sets such as visualization via diagrams, subsets, homomorphisms, important order-theoretical constructions and classes of ordered sets. Using a thematic approach, the author presents open or recently solved problems to motivate...
The Congruences of a Finite Lattice
A "Proof-by-Picture" Approach
Language: English
Release Date: June 29, 2016
This is a self-contained exposition by one of the leading experts in lattice theory, George Grätzer, presenting the major results of the last 70 years on congruence lattices of finite lattices, featuring the author's signature Proof-by-Picture method.
Key features:
* Insightful discussion...
by Henk Barendregt, Wil Dekkers, Richard Statman
Language: English
Release Date: June 20, 2013
Language: English
Release Date: June 20, 2013
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the...
Monoidal Topology
A Categorical Approach to Order, Metric, and Topology
Language: English
Release Date: July 31, 2014
Monoidal Topology describes an active research area that, after various past proposals on how to axiomatize 'spaces' in terms of convergence, began to emerge at the beginning of the millennium. It combines Barr's relational presentation of topological spaces in terms of ultrafilter convergence with...
Coalgebraic Methods in Computer Science
13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Language: English
Release Date: June 3, 2016
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016.
The 10 revised full papers were carefully reviewed...
Combinatorial Set Theory
With a Gentle Introduction to Forcing
Language: English
Release Date: November 24, 2011
This book provides a self-contained introduction to modern set theory and also opens up some more advanced areas of current research in this field. The first part offers an overview of classical set theory wherein the focus lies on the axiom of choice and Ramsey theory. In the second part, the sophisticated...
Facets of Uncertainties and Applications
ICFUA, Kolkata, India, December 2013
Language: English
Release Date: May 11, 2015
Since the emergence of the formal concept of probability theory in the seventeenth century, uncertainty has been perceived solely in terms of probability theory. However, this apparently unique link between uncertainty and probability theory has come under investigation a few decades back. Uncertainties...
by Jacques Sakarovitch
Language: English
Release Date: October 1, 2009
Language: English
Release Date: October 1, 2009
Automata theory lies at the foundation of computer science, and is vital to a theoretical understanding of how computers work and what constitutes formal methods. This treatise gives a rigorous account of the topic and illuminates its real meaning by looking at the subject in a variety of ways. The...
by W.D. Wallis
Language: English
Release Date: October 8, 2011
Language: English
Release Date: October 8, 2011
Wallis's book on discrete mathematics is a resource for an introductory course in a subject fundamental to both mathematics and computer science, a course that is expected not only to cover certain specific topics but also to introduce students to important modes of thought specific to each discipline...
A Cp-Theory Problem Book
Special Features of Function Spaces
Language: English
Release Date: June 24, 2014
This work is a continuation of the first volume published by Springer in 2011, entitled "A Cp-Theory Problem Book: Topological and Function Spaces." The first volume provided an introduction from scratch to Cp-theory and general topology, preparing the reader for a professional understanding...