Логин (фамилия): Пароль (штрих-код):

Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
 Найдено в других БД:Электронный каталог МУБиНТ, г. Ярославль (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