Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Базы данных

Електронний каталог ЖОУНБ ім. О. Ольжича- результаты поиска

Вид поиска

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>K=исчисление предикатов<.>

Общее количество найденных документов : 5
Показаны документы с 1 по 5

007:004.8
Э 51

Элти, Джим.
Экспертные системы: концепции и примеры [] = Expert systems: concepts and examples / Дж. Элти, М. Кумбс ; пер. с англ. Б. И. Шитикова. - М. : Финансы и статистика, 1987. - 191 с. : рис. - Лит.: с. 184-187. - 0.65 р.

УДК

007:004.8

ББК 32.816
Рубрики: Експертні системи--Класифікація--Наукові видання

фывфывфыв:
управляющие структуры -- керуючі структури -- исчисление предикатов -- обчислення предикатів -- язык программирования Лисп -- мова програмування Лісп -- семантические сети -- семантичні мережі -- геологические модели -- геологічні моделі -- правила продукций -- правила продукцій -- продукционные системы -- продукційні системи -- задачи управления -- задачі керування -- стратегия диагностирования -- стратегія діагностування
Аннотация: Методологические основы построения и классификация экспертных систем.

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Кумбс, Майк; Шитиков, Б. И. \пер.\
Экземпляры всего: 1
ВВ (1)
Свободны: ВВ (1)
Найти похожие

007
П 62

Поспелов, Дмитрий Александрович.
Моделирование рассуждений. Опыт анализа мыслительных актов [] / Д. А. Поспелов. - М. : Радио и связь, 1989. - 184 с. : рис., табл. - Лит.: с. 179-183. - ISBN 5-256-00183-3 : 0.60 р.

УДК

007

ББК 32.813
Рубрики: Штучний інтелект--Кібернетичні моделі--Популярні видання

фывфывфыв:
формальные рассуждения -- формальні міркування -- человеческие рассуждения -- людські міркування -- силлогистика Аристотеля -- силогістика Арістотеля -- моделирование силлогистики -- моделювання силогістики -- исчисление высказываний -- обчислення висловлювань -- исчисление предикатов -- обчислення предикатів -- нечеткая силлогистика -- нечітка силогістика -- интеллектуальная система -- інтелектуальна система -- семантическая сеть -- семантична мережа -- управление выводами -- управління висновками -- продукционные системы -- продукційні системи -- герменевтика -- забытые науки -- забуті науки
Аннотация: Описываются дедуктивные, индуктивные и правдоподобные модели, учитывающие особенности человеческих рассуждений.

Держатели документа:
ЖОУНБ ім. О. Ольжича
Экземпляры всего: 2
ВВ (1), ФОНД (1)
Свободны: ВВ (1), ФОНД (1)
Найти похожие

510.6
Н73

Новиков, Петр Сергеевич.
Элементы математической логики [] / П. С. Новиков. - 2-е изд., испр. . - М. : Наука, Гл. ред. физ.-мат. лит., 1973. - 400 с. - (Математическая логика и основания математики). - Предм. указ.: с. 397-399. - 1.43 р.

УДК

510.6

ББК 22.122
Рубрики: Математична логіка--Навчальні видання

фывфывфыв:
логічні операції -- логические операции -- алгебра висловлювань -- алгебра высказываний -- числення висловів -- исчисление высказываний -- теорема дедукции -- еквівалентні формули -- эквивалентные формулы -- логіка предикатів -- логика предикатов -- обчислення предикатів -- исчисление предикатов -- аксіоматична арифметика -- аксиоматическая арифметика -- теорія доказів -- теория доказательств
Аннотация: Изложены основы математической логики, рассмотрены методы теории доказательств, посредством которых решаются вопросы математической логики.

Держатели документа:
ЖОУНБ ім. О. Ольжича
Экземпляры всего: 2
ЧЗ (1), ФОНД (1)
Свободны: ЧЗ (1), ФОНД (1)
Найти похожие

510.6
М50

Мендельсон, Элиот.
Введение в математическую логику [] = Introduktion to mathematical logic / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 2-е изд., испр. - М. : Наука, Гл. ред. физ.-мат. лит., 1976. - 320 с. : рис. - Лит.: с. 296-309. - Алф. указ.: с. 310-317. - 1.65 р.

УДК

510.6

ББК 22.122
Рубрики: Математична логіка--Наукові видання

фывфывфыв:
тавтологія -- тавтология -- система аксіом -- система аксиом -- докази -- доказательства -- арифметичні функції -- арифметические функции -- теорема Геделя -- теорема Тарського -- теорема Тарского -- теорема Хартогса -- алгорифми Маркова -- алгорифмы Маркова -- алгорифми Тьюринга -- алгорифмы Тьюринга -- обчислення предикатів -- исчисление предикатов -- логіка висловлювань -- логика высказываний -- формальна арифметика -- формальная арифметика -- теорія алгоритмів -- теория алгоритмов
Аннотация: Изложены основные понятия математической логики: логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов и др.

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Кабаков, Ф. А. \пер.\; Адян, С. И. \ред.\
Экземпляры всего: 2
ЧЗ (1), ФОНД (1)
Свободны: ЧЗ (1), ФОНД (1)
Найти похожие

510.6(075.8)
Е80

Ершов, Юрий Леонидович.
Математическая логика [] : учеб. пособие для студентов мат. специальностей высш. учеб. заведений / Ю. Л. Ершов, Е. А. Палютин ; [ред. В. В. Донченко]. - 2-е изд., испр. и доп. - М. : Наука, Гл. ред. физ.-мат. лит., 1987. - 236 с. - Предм. указ.: с. 335-336. - 0.95 р.

УДК

510.6(075.8)

ББК 22.122я73
Рубрики: Математична логіка--Навчальні видання для вищої школи

фывфывфыв:
исчисление высказываний -- числення висловів -- теория множеств -- теорія множин -- исчисление предикатов -- числення предикатів -- теория моделей -- теорія моделей -- теория доказательств -- теорія доказів -- алгоритмы -- алгоритми -- рекурсивные функции -- рекурсивні функкції
Аннотация: В книге изложены основные классические исчисления математической логики.

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Палютин, Евгений Андреевич; Донченко, В. В. \ред.\
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)