Logic and Language Models for Computer Science, 3rd Edition » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Entrepreneurship: Theory, Process, Practice, 12th Edition Entrepreneurship: Theory, Process, Practice, 12th Edition Акупрессура. Лечение 250 болезней при помощи точечного массажа Акупрессура. Лечение 250 болезней при помощи точечного массажа AI Care City and Design AI Care City and Design Лечение заикания Лечение заикания Killing Shore: The True Story of Hitler's U-boats Off the New Jersey Coast Killing Shore: The True Story of Hitler's U-boats Off the New Jersey Coast Дневник американского солдата Дневник американского солдата Вовремя и в рамках бюджета: управление проектами по методу критической цепи (2019) Вовремя и в рамках бюджета: управление проектами по методу критической цепи (2019) Волновой принцип Эллиотта: Ключ к пониманию рынка (2019) Волновой принцип Эллиотта: Ключ к пониманию рынка (2019) Занимательная информатика (2017) Занимательная информатика (2017) Анатомия йоги (2009) Анатомия йоги (2009) Simple Object Oriented Design (MEAP v9) Simple Object Oriented Design (MEAP v9) Artificial Intelligence-Based System for Gaze-Based Communication Artificial Intelligence-Based System for Gaze-Based Communication Действие средств поражения и боеприпасов (2017) Действие средств поражения и боеприпасов (2017) Краткий физико-математический справочник (2005) Краткий физико-математический справочник (2005) Загадка крещения Руси Загадка крещения Руси Ядерные испытания в Арктике (в 2-х томах) Ядерные испытания в Арктике (в 2-х томах)
Entrepreneurship: Theory, Process, Practice, 12th Edition Entrepreneurship: Theory, Process, Practice, 12th Edition Акупрессура. Лечение 250 болезней при помощи точечного массажа Акупрессура. Лечение 250 болезней при помощи точечного массажа AI Care City and Design AI Care City and Design Лечение заикания Лечение заикания Killing Shore: The True Story of Hitler's U-boats Off the New Jersey Coast Killing Shore: The True Story of Hitler's U-boats Off the New Jersey Coast Дневник американского солдата Дневник американского солдата Вовремя и в рамках бюджета: управление проектами по методу критической цепи (2019) Вовремя и в рамках бюджета: управление проектами по методу критической цепи (2019) Волновой принцип Эллиотта: Ключ к пониманию рынка (2019) Волновой принцип Эллиотта: Ключ к пониманию рынка (2019) Занимательная информатика (2017) Занимательная информатика (2017) Анатомия йоги (2009) Анатомия йоги (2009) Simple Object Oriented Design (MEAP v9) Simple Object Oriented Design (MEAP v9) Artificial Intelligence-Based System for Gaze-Based Communication Artificial Intelligence-Based System for Gaze-Based Communication Действие средств поражения и боеприпасов (2017) Действие средств поражения и боеприпасов (2017) Краткий физико-математический справочник (2005) Краткий физико-математический справочник (2005) Загадка крещения Руси Загадка крещения Руси Ядерные испытания в Арктике (в 2-х томах) Ядерные испытания в Арктике (в 2-х томах)
Категория: КНИГИ » ПРОГРАММИРОВАНИЕ
Logic and Language Models for Computer Science, 3rd Edition
Добавил: bhaer / 25-09-2017, 14:14 /

Название: 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.

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.

Readership: Students and professionals interested in theoretical computation and language models for computer science.




[related-news]

Похожие публикации

    {related-news}
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!