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

5-02-032859-6

Главная  » Научно-техническая литература » Информационные технологии. Компьютеры » Основы информационных технологий » Информатика » Логика и компьютер. Выпуск 5. Пусть докажет компьютер

Логика и компьютер. Выпуск 5. Пусть докажет компьютер


серия: Информатика: неограниченные возможности и возможные ограничения
Наука, 2004 г., 208 стр., 5-02-032859-6


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

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

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





Последние поступления в рубрике "Информатика"



Наука о данных. Базовый курс Наука о данных. Базовый курс Келлехер Д.

Сегодня наука о данных используется практически во всех сферах: вы видите подобранные специально для вас рекламные объявления, рекомендованные на основе ваших предпочтений фильмы и книги, ссылки на предполагаемых друзей в соцсетях, отфильтрованные......

Теория конфликтов и игр Теория конфликтов и игр Смольяков Э.Р.

Предлагаемая монография представляет собой введение в совершенно новую научную дисциплину - теорию конфликтных равновесий, которая со временем найдет естественные приложения в любых областях человеческой деятельности -......

Homo Roboticus? Люди и машины в поисках взаимопонимания Homo Roboticus? Люди и машины в поисках взаимопонимания Маркофф Д.

Хотим мы этого или нет, но скоро нам придется сосуществовать с автономными машинами. Уже сейчас мы тратим заметную часть времени на взаимодействие с механическими подобиями людей в видеоиграх или в виртуальных системах - от FAQbots до Siri. Кем они......

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Логика и компьютер. Выпуск 5. Пусть докажет компьютер в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.