Сайт ИнЕУ Упрощенный режим О Библиотеке Руководство пользователя
Авторизация
Логин
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книжный фонд
Статьи
Электронные библиотеки
Периодические издания
Магистерские диссертации
Полнотекстовые электронные издания
Сайты журналов
Труды ученых ИнЕУ
Область поиска
в найденном
 Найдено в других БД:Книжный фонд (3)Статьи (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=предикат<.>
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.
   32.973
   С79

    Стерлинг, Л.
    Искусство программирования на языке Пролог [Текст] / Пер. с англ. С.Ф. Сопрунова и Л.В. Шабанова; Под ред. Ю.Г. Дадаева. - М. : Мир, 1990. - 334с. : ил. - ISBN 5030004068 : 50.00 р.
ББК 32.973
Рубрики: Компьютеры--программирование
Кл.слова (ненормированные):
программирование -- Пролог -- язык -- программа -- конструкция -- база данных -- модель -- теория -- терм -- предикат -- отсечение -- поиск



Соавторы:
Шапиро, Э.
Экз-ры: аб(2)

” Цитировать
Найти похожие
2.
   22.12
   Е80

    Ершов, Ю. Л.
    Математическая логика [Текст] : учебное пособие для вузов / Ершов Ю.Л., Палютин Е.А., 2-е изд., испр. и доп. - М. : Наука, 1987. - 336с. - 2.00 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
высказывание -- учебное пособие -- исчисление -- множество -- истинность -- предикат -- модель -- доказательство -- алгоритм -- функция -- рекурсивная



Соавторы:
Палютин, Е.А.
Экз-ры: чзт(1), аб(6)

” Цитировать
Найти похожие
3.
   81
   П78

   
    Проблемы общего и сравнительного языкознания [Текст] : материалы научно-теоретической конференции, посвященной 75-летию профессора М.М. Копыленко Алматы ноябрь 1995 г. - Алматы : КазГУМЯ, 1997. - 123с. - ISBN 5766753799 : 211.00 р.
ББК 81
Рубрики: Языкознание
Кл.слова (ненормированные):
фразеология -- конференция -- готский язык -- терминосочетание -- психолингвистика -- социолингвистика -- просторечие -- предикат -- личность -- читатель -- фонетика -- морфология -- синтаксис -- словообразование -- идиома -- префикс -- предложение -- семантика

Экз-ры: аб(1)

” Цитировать
Найти похожие
4.
   22.12
   Е80

    Ершов, Ю. Л.
    Математическая логика [Текст] : учебное пособие для вузов / Ершов Ю.Л., Палютин Е.А., 3-е изд., стер. - СПб. М. : Лань, 2004. - 336с. - ISBN 5811405332 : 2400.00 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
учебник -- математическая логика -- исчисление -- множество -- истинность -- предикат -- модель -- доказательство -- алгоритм -- функция -- рекурсивная -- теория множеств -- теория моделей -- теория доказательств -- аксиома -- высказывание



Соавторы:
Палютин, Е.А.
Экз-ры: чзт(1)

” Цитировать
Найти похожие
5.
   22.176
   Г16

    Галушкина, Ю. И.
    Конспект лекций по дискретной математике [Текст] / Галушкина Ю.И., Марьямов А.Н. - М. : Айрис пресс, 2007. - 176 с. - ISBN 9785811225 : 1100.00 р.
ББК 22.176
Рубрики: Математика--дискретная математика
Кл.слова (ненормированные):
дискретная математика -- функция -- множества -- отображение -- комбинаторный анализ -- комбинаторика -- алгоритм -- бином Ньютона -- предикат -- теория графов



Соавторы:
Марьямов, А.Н.
Экз-ры: чзт(2)

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