Logic And Language Models For Computer Science

Contact
Newsletter

Newsletter Sign in for news and special offers information. Data Administrator: ABE-IPS Sp. z o.o.

Choose interesting categories

I have read and agree to Privacy Policy and Newsletter Terms
I agree to receive promotional electronic communication(s).
Unsubscribe
Institutional Clients
Delivery
About us

Logic And Language Models For Computer Science

Authors	Dana Richards Henry Hamburger
Publisher	World Scientific Publishing
Year	08/09/2017
Edition	Third
Version	eBook: Reflowable eTextbook (ePub)
Language	English
ISBN	9789813229228
Categories	Computational linguistics, Computing & information technology, Computer games design

Add to bookshelf

Book description

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.

Logic And Language Models For Computer Science

Bookstore

Logic And Language Models For Computer Science

Book description

We also recommend books

Corpus Linguistics Beyond the Word: Corpus..

Language, People, Numbers: Corpus..

New Immunology Research Developments

Computational Linguistic Text Processing:..

Corpus-linguistic applications: Current..