Logic: Logic and Computer Science v. 2: Mathematics, Language, Computer Science and Philosophy

by

Write The First Customer Review

In Logic Programming (x 25 and 26) the language of logic is used as a declarative programming language. Prolog uses resolution as its underlying proof mechanism. The logical structure of relational databases is explained (x 27) in set theoretical terms and it is shown how the language of set theory can be used as a Structured Query Language (SQL). Computability, Undecidability and Complexity are treated in sections 28, 29, and 30, respectively, in terms of Turing machines. The undecidability of the validity problem for ...

Logic: Logic and Computer Science v. 2: Mathematics, Language, Computer Science and Philosophy 1994, Peter Lang GmbH, Frankfurt am Main

ISBN-13: 9783631454350

Paperback

Select