Search for Topics All Reviews
	Browse All Reviews > Theory Of Computation (F) > Mathematical Logic And Formal Languages (F.4) > General (F.4.0)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     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 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy