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

Про нас

Електронний депозитарій 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)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 007/П 62
Автор(ы) : Поспелов, Дмитрий Александрович
Заглавие : Моделирование рассуждений. Опыт анализа мыслительных актов
Выходные данные : М.: Радио и связь, 1989
Колич.характеристики :184 с.: рис., табл.
Примечания : Лит.: с. 179-183
ISBN, Цена 5-256-00183-3: 0.60 р.
УДК : 007
ББК : 32.813
Предметные рубрики: Штучний інтелект-- Кібернетичні моделі
Географич. рубрики:
Аннотация: Описываются дедуктивные, индуктивные и правдоподобные модели, учитывающие особенности человеческих рассуждений.
Экземпляры : всего : ВВ(1), ФОНД(1)
Свободны : ВВ(1), ФОНД(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 510.6/Н73
Автор(ы) : Новиков, Петр Сергеевич
Заглавие : Элементы математической логики . -2-е изд., испр.
Выходные данные : М.: Наука, Гл. ред. физ.-мат. лит., 1973
Колич.характеристики :400 с
Серия: Математическая логика и основания математики
Примечания : Предм. указ.: с. 397-399
Цена : 1.43 р.
УДК : 510.6
ББК : 22.122
Предметные рубрики: Математична логіка
Географич. рубрики:
Аннотация: Изложены основы математической логики, рассмотрены методы теории доказательств, посредством которых решаются вопросы математической логики.
Экземпляры : всего : ЧЗ(1), ФОНД(1)
Свободны : ЧЗ(1), ФОНД(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 510.6/М50
Автор(ы) : Мендельсон, Элиот
Заглавие : Введение в математическую логику . -2-е изд., испр.
Параллельн. заглавия :Introduktion to mathematical logic
Выходные данные : М.: Наука, Гл. ред. физ.-мат. лит., 1976
Колич.характеристики :320 с.: рис.
Примечания : Лит.: с. 296-309. - Алф. указ.: с. 310-317
Цена : 1.65 р.
УДК : 510.6
ББК : 22.122
Предметные рубрики: Математична логіка
Географич. рубрики:
Аннотация: Изложены основные понятия математической логики: логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов и др.
Экземпляры : всего : ЧЗ(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)
Найти похожие

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