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

Базы данных


Книжный фонд - результаты поиска

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

Вид документа :
Шифр издания : 22.12/И 26
Автор(ы) : Игошин В.И.
Заглавие : Математическая логика и теория алгоритмов : учебное пособие для вузов . -3-е изд., стер.
Выходные данные : М.: Академия, 2008
Колич.характеристики :448 с.
ISBN, Цена 9785765207: 3100.00, 3100.00, р.
ББК : 22.12
Предметные рубрики: Математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--теория алгоритма--булевы функции--исчисление--аксиома--логика предикатов
Экземпляры : всего : чзт(4)
Свободны : чзт(4)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 22.176/М82
Автор(ы) : Москинова Г.И.
Заглавие : Дискретная математика. Математика для менеджера в примерах и упражнениях : Учебное пособие для вузов
Выходные данные : М.: Логос, 2003
Колич.характеристики :240с.
Серия: Учебник ХХI века
ISBN, Цена 5940100163: 1050.00, 1050, р.
ББК : 22.176
Предметные рубрики: Математика-- дискретный анализ
Ключевые слова (''Своб.индексиров.''): дискретная математика--бинарные--определения--эквивалентность--порядок--свойства--соответствия--отображения--математическая логика--булева алгебра--логика предикатов--теория графов--маршруты
Экземпляры : всего 5: чзт(3), аб(2)
Свободны : чзт(3), аб(2)
Найти похожие
3.


    (Свободных экземпляров нет)
Вид документа : Однотомное издание
Шифр издания : 22.12/И26
Автор(ы) : Игошин В.И.
Заглавие : Математическая логика и теория алгоритмов : Учебное пособие для вузов
Выходные данные : М.: Академия, 2004
Колич.характеристики :448с.
ISBN, Цена 5769513632: 2300.00, 2300.00, р.
ББК : 22.12
Предметные рубрики: Математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--теория алгоритмов--булевы функции--логика предикатов--аксиоматический--множества--анализ--алгебра--геометрия--математическое программирование--язык--пролог--информатика
Экземпляры :
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 22.12/И26
Автор(ы) : Игошин В.И.
Заглавие : Задачи и упражнения по математической логике и теории алгоритмов : Учебное пособие для вузов . -3-е изд., стер.
Выходные данные : М.: Академия, 2007
Колич.характеристики :304 с.
ISBN, Цена 5769513632: 2800.00, 2800.00, р.
ББК : 22.12
Предметные рубрики: Математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--теория алгоритмов--функции--булевы функции--логика предикатов--аксиома--множества--анализ--алгебра--геометрия--математическое программирование
Экземпляры :чзт(1)
Свободны : чзт(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 22.12/И 26
Автор(ы) : Игошин В. И.
Заглавие : Математическая логика и теория алгоритмов : учебное пособие для вузов . -4-е изд., стер.
Выходные данные : М.: Академия, 2010
Колич.характеристики :448 с
ISBN, Цена 978-5-7695-7045-2: 6000, 6000, р.
ГРНТИ : 27
ББК : 22.12
Предметные рубрики: Математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика и теория алгоритмов--булевы функции--исчисление--аксиома--логика предикатов--информатика--программное обеспечение--язык программирования--программирование--программа--пролог
Экземпляры :чзт(1)
Свободны : чзт(1)
Найти похожие
6.

Вид документа :
Шифр издания : 22.1/Д 21
Автор(ы) : Дәулеткулова А.Ө.
Заглавие : Математикалық логика және дискретті математика:Оқу құралы . -Новое изд.
Выходные данные : Б.м., 2015
Колич.характеристики :145 с
ISBN, Цена : 100, р.
ГРНТИ : 27
ББК : 22.1
Предметные рубрики: Математика
Ключевые слова (''Своб.индексиров.''): математикалық логика және дискретті математика--математическая логика и дискретная математика--элементы комбинаторики--құпиялау теориясының негіздері--основы теории секретности--элементы теории графов--логика предикатов
Экземпляры :аб(1)
Свободны : аб(1)
Найти похожие
 
Стандартный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)