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

Базы данных


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

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

    Игошин, В. И.
    Математическая логика и теория алгоритмов [Текст] : учебное пособие для вузов / Игошин В.И. - 3-е изд., стер. - М. : Академия, 2008. - 448 с. - ISBN 9785765207 : 3100.00 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритма -- булевы функции -- исчисление -- аксиома -- логика предикатов

Экз-ры: чзт(4)

” Цитировать
Найти похожие
2.
   22.176
   М82

    Москинова, Г. И.
    Дискретная математика. Математика для менеджера в примерах и упражнениях [Текст] : учебное пособие для вузов / Москинова Г.И. - М. : Логос, 2003. - 240с. - (Учебник ХХI века). - ISBN 5940100163 : 1050 р.
ББК 22.176
Рубрики: Математика--дискретный анализ
Кл.слова (ненормированные):
дискретная математика -- бинарные -- определения -- эквивалентность -- порядок -- свойства -- соответствия -- отображения -- математическая логика -- булева алгебра -- логика предикатов -- теория графов -- маршруты

Экз-ры: чзт(3), аб(2)

” Цитировать
Найти похожие
3.
   22.12
   И26

    Игошин, В. И.
    Математическая логика и теория алгоритмов [Текст] : учебное пособие для вузов / Игошин В.И. - М. : Академия, 2004. - 448с. - ISBN 5769513632 : 2300.00 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- булевы функции -- логика предикатов -- аксиоматический -- множества -- анализ -- алгебра -- геометрия -- математическое программирование -- язык -- ПРОЛОГ -- информатика

Экз-ры:

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

    Игошин, В. И.
    Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учебное пособие для вузов / Игошин В.И. - 3-е изд., стер. - М. : Академия, 2007. - 304 с. - ISBN 5769513632 : 2800.00 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- функции -- булевы функции -- логика предикатов -- аксиома -- множества -- анализ -- алгебра -- геометрия -- математическое программирование

Экз-ры: чзт(1)

” Цитировать
Найти похожие
5.
   22.12
   И 26

    Игошин, В. И.
    Математическая логика и теория алгоритмов [Текст] : учебное пособие для вузов / В. И. Игошин. - 4-е изд., стер. - М. : Академия, 2010. - 448 с. - ISBN 978-5-7695-7045-2 : 6000 р.
ГРНТИ
27
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математическая логика и теория алгоритмов -- булевы функции -- исчисление -- аксиома -- логика предикатов -- информатика -- программное обеспечение -- язык программирования -- программирование -- программа -- ПРОЛОГ

Экз-ры: чзт(1)

” Цитировать
Найти похожие
6.
22.1
Д 21

    Дәулеткулова, А. Ө.
    Математикалық логика және дискретті математика:Оқу құралы [Текст] / А. Ө. Дәулеткулова. - Новое изд. - Алматы : ҚазМемҚПУ, 2015. - 145 с. - ISBN : 100 р.
ГРНТИ
27
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
Математикалық логика және дискретті математика -- Математическая логика и дискретная математика -- ЭЛЕМЕНТЫ КОМБИНАТОРИКИ -- Құпиялау теориясының негіздері -- Основы теории секретности -- ЭЛЕМЕНТЫ ТЕОРИИ ГРАФОВ -- ЛОГИКА ПРЕДИКАТОВ

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

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