This item is printed on demand - Print on Demand Titel. Neuware -In Logic Programming ( 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 ( 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 predicate logic and the NP-completeness of the satisfiability problem for propositional logic are shown in a similiar way. Chomsky's notion of grammar and its relation to the notion of automation is presented in section 31. Both untyped and typed lambda calculus are treated in sections 32 and 33, respectively. The role epistemic logic can play in the description of distributed systems is explained ( 34). In section 35 and 36, temporal logic is used both for verification by hand and for automatic verification. A tableaux-based automated theorem prover for classical logic is elaborated in the Appendix. Each section ends with a number of exercises; the answers can be found at the end of this book.Lang, Peter GmbH, Gontardstra�e 11, 10178 Berlin 352 pp. Englisch.

N� de ref. del art�culo 9783631454350

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Logic: Mathematics, Language, Computer Science and Philosophy

Editor

Peter Lang, Peter Lang Mai 1994

Fecha de publicaci�n

1994

Idioma

Ingl�s

ISBN 10

363145435X

ISBN 13

9783631454350

Encuadernaci�n

Taschenbuch

Estado

Neu

Cat�logos de vendedores

Acerca de

Sinopsis

In Logic Programming (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 (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 predicate logic and the NP-completeness of the satisfiability problem for propositional logic are shown in a similiar way. Chomsky's notion of grammar and its relation to the notion of automation is presented in section 31. Both untyped and typed lambda calculus are treated in sections 32 and 33, respectively. The role epistemic logic can play in the description of distributed systems is explained (34). In section 35 and 36, temporal logic is used both for verification by hand and for automatic verification. A tableaux-based automated theorem prover for classical logic is elaborated in the Appendix. Each section ends with a number of exercises ; the answers can be found at the end of this book.

Acerca del autor

The Author: H.C.M. de Swart, born in 1944, studied Mathematics and Physics at Nijmegen University. His Ph.D. thesis was on intuitionistic Logic (1976). He spent the academic year 1976/1977 as a Visiting Fellow at Princeton University. His appointment as professor in Logic and Philosophy of language at Tilburg University followed in 1980. He is author or co-author of several books in Dutch: Sets (1975), Symbolic Logic (1976), Philosophy of Mathematics (1989) and The Theory of Social Choice (1992). He has published in several international journals on, among other subjets, intuitionism, tableaux and orderings.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Impressum Thorsten Retsch Buchversand Mimpf2000 Ober�lschnitz 16 95517 Emtmannsberg Deutschland Telefon: 09209-2023188 Email: mimpf2000@online.de USt-ID-Nr.: DE 235096871 Wir f�hren gebrauchte B�cher aus allen Sparten der Literatur

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

buchversandmimpf2000
Germany

Condiciones de venta y env�o

Condiciones de venta

Widerrufsbelehrung/ Muster-Widerrufsformular/
Allgemeine Gesch�ftsbedingungen und Kundeninformationen/ Datenschutzerkl�rung

Widerrufsrecht f�r Verbraucher
(Verbraucher ist jede nat�rliche Person, die ein Rechtsgesch�ft zu Zwecken abschlie�t, die �berwiegend weder ihrer gewerblichen noch ihrer selbstst�ndigen beruflichen T�tigkeit zugerechnet werden k�nnen.)

Widerrufsbelehrung

Widerrufsrecht
Sie haben das Recht, binnen 14 Tagen ohne Angabe von Gr�nden diesen Vertrag zu widerrufen.
Die Widerrufsfr...

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

Soweit in der Artikelbeschreibung keine andere Frist angegeben ist, erfolgt die Lieferung der Ware innerhalb von 3-5 Werktagen nach Vertragsschluss, bei Vorauszahlung erst nach Eingang des vollst�ndigen Kaufpreises und der Versandkosten. Alle Preise inkl. MwSt.

Tarifas de env�o de Alemania a Espa�a

Tarifas de env�o de Alemania a Espa�a
Cantidad del pedido	De 10 a 20 d�as h�biles	De 10 a 20 d�as h�biles
Primer art�culo	EUR 35.00	EUR 35.00

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.

Informaci�n detallada sobre el vendedor