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

Базы данных


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

Вид поиска

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


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

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

2.
22.1
О-75


   
    Основы кибернетики. Математические основы кибернетики [Текст] : учеб. пособие для втузов / под ред. К. А. Пупкова. - М. : Высш. шк., 1974. - 415, [1] с. - 0.88 р.
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
теория множеств -- теория графов -- математическая логика -- теория алгоритмов -- дифференциальные уравнения -- линейное программирование -- нелинейное программирование -- математическая статистика -- комбинаторный анализ -- учебное пособие для втузов


Доп.точки доступа:
Пупкова, К.А. \под ред.\
Экземпляры всего: 2
Ч.з.1 (2)
Свободны: Ч.з.1 (2)
Найти похожие

3.
   22.1
   М 34


   
    Математическая логика и теория алгоритмов [Текст] / отв. ред. С. Л. Соболев. - Новосибирск : Наука, 1982. - 174, [2] с. - (Труды института математики, т. 2). - 1.60 р.
ББК 22.122
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов


Доп.точки доступа:
Соболев, С.Л. \отв. ред.\
Экземпляры всего: 2
Ч.з.1 (2)
Свободны: Ч.з.1 (2)
Найти похожие

4.
   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)
Найти похожие

5.
22.1
П 30


    Петров, Ю. А.
    Математическая логика и математическая диалектика. Проблемы логико-философских оснований и обоснования теорий [Текст] / Ю. А. Петров. - М. : Изд-во Моск. ун-та, 1974. - 191, [1] с. - 0.92 р.
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
математическая логика -- математическая логика

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

6.
   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)
Найти похожие

7.
Р2
Л 38


    Левшин, Владимир Артурович.
    Новые рассказы рассеянного магистра [Текст] : математич. детектив : [для мл. шк. возраста] / В. А. Левшин. - М. : Моск. клуб, 1994. - 174 с. : ил. - ISBN 5-7642-0024-5 : 3250.00 р.
ББК Р2
Рубрики: Детская литература
Кл.слова (ненормированные):
математическая логика -- задания на наблюдательность -- учебное пособие

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

8.
22.1
Е 80


    Ершов, Андрей Петрович.
    Введение в теоретическое программирование. Беседы о методе [Текст] : учеб. пособие для студ. вузов, обучающихся по спец. "Прикладная математика" / А. П. Ершов. - М. : Наука, 1977. - 288 с. - 0.80 р.
ББК 22.1
Рубрики: Программирование
Кл.слова (ненормированные):
программирование -- алгоритмизация -- информационный граф -- граф несовместимости -- реализация -- структурированное программирование -- математическая логика -- алгебра логики -- исчисление высказываний -- учебное пособие для вузов

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

9.
22.122
К 60


    Колмогоров, Андрей Николаевич.
    Введение в математическую логику [Текст] : учеб. пособие для студ. мат. спец. вузов / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во Моск. ун-та, 1982. - 118, [2] с. - 0.25 р.
ББК 22.122
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория множеств -- логико-математические языки -- логические законы -- учебное пособие для вузов


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

10.
   22.1
   С 81


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

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

 1-10    11-20   21-28 
 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)