- Добавил: bhaer
- Дата: 25-09-2017, 14:14
- Комментариев: 0

Название: Logic and Language Models for Computer Science, 3rd Edition
Автор: Dana Richards, Henry Hamburger
Издательство: World Scientific Publishing
Год: 2017
Страниц: 468
Формат: PDF, EPUB, AZW3
Размер: 22 Mb
Язык: English
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.