Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Найдено в других БД:
Электронный каталог МУБиНТ, г. Ярославль (1)
"Руконт"-Национальный цифровой ресурс (4)
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=ПРЕДИКАТЫ<.>)
Общее количество найденных документов
:
5
Показаны документы
с 1 по 5
1..5
1.
В12
Н73
Новиков, Петр Сергеевич
.
Элементы математической логики [Текст] : нелитературный текст / П. С.Новиков. - 2-е изд.,испр. - М. : Наука, 1973. - 399с. - (Математическая логика и основания математики). - 4.00 р.
ББК
В12
Рубрики:
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
дедукция
--
предикаты
--
аксиоматическая арифметика
--
теория доказательства
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
2.
В181я73
К71
Косовский, Николай Кириллович
.
Логики конечнозначных предикатов на основе неравенств [Текст] : учеб.пособие для вузов / Н.К.Косовский,А.В.Тишков. - СПб : Изд-во СПбГУ, 2000. - 268с. -
ISBN
5-288-02049-3 : 20.00 р.
ББК
В181я73
Рубрики:
Математика
Кибернетика
Кл.слова (ненормированные):
б-ка Русина
--
учебник В181
--
неравенства
--
предикаты
--
логики конечнозначные
--
моделирование
Держатели документа:
ЯрГУ
Доп.точки доступа:
Тишков, Артем Валерьевич ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
3.
В12я54
Т33
Маслов, С. Ю.
Теоретические применения методов математической логики. 1 [Текст] : сборник работ / под ред. С. Ю. Маслова, Г. Е. Минца. - Л. : Наука, 1975. - 180 с. - (Записки научных семинаров ЛОМИ, том 49). - 5.00 р.
ББК
В12я54
Рубрики:
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
мутационные исчисления
--
трансфинитные выводы
--
рекурсивные
предикаты
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
4.
004.8
Д25
Девятков, В. В.
Системы искусственного интеллекта [Текст] : учеб. пособие для вузов / В.В. Девятков. - М. : МГТУ им. Н.Э. Баумана, 2001. - 351 с. : табл. - (Информатика в техническом университете). - Библиогр.: с.346. -Предм. указ.: с.347-351 . -
ISBN
5-7038-1727-7 (в пер.) : 80.25 р.
ГРНТИ
28.23
УДК
004.8
Кл.слова (ненормированные):
логика
--
предикаты
--
семантика
--
среды
--
языки
--
граф
--
модальность
--
ситуационное исчисление
--
инвариантные свойства
--
корректность
--
дедуктивные
--
базы данных
--
реляционная алгебра
--
триггеры
--
проблемно - ориентированный язык
--
онтологии
--
мультиагентность
--
нечеткость
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие
5.
519.7
Ф19
Фалевич, Б. Я.
Теория алгоритмов [Текст] : учеб. пособие для вузов / Б.Я. Фалевич. - М. : Машиностроение, 2004. - 160 с. : ил. - (Для вузов). - Библиогр.: с.160. -
ISBN
5-217-03249-9 : 88.00 р.
ГРНТИ
28.25.23
УДК
519.7
Кл.слова (ненормированные):
МАССОВАЯ ПРОБЛЕМА
--
МАШИНЫ
--
ТЬЮРИНГА
--
ДВОИЧНОЕ
--
КОДИРОВАНИЕ
--
МОДЕЛИРОВАНИЕ
--
СЛОВ АЛФАВИТа
--
самоприменимость
--
ЗАПИСЬ
--
МАРКОВА
--
КОНЕЧНЫЕ АВТОМАТЫ
--
РЕКУРСИВНЫЕ
--
ФУНКЦИИ
--
МНОЖЕСТВ
--
ПРЕДИКАТЫ
--
ГРАФОВ
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие
1..5