Э 51 Элти, Джим. Экспертные системы: концепции и примеры [] = Expert systems: concepts and examples / Дж. Элти, М. Кумбс ; пер. с англ. Б. И. Шитикова. - М. : Финансы и статистика, 1987. - 191 с. : рис. - Лит.: с. 184-187. - 0.65 р.
Рубрики: Експертні системи--Класифікація--Наукові видання Кл.слова (ненормовані): управляющие структуры -- керуючі структури -- исчисление предикатов -- обчислення предикатів -- язык программирования Лисп -- мова програмування Лісп -- семантические сети -- семантичні мережі -- геологические модели -- геологічні моделі -- правила продукций -- правила продукцій -- продукционные системы -- продукційні системи -- задачи управления -- задачі керування -- стратегия диагностирования -- стратегія діагностування Анотація: Методологические основы построения и классификация экспертных систем. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Кумбс, Майк; Шитиков, Б. И. \пер.\ Примірників всього: 1 ВВ (1) Свободны: ВВ (1) |
Н73 Новиков, Петр Сергеевич. Элементы математической логики [] / П. С. Новиков. - 2-е изд., испр. . - М. : Наука, Гл. ред. физ.-мат. лит., 1973. - 400 с. - (Математическая логика и основания математики). - Предм. указ.: с. 397-399. - 1.43 р.
Рубрики: Математична логіка--Навчальні видання Кл.слова (ненормовані): логічні операції -- логические операции -- алгебра висловлювань -- алгебра высказываний -- числення висловів -- исчисление высказываний -- теорема дедукции -- еквівалентні формули -- эквивалентные формулы -- логіка предикатів -- логика предикатов -- обчислення предикатів -- исчисление предикатов -- аксіоматична арифметика -- аксиоматическая арифметика -- теорія доказів -- теория доказательств Анотація: Изложены основы математической логики, рассмотрены методы теории доказательств, посредством которых решаются вопросы математической логики. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
М50 Мендельсон, Элиот. Введение в математическую логику [] = Introduktion to mathematical logic / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 2-е изд., испр. - М. : Наука, Гл. ред. физ.-мат. лит., 1976. - 320 с. : рис. - Лит.: с. 296-309. - Алф. указ.: с. 310-317. - 1.65 р.
Рубрики: Математична логіка--Наукові видання Кл.слова (ненормовані): тавтологія -- тавтология -- система аксіом -- система аксиом -- докази -- доказательства -- арифметичні функції -- арифметические функции -- теорема Геделя -- теорема Тарського -- теорема Тарского -- теорема Хартогса -- алгорифми Маркова -- алгорифмы Маркова -- алгорифми Тьюринга -- алгорифмы Тьюринга -- обчислення предикатів -- исчисление предикатов -- логіка висловлювань -- логика высказываний -- формальна арифметика -- формальная арифметика -- теорія алгоритмів -- теория алгоритмов Анотація: Изложены основные понятия математической логики: логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов и др. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Кабаков, Ф. А. \пер.\; Адян, С. И. \ред.\ Примірників всього: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
Е80 Ершов, Юрий Леонидович. Математическая логика [] : учеб. пособие для студентов мат. специальностей высш. учеб. заведений / Ю. Л. Ершов, Е. А. Палютин ; [ред. В. В. Донченко]. - 2-е изд., испр. и доп. - М. : Наука, Гл. ред. физ.-мат. лит., 1987. - 236 с. - Предм. указ.: с. 335-336. - 0.95 р.
Рубрики: Математична логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): исчисление высказываний -- числення висловів -- теория множеств -- теорія множин -- исчисление предикатов -- числення предикатів -- теория моделей -- теорія моделей -- теория доказательств -- теорія доказів -- алгоритмы -- алгоритми -- рекурсивные функции -- рекурсивні функкції Анотація: В книге изложены основные классические исчисления математической логики. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Палютин, Евгений Андреевич; Донченко, В. В. \ред.\ Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |