Padawitz P. Deduction and Declarative Programming

формат djvu
размер 1.4 МБ
добавлен 31 января 2012 г.

Издательство Cambridge University Press, 1992, -285 pp.
This monograph promotes specification and programming on the basis of Ho logic with equality. As was pointed out in [Pad88a], this theoretical background equips us with a number of deductive methods for reasoning about specifications and designing correct programs. The term declarative programming stands for the combination of functional (or applicative) and relational (or logic) programming. This does not rule out the design of imperative programs with conditionals, loops and sequences of variable assignments, since all these features have functional or relational equivalents. In particular, variables become "output parameters" of functions. Hence the static view of declarative programming is not really a restriction. Only if correctness conditions conceed with liveness or synchronization are demanded, transition relations must be specified for fixing the dynamics of program execution (cf. Sect. 6.6).
Introduction.
Preliminaries.
Guards, Generators and Constructors.
Models and Correctness.
Computing Goal Solutions.
Inductive Expansion.
Directed Expansion and Reduction.
Implications of Ground Confluence.
Examples.
EXPANDER: Inductive Expansion in SML.

Похожие разделы

Смотрите также

Barwise J., Etchemendy J. Language, Proof and Logic

формат pdf
размер 3.72 МБ
добавлен 01 ноября 2011 г.

Издательство Seven Bridges Press, 1999, -597 pp. What do the fields of astronomy, economics, finance, law, mathematics, medicine, physics, and sociology have in common? Not much in the way of subject matter, that's for sure. And not all that much in the way of methodology. What they do have in common, with each other and with many other fields, is their dependence on a certain standard of rationality. In each of these fields, it is assumed that...

Bibel W. Deduction: Automated Logic

формат djvu
размер 2.01 МБ
добавлен 14 сентября 2011 г.

Academic Press, 1993. - 253 Pages. Deduction: Automated Logic presents the broad topic of automated deductive reasoning in a concise and comprehensive manner. This book features broad coverage of deductive methods on the level of propositional and first-order logic, the strategic aspects of automated deduction, the applications of deduction mechanisms to a range of different areas, and their realization in concrete systems. This book can be use...

Ebbinghaus H.-D., Flum J., Thomas W. Mathematical Logic

формат djvu
размер 1.99 МБ
добавлен 01 ноября 2011 г.

Издательство Springer, 1984, -113 pp. Some of the central questions of mathematical logic are: What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers, the most pleasing of which is given by G?del's completeness theorem: It is possible to exhibit (in the...

Hamburger H., Richards D. Logic and Language Models for Computer Science

формат pdf
размер 16.21 МБ
добавлен 25 декабря 2010 г.

Prentice Hall, 2002. - 341 Pages. This book invites the reader to explore abstractions that are crucial to computer science. The authors bring a sense of excitement to logics, formal languages and automata-motivating topics by linking them to computing and to computational applications, sometime with whole chapters. They achieve exceptional clarity through a plethora of examples and figures, yet without-losing sight of, and indeed celebrating, t...

Nienhuys-Cheng S.-H., de Wolf R. Foundations of Inductive Logic Programming

формат pdf
размер 8.28 МБ
добавлен 06 ноября 2011 г.

Издательство Springer, 1997, -248 pp. One of the most interesting recent developments within the field of automated deduction is inductive logic programming, an area that combines logic programming with machine learning. Within a short time this area has grown to an impressive field, rich in spectacular applications and full of techniques calling for new theoretical insights. This is the first book that provides a systematic introduction to the...

Paulson L.C. Logic and Computation. Interactive Proof with Cambridge LCF

формат djvu
размер 1.5 МБ
добавлен 06 февраля 2012 г.

Издательство Cambridge University Press, 1987, -316 pp. Growing numbers of computer scientists recognise the importance of formal methods of system design [48]. LCF and ML are often mentioned, seldom understood. There is a wide literature, as the bibliography attests. Gordon, Milner, and Wadsworth [41] describe Edinburgh LCF, with a few remarkable examples. The present book aims to make Cambridge LCF accessible to a wide audience. Serious stude...

Rautenberg W. A Concise Introduction to Mathematical Logic

формат pdf
размер 2.44 МБ
добавлен 11 декабря 2010 г.

Springer, 2006. - 260 pages. Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create a logistic foundation for mathematics. It steadily developed during the 20th century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguisti...