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.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Schwabe Books, Inc. DBA Books From California
51 W. Easy St., Simi Valley, CA, 93065, U.S.A.

Conditions de vente :

Refunds Offered Within 10 days of order.

Greg Schwabe
Books From California
51 W. Easy St
Simi Valley, CA. 93065

Fax # 805-582-9513
For questions, please email at
abesales@booksfromca.com

Conditions de livraison :

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Modes de paiement
accept�s par le vendeur

Ajouter aux demandes de livres

Articles li�s � Logic And Language Models For Computer Science (Third...

Logic And Language Models For Computer Science (Third Edition)

Hamburger, Henry,Richards, Dana

Ancien(s) ou d'occasion - Couverture souple

Informations commerciales relatives au vendeur