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

Базы данных


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

Вид поиска
Книги
Авторефераты
Аудиовизуальный фонд
Фонд редкой книги
Труды преподавателей
Периодические издания
Выпускные квалификационные работы
Область поиска
в найденном
 Найдено в других БД:Труды преподавателей (1)Периодические издания (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=математическая логика<.>
Общее количество найденных документов : 28
Показаны документы с 1 по 10
 1-10    11-20   21-28 
1.
   22.1
   И 26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студ. вузов / В.И. Игошин. - 2-е изд., стер. - М. : Академия, 2008. - 446, [1] с. - (Высшее профессиональное образование). - ISBN 978-5-7695-4593-1 : 384.20 р., 397.00 р.
ББК 22.12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
алгебра высказываний -- булевы функции -- исчисление высказываний -- программирование -- математическая логика -- учебное пособие для вузов

Экземпляры всего: 12
Аб.2 (9), Ч.з.1 (3)
Свободны: Аб.2 (9), Ч.з.1 (3)
Найти похожие
2.
   22.1
   С 81

    Стойлова, Любовь Петровна.
    Математика [Текст] : учебник для студ. вузов / Л. П. Стойлова. - М. : Академия, 2007. - 431, [1] с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 978-5-7695-2758-6 : 462.00 р.
ББК 22.1я73-1
Рубрики: Математика
Кл.слова (ненормированные):
математическая логика -- отношения -- операции -- натуральные числа -- геометрические фигуры -- учебник для вузов

Экземпляры всего: 12
Аб.3 (12)
Свободны: Аб.3 (12)
Найти похожие
3.
   22.11
   Г 80

    Грес, Павел Власович.
    Математика для гуманитариев [Текст] : учеб. пособие для студ. вузов / П.В. Грес. - М. : Логос, 2006. - 156, [2] с. - (Учебник XXI века). - ISBN 5-98704-094-9 : 120.00 р.
ББК 22.11я73
Рубрики: Высшая математика
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- математический анализ -- дифференциальные уравнения -- дифференциальное исчисление -- интегральное исчисление -- теория вероятностей -- математическая статистика -- учебное пособие для вузов

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

    Осипова, Виктория Аркадьевна.
    Основы дискретной математики [Текст] : учеб. пособие для студ. вузов / В. А. Осипова. - М. : ФОРУМ : ИНФРА-М, 2006. - 158, [1] с. - (Высшее образование). - ISBN 5-91134-016-Х : 107.90 р.
ББК 22.174я73
Рубрики: Дискретная математика
Кл.слова (ненормированные):
дискретная математика -- множества -- отношения -- математическая логика -- комбинаторика -- теория графов -- учебное пособие для вузов

Экземпляры всего: 3
Ч.з.1 (3)
Свободны: Ч.з.1 (3)
Найти похожие
5.
   22.1
   Ж 79

    Жолков, С. Ю.
    Математика и информатика для гуманитариев [Text] : учебник для студ. вузов, обучающихся по гуманитарным спец. / С.Ю. Жолков. - 2-е изд., испр. и доп. - М. : Альфа-М : ИНФРА-М, 2005. - 527 с. - ISBN 5-98281-049-5 (Альфа-М). - ISBN 5-16-002380-1 (ИНФРА-М) : 150.00 р.
ББК 22.1я73 + 32.973я73
Рубрики: Математика
Кл.слова (ненормированные):
линейная алгебра -- математический анализ -- математическая логика -- алгоритмы -- компьютерные системы -- искусственный интеллект -- учебник для вузов

Экземпляры всего: 19
Ч.з.1 (5), Аб.2 (14)
Свободны: Ч.з.1 (5), Аб.2 (14)
Найти похожие
6.
   22.1
   Г 19

    Ганичева, Антонина Валериановна.
    Математика для психологов [Текст] : учеб. пособие для студ. вузов, обучающихся по направлению и спец. психологии / А. В. Ганичева, В. П. Козлов . - М. : Аспект Пресс, 2005. - 238, [1] с. - ISBN 5-7567-0362-4 : 114.40 р.
ББК 22.1я73
Рубрики: Математика
Кл.слова (ненормированные):
множества -- математическая логика -- линейная алгебра -- теория графов -- математический анализ -- теория вероятностей -- математическая статистика -- учебное пособие для вузов


Доп.точки доступа:
Козлов, Вячеслав Петрович
Экземпляры всего: 20
Аб.3 (20)
Свободны: Аб.3 (20)
Найти похожие
7.
   22.12
   М 34

   
    Математическая логика [Text] : программа учеб. дисциплины для студ. БГПУ по направлению подготовки дипломированного спец. "Информатика с доп. спец." / сост. Днепровская О.А. - Благовещенск : Изд-во БГПУ, 2004. - 14 с. - 6.70 р.
ББК 22.122р30
Рубрики: Высшая математика
Кл.слова (ненормированные):
математическая логика -- учебная программа для вузов


Доп.точки доступа:
Днепровская О.А. \сост.\
Экземпляры всего: 5
ИБО (1), Ч.з.1 (4)
Свободны: ИБО (1), Ч.з.1 (4)
Найти похожие
8.
   22.12
   М 34

   
    Математическая логика [Text] : программа учеб. дисциплины для студ. БГПУ по направлению подготовки дипломированного спец. "Информатика с доп. спец." по спец. "Информатика и математика" / сост. О. А. Днепровская. - Благовещенск : Изд-во БГПУ, 2004. - 16 с. - 7.10 р.
ББК 22.122р30
Рубрики: Высшая математика
Кл.слова (ненормированные):
математическая логика -- учебная программа для вузов


Доп.точки доступа:
Днепровская, О.А. \сост.\
Экземпляры всего: 5
ИБО (1), Ч.з.1 (4)
Свободны: ИБО (1), Ч.з.1 (4)
Найти похожие
9.
   22.12
   К 60

    Колмогоров, Андрей Николаевич.
    Математическая логика [Текст] : учеб. пособие для студ. мат. спец. вузов / А. Н. Колмогоров, А. Г. Драгалин ; МГУ им. М. В. Ломоносова. - М. : УРСС, 2004. - 238, [2] с. - (Классический университетский учебник). - ISBN 5-354-00389-X : 149.50 р.
ББК 22.122я73
Рубрики: Математическая логика--теория множеств
Кл.слова (ненормированные):
математические языки -- логические законы -- теория алгоритмов -- теория доказательств -- математическая логика -- учебник для вузов


Доп.точки доступа:
Драгалин, А.Г.; МГУ им. М. В. Ломоносова
Экземпляры всего: 4
Ч.з.1 (4)
Свободны: Ч.з.1 (4)
Найти похожие
10.
   22.17
   Л 43

   
    Лекции по дискретной математике [Текст] / Ю. В. Капитонова [и др.]. - СПб. : БХВ-Петербург, 2004. - 614 с. - ISBN 5-94157-546-7 : 179.00 р.
ББК 22.174я73 + 32.973.26-018.2я73
Рубрики: Дискретная математика
Кл.слова (ненормированные):
дискретная математика -- алгебра -- множества -- комбинаторика -- теория алгоритмов -- математическая логика -- теория графов -- теория автоматов -- информационные технологии -- компьютерные технологии -- аксиоматический метод -- учебник для вузов


Доп.точки доступа:
Капитонова, Ю.В.; Кривой, С.Л.; Летичевский, А.А.; Луцкий, Г.М.
Экземпляры всего: 16
Ч.з.1 (5), Аб.2 (11)
Свободны: Ч.з.1 (5), Аб.2 (11)
Найти похожие
 1-10    11-20   21-28 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)