Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Theory Of Computation (F) > Mathematical Logic And Formal Languages (F.4) > General (F.4.0)  
  1-10 of 10 Reviews about "General (F.4.0)": Date Reviewed
  Mathematical structures of natural intelligence
Neuman Y., Springer International Publishing, New York, NY, 2017. 173 pp.  Type: Book (978-3-319682-45-7)

The author of this enthusiastically written book does not promote fashionable buzzwords; furthermore, he clearly distinguishes natural intelligence from artificial intelligence (AI). He emphasizes that “our world should be co...

Sep 10 2019
  Safety and liveness, weakness and strength, and the underlying topological relations
Eisner C., Fisman D., Havlicek J. ACM Transactions on Computational Logic 15(2): 1-44, 2014.  Type: Article

Many temporal logics include weak and strong versions of operators: a strong one guarantees that a property eventually holds while a weak one does not. This paper characterizes which operators form a weak/strong pair, making precise th...

Sep 5 2014
  Elementary logic: for software development
Lover R., Springer Publishing Company, Incorporated, 2008. 314 pp.  Type: Book

The study of logic, once considered one of the pillars of education, has for some time been relegated to special niches in philosophy, mathematics, or computer science. Logic is often offered as an elective or taught only as it relates...

Apr 16 2009
  Logic programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science 4079)
Etalle S., Truszczynski M., Springer-Verlag New York, Inc., Secaucus, NJ, 2007. 474 pp.  Type: Book (9783540366355)

For quite a few years now, logic programming has given the impression of a solution looking for an answer. There is something of this in this conference proceedings volume. There are a fair number of contributions from people who have ...

Oct 16 2007
  Dyadic mathematics: abstractions from logical thought
Wille R. In Galois connections and applications. Norwell, MA: Kluwer Academic Publishers, 2004.  Type: Book Chapter

Wille defines dyadic mathematics as “a human-oriented development of mathematics based on the conviction that the aim of mathematics finally lies in the support of thought and action of human beings.” So much for co...

Sep 22 2004
  Mathematical logic for computer science
Ben-Ari M., Springer-Verlag New York, Inc., Secaucus, NJ, 2001. 304 pp.  Type: Book (9781852333195)

This is a rewritten version of a book first published in 1993. It is intended for undergraduate computer science students, using an approach that the author promises as broad, elementary and rigorous....

Jan 1 2002
  Mathematical logic for computer science
Ben-Ari M., Prentice-Hall, Inc., Upper Saddle River, NJ, 1993.  Type: Book (9780135641392)

It is becoming increasingly clear that mathematical logic should be introduced at an early stage of the undergraduate computer science curriculum. This book is intended as a textbook for the first undergraduate course in mathematical l...

Aug 1 1994
Moore G. (ed) Type: Article

In this historical paper intended for non-logicians, the author focuses on the major contributions of Thoralf Skolem, who established first-order logic as the basis of mathematics. The author first outlines the history of mathematical ...

Feb 1 1989
  The liar; an essay in truth and circularity
Barwise J. (ed), Etchemendy J., Oxford University Press, Inc., New York, NY, 1987.  Type: Book (9780195050721)

The appearance of this small, attractive book with a picture of Valentin de Boulogne’s Die Falschspieler on the dust jacket may suggest some form of intellectual recreation. And indeed, the book is very entertaining, a...

May 1 1988
  A first course in computability
Rayward-Smith V., Blackwell Scientific Publications, Ltd., Oxford, UK, 1986.  Type: Book (9789780632013074)

This book is announced as being the first book in computability theory written at an undergraduate level. It contains an Introduction and six chapters....

Mar 1 1987
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy