Информация о книге

0121703509

Главная  » Научно-техническая литература » Информационные технологии. Компьютеры » Основы информационных технологий » Научно-популярная литература » Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)

Chang C., Lee R., Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)

, 0121703509


Описание книги

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.

Поделиться ссылкой на книгу




Об авторе

Chang C.

Lee R.


Последние поступления в рубрике "Научно-популярная литература "



Искусственный интеллект. От компьютеров к киборгам Искусственный интеллект. От компьютеров к киборгам Волков А.М.

Искусственный интеллект или искусный интеллектуал? Какое будущее ждет человека с учетом бурно развивающейся цифровой революции? Сможем ли мы соединить живую материю и цифровые, электронные технологии? Список вопросов всё растет, а ответы пока только......

Очерки истории кибернетики в СССР. Выпуск №31 Очерки истории кибернетики в СССР. Выпуск №31 Пихорович В.

Книга посвящена истории проекта, который специалисты сравнивали по значимости с космическим и атомным. Речь идет о проблеме использования информационных технологий в управлении экономикой, создания общегосударственной автоматизированной системы......

Очерки истории кибернетики в СССР. Выпуск №31 Очерки истории кибернетики в СССР. Выпуск №31 Пихорович В.

Книга посвящена истории проекта, который специалисты сравнивали по значимости с космическим и атомным. Речь идет о проблеме использования информационных технологий в управлении экономикой, создания общегосударственной автоматизированной системы......

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Chang C., Lee R., Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics) в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.