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

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

Detalles Bibliográficos
Autor Corporativo:	Российская академия наук
Summary:	Книга посвящена рассмотрению проблемы автоматического поиска теорем для классической и интуиционистской логик. В ней предлагаются построенные авторами алгоритмы поиска доказательства для натуральных исчислений классической и интуиционистской логик высказываний, а также для натурального первопорядкового исчисления предикатов. Относительно этих алгоритмов доказываются метатеоремы об их непротиворечивости и полноте. Для логиков, специалистов, занимающихся проблемами искусственного интеллекта.
Idioma:	ruso
Publicado:	Москва, Наука, 2004
Series:	Информатика: неограниченные возможности и возможные ограничения
Subjects:	Вычислительный интеллект Логика история интеллектуальные системы классическая логика предикаты вывод автоматизация поиск интуиционистская логика теоремы генерирование алгоритмы
Formato:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=344298

Títulos similares

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

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

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

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

Логика: учебник
por: Иванов Е. А. Евгений Акимович
Publicado: (Москва, Бек, 1998)

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

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

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

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

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

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

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

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

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

Логика: Систематический курс
por: Курбатов В. И. Владимир Иванович
Publicado: (Ростов-на-Дону, Феникс, 2001)

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

Система логики силлогистической и индуктивной: Изложение принципов доказательства в связи с методами научного исследования: пер. с анлг.; Кн. I. Имена и предложения; Кн. II. Умозаключение; Кн. III. Индукция; Кн. IV. Вспомогательные для индукции процессы; Кн. V. Заблуждения; Кн. VI. Логика нравственных наук
por: Милль Дж. С. Джон Стюарт
Publicado: (Москва, Издание магазина "Книжное дело", 1900)

Вып. 2; Логические исследования
Publicado: (1993)

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

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

№ 263 : Вопросы логики: [сборник статей]; Ученые записки [Ленинградского государственного университета]
Publicado: (1959)

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

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

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

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

Вып. 5; Логические исследования
Publicado: (1998)

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

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

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

Логика-I. Парадоксология: Пособие для учащихся старших классов лицеев, колледжей и гимназий
por: Казаков А. Н. Алексей Николаевич
Publicado: (Москва, Аспект Пресс, 1994)

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

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

Вып. 3; Логические исследования
Publicado: (1995)

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

Логика: учебник для вузов
por: Иванов Е. А. Евгений Акимович
Publicado: (Москва, Бек, 2001)

Практические вопросы логики
por: Кузина Е. Б. Елена Борисовна
Publicado: (Москва, Изд-во МГУ, 1992)

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

№ 285 : Вопросы логики: [сборник статей]; Ученые записки [Ленинградского государственного университета]
Publicado: (1960)

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

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