Search inside eBookDB

Author: Jörg Flum
Publisher: Amsterdam University Press
Keywords: perspectives, history, automata, logic
Number of Pages: 737
Published: 2008
ISBN-10: 9053565760
ISBN-13: 9789053565766

Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d’horizon of automata theory and logic. The twenty papers in this volume cover many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field. 

Author: Ulrich Geske
Publisher: Universitätsverlag Potsdam
Keywords: logic, programming, constraint, workshop, 23rd, proceedings
Number of Pages: 200
Published: 2010
ISBN-10: 3869560266
ISBN-13: 9783869560267

The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence and operations research. The 23rd WLP was held in Potsdam at September 15 16, 2009. The topics of the presentations of WLP2009 were grouped into the major areas: Databases, Answer Set Programming, Theory and Practice of Logic Programming as well as Constraints and Constraint Handling Rules.

Author: Johan Benthem
Publisher: Amsterdam University Press
Keywords: morgan, workshop, london, augustus, papers, logic, selected, interactive
Number of Pages: 363
Published: 2008-11-15
ISBN-10: 9053563563
ISBN-13: 9789053563564

Traditionally, logic has dealt with notions of truth and reasoning. In the past several decades, however, research focus in logic has shifted to the vast field of interactive logic—the domain of logics for both communication and interaction. The main applications of this move are logical approaches to games and social software; the wealth of these applications was the focus of the seventh Augustus de Morgan Workshop in November 2005. This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games—touching on research in logic, mathematic

Author: Avi Sion
Publisher: Avi Sion
Keywords: logic, talmudic, rabbinic, biblical, analysis, formal, judaic
Number of Pages: 326
Published: 1995
ISBN-10: 2970009110
ISBN-13: 9782970009115

Author: Chris Heunen
Publisher: Amsterdam University Press
Keywords: logics, models, quantum, categorical
Number of Pages: 214
Published: 2009-11-01
ISBN-10: 9085550246
ISBN-13: 9789085550242

This dissertation studies the logic behind quantum physics, using category theory as the principal tool and conceptual guide. To do so, principles of quantum mechanics are modeled categorically. These categorical quantum models are justified by an embedding into the category of Hilbert spaces, the traditional formalism of quantum physics. In particular, complex numbers emerge without having been prescribed explicitly. Interpreting logic in such categories results in orthomodular property lattices, and furthermore provides a natural setting to consider quantifiers. Finally, topos theory, incorp

Author: Jean H. Gallier
Publisher: Longman Higher Educatio
Keywords: computer, science, row, technology, series, harper, theorem, foundations, automatic, logic, proving
Number of Pages: 528
Published: 1986-01-01
ISBN-10: 0060422254
ISBN-13: 9780060422257

"Logic for Computer Science" provides an introduction to mathematical logic, with emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically. It is designed primarily for students, computer scientists, and, more generally, for mathematically inclined readers interested in the formalization of proofs and the foundations of automatic theorem proving. Since the main emphasis of the text is on the study of proof systems and algorithmic methods for constructing proofs, it contains features rarely found in other texts on logic. Four of these are: the use of Ge

Author: William Stanley Jevo
Publisher: Ludwig von Mises Institute
Keywords: logic, lessons, elementary
Number of Pages: 360
Published: 2010-04-09
ISBN-10: 1933550740
ISBN-13: 9781933550749

Henry Hazlitt strongly recommended this book for all students of the social sciences. It had a formative influence on his life. In fact, it is the book that taught him how to think. And not only Hazlitt. William Stanley Jevons’s book was the seminal contribution that education many generations of English and American scholars that crucial discipline of logic. It teaches the rules for thinking. Now, this was a subject that every student once had to take, and not in college but quite early in life, and certainly by high school. No more. Today, it is widely assumed that there is no structure of
(Page 1 of 15)    First  
   Next   Last  Go to Page:
No Books found.