Logic: Mathematics, Language, Computer Science and Philosophy | Vol. II Logic and Computer Science

H. C. M. de Swart

ISBN 10: 363145435X ISBN 13: 9783631454350

Editorial: Peter Lang, 1994

Idioma: Ingl�s

Condici�n: Nuevo Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por preigu, Osnabr�ck, Alemania

Vendedor de AbeBooks desde 5 de agosto de 2024

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa blanda

Condici�n: Nuevo

Precio: EUR 78,95 Convertir moneda

EUR 55,00 gastos de env�o desde Alemania a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 5 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

N� de ref. del art�culo 133565985

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Logic: Mathematics, Language, Computer Science and Philosophy | Vol. II Logic and Computer Science

Editor

Peter Lang

Fecha de publicaci�n

1994

Idioma

Ingl�s

ISBN 10

363145435X

ISBN 13

9783631454350

Encuadernaci�n

Taschenbuch

Estado

Neu

Cat�logos de vendedores

B�cher

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

preigu betreibt einen Onlineversandhandel mit �ber 1 Mio. Produkten in verschiedenen Sortimenten. Das Kernsortiment besteht aus B�chern, Medien und Spielwaren. Ein gelungenes Einkaufserlebnis ist das Ziel einer jeden Bestellung bei preigu, denn der Kunde und seine Zufriedenheit stehen an erster Stelle. preigu setzt daher auf einen kompetenten Kundenservice, funktionierende Prozesse und schnelle Reaktion.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

preigu
Germany

Condiciones de venta y env�o

Condiciones de venta

Standard Business Terms and customer information / data protection declaration

I. Standard business terms

� 1 Basic provisions

(1) The following terms and conditions of business apply for all contracts concluded with us as the supplier (preigu GmbH & Co. KG) via the websites AbeBooks and/or ZVAB. Unless otherwise agreed, the inclusion of your own terms and conditions is explicitly rejected.

(2) A ?consumer' in the sense of the following regulations is every natural person who concludes a legal t...

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

Tarifas de env�o de Alemania a Espa�a

Tarifas de env�o de Alemania a Espa�a
Cantidad del pedido	De 60 a 60 d�as h�biles	De 60 a 60 d�as h�biles
Primer art�culo	EUR 55.00	EUR 55.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