Picture 1 of 1

Stock photo

LOGIC AND LANGUAGE MODELS FOR COMPUTER SCIENCE By Dana Richards & Henry VG - Picture 1 of 1

Logic and Language Models for Computer Science : 3rd Edition by Dana Richards (2017, Trade Paperback)

ZUBER (264815)

97.8% positive feedback

Price:

US $32.95

ApproximatelyPHP 1,851.16

+ $27.09 shipping

Estimated delivery Fri, 25 Jul - Fri, 15 Aug

Returns:

30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.

Condition:

Very Good

About this product

Product Identifiers

PublisherWorld Industries Scientific Publishing Co Pte LTD

ISBN-109813230509

ISBN-139789813230507

eBay Product ID (ePID)239907999

Product Key Features

Number of PagesXv, 451 Pages

LanguageEnglish

Publication NameLogic and Language Models for Computer Science : 3rd Edition

Publication Year2017

SubjectProgramming Languages / General, Intelligence (Ai) & Semantics, Natural Language Processing, Logic, Linguistics / General, Logic Design

TypeTextbook

Subject AreaPhilosophy, Computers, Language Arts & Disciplines

AuthorDana Richards

FormatTrade Paperback

Dimensions

Item Weight0 Oz

Additional Product Features

Intended AudienceTrade

Dewey Edition23

IllustratedYes

Dewey Decimal005.131

SynopsisThis 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, 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.

LC Classification NumberQA267.3.R53 2017