This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes.

N� de ref. del art�culo 0076663

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Logic And Language Models For Computer Science (Third Edition)
Editor: World Scientific Publishing Co Pte Ltd
Fecha de publicaci�n: 2017
Idioma: Ingl�s
ISBN 10: 9813229209
ISBN 13: 9789813229204
Encuadernaci�n: Hardback
Edici�n: 3� Edici�n
Estado: New

Acerca de

Sinopsis

This text presents the formal concepts underlying Computer Science.

It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.

The treatment of computability with Automata and Formal Languages stands out in several ways:

it emphasizes the algorithmic nature of the proofs and the reliance on simulations;
it stresses the centrality of nondeterminism in generative models and the relationship to deterministic recognition models

The style is appropriate for both undergraduate and graduate classes.

Acerca del autor

Charlotte y Peter Fiell son dos autoridades en historia, teor�a y cr�tica del dise�o y han escrito m�s de sesenta libros sobre la materia, muchos de los cuales se han convertido en �xitos de ventas. Tambi�n han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Dise�o del siglo XX, El dise�o industrial de la A a la Z, Scandinavian Design y Dise�o del siglo XXI.

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

Descripci�n de la librer�a

Oxfordshire UK booksellers of many years standing.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Bill & Ben Books ltd
Manor Cottage, Great Coxwell, Faringdon, SN7 7NB, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

Bill & Ben Books Ltd

All books are shipped in New or Used condition as described in the listing. We post promptly, orders usually ship within 1-2 business days. We are happy to accept returns up to 30 days from purchase. Domestic Shipments are sent by Royal Mail, and International by Airmail. Please contact us directly if you wish to return an order. Name of business :

Condiciones de env�o

Orders usually ship within 1-2 business days. Domestic Shipments are sent by Royal Mail, and International by Airmail. We are happy to accept returns upto 30 days from purchase. Please contact us directly if you wish to return an order

Informaci�n detallada sobre el vendedor