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
110 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 (9783319682457)
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): 144, 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 1720, 2006, Proceedings (Lecture Notes in Computer Science 4079)
Etalle S., Truszczynski M., SpringerVerlag 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 humanoriented 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
BenAri M., SpringerVerlag 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
BenAri M., PrenticeHall, 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 nonlogicians, the author focuses on the major contributions of Thoralf Skolem, who established firstorder 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
RaywardSmith 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
5
10
15
25
50
100
per page
Reproduction in whole or in part without permission is prohibited. Copyright 19992023 ThinkLoud
^{®}
Terms of Use

Privacy Policy