Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Учебная литература - результаты поиска

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

    Турецкий, В. Я.
    Математика и информатика [Текст] : Учебник / В.Я. Турецкий; М-во образования РФ. - 3-изд., перераб. и доп. - М. : ИНФРА-М, 2002. - 560 с. : ил. - (Сер. "Высш. образование"). - 99.00 р.
ГРНТИ
27
20
ББК 22.1я7 + 32.973.2я7

Кл.слова (ненормированные):
множества -- отношения -- функции -- математическая логика -- аналитическая геометрия -- линейная алгебра -- алгебраические структуры -- пределы -- непрерывные функции -- дифференциальные исчисления -- интегральное исчисление -- случайные величины -- случайные события -- математическая статистика -- информатика -- программное обеспечение


Экземпляры всего: 2
АБ (1), ЧЗ (1)
Свободны: АБ (1), ЧЗ (1)
Найти похожие
2.
22.12
С-74

    Справочная книга по мат. логике [Текст] : в 4 ч.; Пер. с англ. - М. : Наука.Гл.ред.физ.-мат.лит., 1982 - .
   Ч.3 : Теория рекурсии. - 360с. : ил. - Б. ц.
ББК 22.12

Кл.слова (ненормированные):
математическая логика -- справочники -- рекурсия


Экземпляры всего: 1
АБ (1)
Свободны: АБ (1)
Найти похожие
3.
22.12
С-74

    Справочная книга по мат. логике [Текст] : в 4 ч.; Пер. с англ. - М. : Наука.Гл.ред.физ.-мат.лит., 1983 - .
   Ч.4 : Теория доказательств и конструктивная математика. - 392с. : ил. - Б. ц.
ББК 22.12

Кл.слова (ненормированные):
математическая логика -- справочники -- рекурсия


Экземпляры всего: 2
АБ (2)
Свободны: АБ (2)
Найти похожие
4.
22.12я7
Г 55

   
    Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов [Текст] : учеб. пособие / М. М. Глухов, О. А. Козлитин, В. А. Шапошников, А. Б. Шишков ; УМО. - СПб. : Лань, 2008. - 110 с. - (Учеб. для вузов. Специальная литература). - ISBN 978-5-8114-0853-5 : 230.00 р.
ГРНТИ
27
ББК 22.12я7

Кл.слова (ненормированные):
математическая логика -- дискретные функции -- булевые функции -- минимизация -- контактные схемы -- теория алгоритмов -- понятие алгоритма -- сложность алгоритмов



Доп.точки доступа:
Глухов, М. М.; Козлитин, О. А.; Шапошников, В. А.; Шишков, А. Б.
Экземпляры всего: 3
Аб (2), ЧЗ (1)
Свободны: Аб (2), ЧЗ (1)
Найти похожие
5.
22.176я7
М 21

    Мальцев, И. А.
    Дискретная математика [Текст] : учеб. пособие / И. А. Мальцев. - 2-е изд., испр. . - СПб. : Лань, 2011. - 290 с. - ISBN 978-5-8114-1010-1 : 502.00 р.
ГРНТИ
27
ББК 22.176я7

Кл.слова (ненормированные):
множества -- комбинаторика -- графы -- математическая логика -- конечные автоматы -- теория алгоритмов -- теория чисел -- алгебраические системы


Экземпляры всего: 5
Аб (4), ЧЗ (1)
Свободны: Аб (4), ЧЗ (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)