Logic And Language Models For Computer Science (Third Edition)

Richards, Dana; Hamburger, Henry

ISBN 10: 9813230509 ISBN 13: 9789813230507

Editorial: World Scientific Publishing Co Pte Ltd, 2017

Idioma: Ingl�s

Condici�n: Nuevo Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Rarewaves.com UK, London, Reino Unido

Vendedor de AbeBooks desde 11 de junio de 2025

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 66,53 Convertir moneda

EUR 2,29 gastos de env�o desde Reino Unido a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 9 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

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 LU-9789813230507

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: 9813230509
ISBN 13: 9789813230507
Encuadernaci�n: Paperback
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

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

RAREWAVES.COM LIMITED
Elsley Court, 20-22 Great Titchfield Street, London, W1W 8BE, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

Condiciones de env�o

Please note that we do not offer Priority shipping to any country.

We currently do not ship to the below countries:

Russia
Belarus
Ukraine
Israel

Please do not attempt to place orders with any of these countries as a ship to address - they will be cancelled.

M�todos de pago

A�adir una petici�n