Articles liés à Logic and Language Models for Computer Science
Présentation de l'éditeur
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.
- ÉditeurWorld Scientific Publishing Co Pte Ltd
- Date d'édition2017
- ISBN 10 9813229209
- ISBN 13 9789813229204
- ReliureRelié
- Langueanglais
- Numéro d'édition3
- Nombre de pages468
Acheter neuf
Afficher cet article
EUR 64,04
EUR 11,86 expédition depuis Royaume-Uni vers Etats-Unis
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Logic and Language Models for Computer Science
Image d'archives
LOGIC AND LANGUAGE MODELS FOR COMPUTER SCIENCE (THIRD EDITION)
Edité par
World Scientific Publishing Co Pte Ltd, 2017
ISBN 10 : 9813229209
ISBN 13 : 9789813229204
Ancien ou d'occasion
Couverture rigide
Vendeur : Textbooks_Source, Columbia, MO, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Good. 3rd Edition. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). N° de réf. du vendeur 008882290U
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Logic and Language Models for Computer Science
Edité par
World Scientific Publishing Co Pte Ltd, 2017
ISBN 10 : 9813229209
ISBN 13 : 9789813229204
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. N° de réf. du vendeur 30108422-5
Quantité disponible : 1 disponible(s)
Image d'archives
LOGIC AND LANGUAGE MODELS FOR COMPUTER SCIENCE (THIRD EDITION)
Edité par
World Scientific Publishing Co Pte Ltd, 2017
ISBN 10 : 9813229209
ISBN 13 : 9789813229204
Neuf
Couverture rigide
Vendeur : Bill & Ben Books, Faringdon, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
N° de réf. du vendeur BILLBEN0076663
Quantité disponible : 1 disponible(s)
Image d'archives
Logic And Language Models For Computer Science
Edité par
World Scientific Publishing Co Pte Ltd, 2017
ISBN 10 : 9813229209
ISBN 13 : 9789813229204
Neuf
Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 340. N° de réf. du vendeur 26375414810
Quantité disponible : 1 disponible(s)
Image d'archives
Logic And Language Models For Computer Science
Edité par
World Scientific Publishing Co Pte Ltd, 2017
ISBN 10 : 9813229209
ISBN 13 : 9789813229204
Neuf
Couverture rigide
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 340. N° de réf. du vendeur 370663365
Quantité disponible : 1 disponible(s)
Image d'archives
Logic And Language Models For Computer Science
Edité par
World Scientific Publishing Co Pte Ltd, 2017
ISBN 10 : 9813229209
ISBN 13 : 9789813229204
Neuf
Couverture rigide
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 340. N° de réf. du vendeur 18375414800
Quantité disponible : 1 disponible(s)
Image d'archives
LOGIC AND LANGUAGE MODELS FOR COMPUTER SCIENCE (THIRD EDITION)
Edité par
World Scientific Publishing Co Pte Ltd, 2017
ISBN 10 : 9813229209
ISBN 13 : 9789813229204
Neuf
Couverture rigide
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Apr0412070096165
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logic and Language Models for Computer Science
Edité par
World Scientific Publishing Co Pte Ltd, 2017
ISBN 10 : 9813229209
ISBN 13 : 9789813229204
Neuf
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 30108422-n
Quantité disponible : 11 disponible(s)
Image d'archives
LOGIC AND LANGUAGE MODELS FOR COMPUTER SCIENCE (THIRD EDITION)
Edité par
World Scientific Publishing Co Pte Ltd, 2017
ISBN 10 : 9813229209
ISBN 13 : 9789813229204
Neuf
Couverture rigide
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9789813229204
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic and Language Models for Computer Science (Third Edition)
Edité par
World Scientific Publishing Company, 2017
ISBN 10 : 9813229209
ISBN 13 : 9789813229204
Neuf
Couverture rigide
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur CW-9789813229204
Quantité disponible : 15 disponible(s)