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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 32.973/С79
Автор(ы) : Стерлинг Л., Шапиро Э.
Заглавие : Искусство программирования на языке Пролог
Выходные данные : М.: Мир, 1990
Колич.характеристики :334с.: ил.
ISBN, Цена 5030004068: 50.00, 50.00, р.
ББК : 32.973
Предметные рубрики: Компьютеры-- программирование
Ключевые слова (''Своб.индексиров.''): программирование--пролог--язык--программа--конструкция--база данных--модель--теория--терм--предикат--отсечение--поиск
Экземпляры : всего : аб(2)
Свободны : аб(2)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 22.12/Е80
Автор(ы) : Ершов Ю.Л., Палютин Е.А.
Заглавие : Математическая логика : Учебное пособие для вузов
Выходные данные : М.: Наука, 1987
Колич.характеристики :336с.
Цена : 2.00, 2.00, р.
ББК : 22.12
Предметные рубрики: Математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): высказывание--учебное пособие--исчисление--множество--истинность--предикат--модель--доказательство--алгоритм--функция--рекурсивная
Экземпляры : всего : чзт(1), аб(6)
Свободны : чзт(1), аб(6)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 81/П78
Заглавие : Проблемы общего и сравнительного языкознания : Материалы научно-теоретической конференции, посвященной 75-летию профессора М.М. Копыленко Алматы ноябрь 1995 г.
Выходные данные : Алматы: КазГУМЯ, 1997
Колич.характеристики :123с.
ISBN, Цена 5766753799: 211.00, 211.00, р.
ББК : 81
Предметные рубрики: Языкознание
Ключевые слова (''Своб.индексиров.''): фразеология--конференция--готский язык--терминосочетание--психолингвистика--социолингвистика--просторечие--предикат--личность--читатель--фонетика--морфология--синтаксис--словообразование--идиома--префикс--предложение--семантика
Экземпляры :аб(1)
Свободны : аб(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 22.12/Е80
Автор(ы) : Ершов Ю.Л., Палютин Е.А.
Заглавие : Математическая логика : Учебное пособие для вузов
Выходные данные : СПб. М.: Лань, 2004
Колич.характеристики :336с.
ISBN, Цена 5811405332: 2400.00, 2400.00, р.
ББК : 22.12
Предметные рубрики: Математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): учебник--математическая логика--исчисление--множество--истинность--предикат--модель--доказательство--алгоритм--функция--рекурсивная--теория множеств--теория моделей--теория доказательств--аксиома--высказывание
Экземпляры :чзт(1)
Свободны : чзт(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 22.176/Г16
Автор(ы) : Галушкина Ю.И., Марьямов А.Н.
Заглавие : Конспект лекций по дискретной математике
Выходные данные : М.: Айрис пресс, 2007
Колич.характеристики :176 с.
ISBN, Цена 9785811225: 1100.00, 1100.00, р.
ББК : 22.176
Предметные рубрики: Математика-- дискретная математика
Ключевые слова (''Своб.индексиров.''): дискретная математика--функция--множества--отображение--комбинаторный анализ--комбинаторика--алгоритм--бином ньютона--предикат--теория графов
Экземпляры : всего : чзт(2)
Свободны : чзт(2)
Найти похожие
 
Стандартный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)