Логика и компьютер

Логика и компьютер

Bibliografiske detaljer
Institution som forfatter:	Российская академия наук
Summary:	Книга посвящена рассмотрению проблемы автоматического поиска теорем для классической и интуиционистской логик. В ней предлагаются построенные авторами алгоритмы поиска доказательства для натуральных исчислений классической и интуиционистской логик высказываний, а также для натурального первопорядкового исчисления предикатов. Относительно этих алгоритмов доказываются метатеоремы об их непротиворечивости и полноте. Для логиков, специалистов, занимающихся проблемами искусственного интеллекта.
Sprog:	russisk
Udgivet:	Москва, Наука, 2004
Serier:	Информатика: неограниченные возможности и возможные ограничения
Fag:	история интеллектуальные системы классическая логика предикаты вывод автоматизация поиск интуиционистская логика теоремы генерирование алгоритмы
Format:	Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=344298

Lignende værker

Теория эволюционных вычислений
af: Курейчик В. В. Владимир Викторович
Udgivet: (Москва, Физматлит, 2012)

Логика учебное пособие для вузов
af: Панькова Н. М. Наталья Михайловна
Udgivet: (Томск, Изд-во ТПУ, 2009)

Логика. Экзаменационные ответы для студентов вузов учебное пособие
af: Светлов В. А. Виктор Александрович
Udgivet: (СПб., Питер, 2008)

Логика учебное пособие
af: Попов Ю. П. Юрий Петрович
Udgivet: (Москва, КноРус, 2015)

Логика и онтология
Udgivet: (Москва, Наука, 1978)

Логика учебник для бакалавров
af: Михайлов К. А. Кирилл Авенирович
Udgivet: (Москва, Юрайт, 2014)

Логика учебное пособие
af: Афанасьева О. В. Ольга Викторовна
Udgivet: (Москва, Проспект, 2011)

Логика и философия
af: Смирнова Е. Д.
Udgivet: (Москва, РОССПЭН, 1996)

Логика учебное пособие
af: Руденко А. М. Андрей Михайлович
Udgivet: (Ростов-на-Дону, Феникс, 2019)

Логика. Практикум учебное пособие для бакалавров
af: Михайлов К. А. Кирилл Авенирович
Udgivet: (Москва, Юрайт, 2012)

Дедуктивная и индуктивная логика
af: Минто У. Уильям
Udgivet: (Москва, Типография Т-ва И. Д. Сытина, 1898)

Логические теории временных контекстов (временная логика)
af: Ишмуратов А. Т. Анатолий Темиргалиевич
Udgivet: (Киев, Наукова думка, 1981)

Логика учебное пособие для вузов
af: Гетманова А. Д. Александра Денисовна
Udgivet: (Москва, Академический проект, 2009)

Логика учебное пособие
af: Хоменко Е. А. Ефим Алексеевич
Udgivet: (Москва, Воениздат, 1976)

Основы логики учебник
af: Бочаров В. А. Вячеслав Александрович
Udgivet: (Москва, Инфра-М, 2009)

Основы логики учебник
af: Бочаров В. А. Вячеслав Александрович
Udgivet: (Москва, Инфра-М, 1997)

Логика целевого управления
af: Ладенко И. С. Иосаф Семенович
Udgivet: (Новосибирск, Наука, 1988)

Логика учебное пособие
af: Строгович М. С.
Udgivet: ([Москва], Госполитиздат, 1949)

№ 263 : Вопросы логики [сборник статей]
Udgivet: (1959)

Элементарная логика
af: Зегет В. Вольфганг
Udgivet: (Москва, Высшая школа, 1985)

По законам логики
af: Ивин А. А. Александр Архипович
Udgivet: (Москва, Молодая гвардия, 1983)

Логика учебник
af: Гетманова А. Д. Александра Денисовна
Udgivet: (Москва, Омега-Л, 2009)

Логика учебник
af: Ивлев Ю. В. Юрий Васильевич
Udgivet: (Москва, Проспект, 2010)

Логический вывод
Udgivet: (Москва, Наука, 1979)

Система логики силлогистической и индуктивной: Изложение принципов доказательства в связи с методами научного исследования пер. с анлг.
af: Милль Дж. С. Джон Стюарт
Udgivet: (Москва, Издание магазина "Книжное дело", 1900)

Основания временной логики [монография]
af: Караваев Э. Ф. Эдуард Федорович
Udgivet: (Ленинград, Изд-во ЛГУ, 1983)

Логика учебник
af: Кириллов В. И. Вячеслав Иванович
Udgivet: (Москва, Проспект, 2021)

Логика учебное пособие
af: Светлов В. А. Виктор Александрович
Udgivet: (СПб., Лидер, 2011)

Прикладная логика
af: Попов С. В. Сергей Викторович
Udgivet: (Москва, Физматлит, 2011)

Вып. 3
Udgivet: (1995)

Логика учебник
af: Демидов И. В. Игорь Владимирович
Udgivet: (Москва, Дашков и К, 2013)

Логика, или Искусство мыслить, где помимо обычных правил содержатся некоторые новые соображения, полезные для развития способности суждения пер. с франц.
af: Арно А. Антуан
Udgivet: (Москва, Наука, 1991)

Логическая семантика и философские основания логики
af: Смирнова Е. Д. Елена Дмитриевна
Udgivet: (Москва, Изд-во МГУ, 1986)

№ 285 : Вопросы логики [сборник статей]
Udgivet: (1960)

Математическая логика и теория алгоритмов учебное пособие
af: Крупский В. Н. Владимир Николаевич
Udgivet: (Москва, Академия, 2013)

Логика и навыки критического мышления учебное пособие
af: Брылина И. В. Ирина Владимировна
Udgivet: (Томск, Изд-во ТПУ, 2020)

Логика и истина
af: Кудрин А. К. Альберт Константинович
Udgivet: (Москва, Политиздат, 1980)

Дедуктивная и индуктивная логика пер. с англ.
af: Минто У. Уильям
Udgivet: (Москва, Типография Т-ва И. Д. Сытина, 1896)

[Вып. 166]: Язык логики и логика языка сборник статей
Udgivet: (1990)

Сборник упражнений по логике учебное пособие
Udgivet: (Минск, Университетское, 1981)