Search for Topics All Reviews
	Browse All Reviews > Theory Of Computation (F) > Logics And Meanings Of Programs (F.3) > General (F.3.0)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-10 of 12 Reviews about "General (F.3.0)": Date Reviewed   Mathematical logic: on numbers, sets, structures, and symmetry Kossak R., Springer International Publishing, New York, NY, 2018. 186 pp.  Type: Book (978-3-319972-97-8) The author states his goal in the preface: “to try to explain a certain approach to the theory of mathematical structures.” The book consists of two parts: the first part is about logic, sets, and numbers; and the s... Sep 11 2019   Ewa Orłowska on relational methods in logic and computer science Golińska-Pilarek J., Zawidzki M., Springer International Publishing, New York, NY, 2018. 502 pp.  Type: Book (978-3-319978-78-9) Today’s world seems to have little use for the grand traditions of yesteryear. All too often that means discarding the baby with the bathwater. In academia, a case in point is the festschrift. German for “festival o... Sep 3 2019   Logic functions and equations: binary models for computer science (2nd ed.) Posthoff C., Steinbach B., Springer International Publishing, New York, NY, 2019. 508 pp.  Type: Book (978-3-030024-19-2) Logic functions, commonly known as Boolean functions, arise in many areas of computer science and information technology. On a fundamental technological level, every digital circuit can be modeled as a Boolean function. Design, optimiz... Aug 6 2019   Fundamentals of error theory: applications in decision making Guo K., Liu S., Springer International Publishing, New York, NY, 2019. 336 pp.  Type: Book (978-3-030027-46-9) This book reports on error theory work in China. In the context of the book, an error is an outcome that is not in accord with a set of rules that specify the correctness of the system. Normally in a review of a book like this I would ... Apr 30 2019   Aggregation functions Grabisch M., Marichal J., Mesiar R., Pap E., Cambridge University Press, New York, NY, 2009. 478 pp.  Type: Book (9780521519267) Aggregation, the authors tell us, is the process of combining several numerical values to get a number that is, in some sense, representative of them all. Taking the arithmetic mean is a trivial example. We are all aware, of course, of... Mar 18 2010   Software blueprints Robertson D., Agustí J., ACM Press/Addison-Wesley Publ. Co., New York, NY, 1999.  Type: Book (9780201398199) Trying to support conceptual modeling (that is, the usually informal thinking that precludes actual problem solving) with formal uses of logic seems an apparent contradiction in terms. Yet this book shows, via numerous real-world examp... Jan 1 2000   The quotient of an abstract interpretation Cortesi A., Filé G., Winsborough W. Theoretical Computer Science 202(1-2): 163-192, 1998.  Type: Article The authors add to the understanding of the abstract interpretation of programs by introducing the concept of a quotient to compare abstract domains. This extends the earlier ideas that they introduced in a previous paper [1] as well a... Nov 1 1998   Deontic logic in computer science Meyer J., Wieringa R. (ed), John Wiley & Sons, Inc., New York, NY, 1994.  Type: Book (9780471937432) Most of the papers in this collection are from the First International Workshop on Deontic Logic in Computer Science, DEON91, held in Amsterdam in December 1991. The artificial intelligence (especially AI and law, and knowledge represe... Feb 1 1996   A practical theory of programming Hehner E., Springer-Verlag New York, Inc., New York, NY, 1993.  Type: Book (9780387941066) Hehner’s book is an introduction to programming methodology (rather than theory of programming) at an undergraduate level. It has no theorems, few formal definitions, many examples, and 372 exercises. The purpose of the book ... May 1 1994   Formal methods--mathematics, theory, recipes or what? Cooke J. The Computer Journal 35(5): 419-423, 1992.  Type: Article As indicated by the title, this paper is a discourse on  formal  methods, including comments about their value and use, an attempt to define the terminology, analogies with mathematics and cars, and speculation about ... Nov 1 1993       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2025 ThinkLoud® Terms of Use | Privacy Policy