Название библиотеки

Главная

Упрощенный режим

Описание

Базы данных

БД "Генеральный сводный каталог РНТБ и филиалов"- результаты поиска

Вид поиска

Тестовая библиотечная БД

БД "Электронный каталог РНТБ"

БД "Регистрационная картотека периодических изданий РНТБ"

БД "Стандарты"

БД "Диссертации"

БД "Нормативно-техническая документация"

БД "Промышленные каталоги"

БД "Генеральный сводный каталог РНТБ и филиалов"

БД "Полнотекстовые ресурсы удаленного доступа"

БД "Нормативно-технические документы РНТБ и филиалов. Сводный каталог"

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

Найдено в других БД:

БД "Электронный каталог РНТБ" (2)

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

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

Поисковый запрос: <.>K=ПРЕДИКАТ<.>

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

   51 /М-268
   М26

    Марков, А. А.
    Теория алгорифмов [Текст] : монография / А.А.Марков, Н.М.Нагорный. - изд. 2-ое, испр. и доп. - М. : ФАЗИС, 1996. - 448 с. - ISBN 5-7036-0020-0 : 65-87 тг.

ГРНТИ	27.35
УДК	510.5

Рубрики: Математическая логика
Кл.слова (ненормированные):
АЛГОРИФМ -- ДИЗЪЮНКЦИЯ -- ПРЕДИКАТ -- ИМПЛИКАЦИЯ -- СЕМАНТИКА

Держатели документа:
Актюбинский филиал РНТБ Казахстана

Доп.точки доступа:
Нагорный, Н.М.
Экземпляры всего: 1
03-ЧЗ (1)
Свободны: 03-ЧЗ (1)
Найти похожие

   681.3 В-751
   В75

    Воробьев, Е. М.
    Введение в систему "Математика" [Текст] : учеб. пособие / Е.М.Воробьев. - М. : Финансы и статистика, 1998. - 262 с. - ISBN 5-279-01783-3 : 530-60 тг.

ГРНТИ	27.41
УДК	681.3(075.8)	512(075.8)

Рубрики: Вычислительная техника
Кл.слова (ненормированные):
КОНТЕКСТ -- ПРЕДИКАТ -- ТРАНСЦЕНДЕНТ -- МУЛЬТИПЛИКАЦИЯ -- MODULE

Держатели документа:
Актюбинский филиал РНТБ Казахстана
Экземпляры всего: 1
03-ЧЗ (1)
Свободны: 03-ЧЗ (1)
Найти похожие

   51 Л-656
   Л65

    Лихтарников, Л. М.
    Математическая логика [Текст] : учеб. пособие. Курс лекций / Л.М.Лихтарников, Т.Г.Сукачева. - СПб. : Лань, 1998. - 288 с. - ISBN 5-8114-0082-9 : 438-10 тг.

ГРНТИ	27.03
УДК	510(075.8)

Рубрики: Математическая логика
Кл.слова (ненормированные):
АЛГЕБРА -- ПРЕДИКАТ -- АЛГОРИТМЫ -- ДЕДУКЦИЯ

Держатели документа:
Актюбинский филиал РНТБ Казахстана

Доп.точки доступа:
Сукачева, Т.Г.
Экземпляры всего: 1
03-ЧЗ (1)
Свободны: 03-ЧЗ (1)
Найти похожие

   681.5/Е421
   Е 42

    Ездаков, Андрей Леонидович.
    Экспертные системы САПР [Текст] : учеб.пособие для вузов / А. Л. Ездаков. - М. : ИД Форум, 2009. - 159 с. : ил. - (Высш.образование). - Библиогр.: с.146 (9 назв.) . - ISBN 978-5-8199-0398-8 : 1600 тг.

ГРНТИ	50.47
УДК	681.51(075.8)

Рубрики: Системы автоматизированного проектирования
Кл.слова (ненормированные):
искусственный интеллект -- логика -- предикат -- дедукция -- сетевые модели -- семантические сети -- экспертные системы -- высокоуровневое проектирование

Держатели документа:
Республиканская научно-техническая библиотека Казахстана
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)
Найти похожие

Тематический навигатор

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