Библиотечная система ФГБОУ ВО 'ИжГТУ имени М.Т.Калашникова'

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

Библиотечная БД

Имидж-каталог

Учебно-методические пособия

Выпускные квалификационные работы

Учебно-методоческие издания

Область поиска

в найденном

Найдено в других БД:

Учебно-методические пособия (1)

Выпускные квалификационные работы (1)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=математическая логика<.>)

Общее количество найденных документов : 27
Показаны документы с 1 по 10

1-10 11-20 21-27

519(075)
Г 65

Гончарова, Г. А.
Элементы дискретной математики [Text] : учеб. пособие для среднего проф. образования / Гончарова, Г. А., Мочалин, А. А. - М. : Форум : Инфра-М, 2003. - 125 с. : ил., табл. - (Профессиональное образование). - Библиогр.: с. 125. - ISBN 5-8199-0059-6. - ISBN 5-16-001154-4 : 40-00 р.

УДК

519(075)

519.1(075)

Рубрики: МАТЕМАТИКА--КОМБИНАТОРНЫЙ АНАЛИЗ.ТЕОРИЯ ГРАФОВ
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- теория множеств -- предикаты -- теория графов

Доп.точки доступа:
Мочалин, А. А.
Экземпляры всего: 2
ОХФ (2)
Свободны: ОХФ (2)
Найти похожие

519(075)
Н 58

Нефедов, В. Н.
Курс дискретной математики [Text] : учеб. пособие для вузов / Нефедов В. Н., Осипова В. А. - Магадан : [Изд-во МАИ], 2009. - 262 с. : ил. - Библиогр.: с.261. - ISBN 978-5-244-002 95-9 : 185.00 р., 180.00 р.

УДК

519(075)

519.1(075)

Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- комбинаторика -- теория графов

Доп.точки доступа:
Осипова, В. А.
Экземпляры всего: 30
ОХиИФ (1), ООЛ (29)
Свободны: ОХиИФ (1), ООЛ (29)
Найти похожие

51(075)
С 54

   Соболев, А. Б.
    Математика [Text] : курс лекций для техн. вузов : учеб. пособие : в 2-х кн. / А. Б. Соболев, А. Ф. Рыбалко. - М. : Академия, 2009 - .
   Кн. 1. - 407 с. : ил. - (Высшее профессиональное образование) (Естественные науки). - Библиогр.: с. 408. - ISBN 978-5-7695-64 00-0 (в пер.) : 230-75 р.

УДК

51(075)

Рубрики: МАТЕМАТИКА--ОБЩИЕ ВОПРОСЫ МАТЕМАТИКИ
Кл.слова (ненормированные):
определители -- матрицы -- линейные уравнения -- дифференциальные уравнения -- линейные дифференциальные уравнения -- системы уравнений -- векторная алгебра -- аналитическая геометрия -- теория множеств -- математическая логика -- числовые последовательности -- производные -- дифференциалы -- Лопиталя-Бернулли правило -- Тейлора формула -- исследование функций -- комплексные числа -- многочлены -- неопределенные интегралы -- определенные интегралы

Доп.точки доступа:
Рыбалко, А. Ф.
Экземпляры всего: 9
ОХиИФ (1), ООНЛ (1), ООУЛ (7)
Свободны: ОХиИФ (1), ООНЛ (1), ООУЛ (7)
Найти похожие

519.1(075)
С 54

Соболева, Т. С.
Дискретная математика [Text] : учебник для вузов / Соболева, Т. С., Чечкин, А. В. - М. : Академия, 2006. - 254 с. : ил., табл. - (Университетский учебник) (Прикладная математика и информатика). - Библиогр.: с. 252. - ISBN 5-7695-2823-0 (в пер.) : 199-00 р.

УДК

519.1(075)

Рубрики: МАТЕМАТИКА--КОМБИНАТОРНЫЙ АНАЛИЗ.ТЕОРИЯ ГРАФОВ
Кл.слова (ненормированные):
дискретная математика -- теория множеств -- теория графов -- алгебры -- топология -- Булевы функции -- математическая логика -- математическая кибернетика -- математическая информатика

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

519.5(075)
Л 13

Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов [Text] : [учеб. пособие для вузов] / Лавров И. А., Максимова Л. Л. - Изд. 5-е, испр. - М. : Физматлит, 2009. - 255 с. - Библиогр. : с.248-249. - Предм. указ. : с. 250-255. - ISBN 978-5-9221-00 26-7 : 170-00 р.

УДК

519.5(075)

510.6(075)

Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ И МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
теория множеств -- математическая логика -- теория алгоритмов

Доп.точки доступа:
Максимова, Л. Л.
Экземпляры всего: 59
ОХиИФ (1), ООНЛ (3), ООУЛ (55)
Свободны: ОХиИФ (1), ООНЛ (3), ООУЛ (55)
Найти похожие

519.1(075)
М 82

Москинова, Г. И.
Дискретная математика [Text] : математика для менеджера в примерах и упражнениях : учеб. пособие для вузов / Москинова, Г. И. - М. : Логос, 2003. - 238 с. : ил. - (Учебник ХХI века). - Библиогр.: с. 236. - ISBN 5-94010-016-3 (в пер.) : 111-15 р.

УДК

519.1(075)

519.17(075)

519.5(075)

Рубрики: МАТЕМАТИКА--КОМБИНАТОРНЫЙ АНАЛИЗ.ТЕОРИЯ ГРАФОВ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ТЕОРИЯ ГРАФОВ
Кл.слова (ненормированные):
дискретная математика -- теория множеств -- отношения -- математическая логика -- теория графов

Экземпляры всего: 15
ООУЛ (14), ООНЛ (1)
Свободны: ООУЛ (14), ООНЛ (1)
Найти похожие

510(075)
И 26

Игошин, В. И.
Математическая логика и теория алгоритмов [Text] : учеб. пособие для вузов / Игошин В. И. - 4-е изд., стер. - М. : Академия, 2010. - 446 с. : ил. - (Высшее профессиональное образование) (Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-7045-2 (в пер.) : 439.97 р.

УДК

510(075)

Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ И МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
алгебра высказываний -- Булевы функции -- исчисление высказываний -- логика предикатов -- аксиоматические теории -- теории алгоритмов -- математическая логика -- программное обеспечение -- логическое программирование -- искусственный интеллект

Экземпляры всего: 12
ОХиИФ (1), ООЛ (11)
Свободны: ОХиИФ (1), ООЛ (11)
Найти похожие

   510(075)
   Г 85

    Гринченков, Д. В.
    Математическая логика и теория алгоритмов для программистов [Текст] : учебное пособие для вузов / Д. В. Гринченков, С. И. Потоцкий. - Москва : Кнорус, 2013. - 206 с. : ил., табл. - (Бакалавриат). - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 (в пер.) : 188.50 р.
ВПО

ГРНТИ	27.03.19
УДК	510(075)	510.6(075)	510.5(075)

Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--АЛГОРИТМЫ И ВЫЧИСЛИМЫЕ ФУНКЦИИ
Кл.слова (ненормированные):
теория множеств -- Булева алгебра -- математическая логика -- теория алгоритмов -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования

Доп.точки доступа:
Потоцкий, С. И.
Экземпляры всего: 5
ОХиИФ (1), ООЛ (4)
Свободны: ОХиИФ (1), ООЛ (4)
Найти похожие

   51(075)
   Ж 79

    Жолков, С. Ю.
    Математика и информатика для гуманитариев [Текст] : учебник для вузов / С. Ю. Жолков. - 2-е изд., испр. и доп. - Москва : Альфа-М : Инфра-М, 2005. - 527, [1] с. : рис., табл. - Библиогр.: с. 519 . - Предм. указ.: с. 520-527. - ISBN 5-98281-049-5 (в пер.). - ISBN 5-16-002380-1 : 205.00 р.
ВПО

ГРНТИ	27.01.33
УДК	51(075)

Рубрики: МАТЕМАТИКА--УЧЕБНИКИ И ПОСОБИЯ
Кл.слова (ненормированные):
натуральные числа -- линейная алгебра -- математический анализ -- дифференциальное исчисление -- интегральное исчисление -- математическая логика

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

10.

   519(075)
   П 82

    Просветов, Г. И.
    Дискретная математика : задачи и решения [Текст] : учебно-практическое пособие / Г. И. Просветов. - 2-е изд., доп. - Москва : Альфа-Пресс, 2014. - 238, [2] с. : ил., табл. - Библиогр.: с. 233-234. - ISBN 978-5-94280-419-0 : 180.00 р.

ГРНТИ	27.45
УДК	519.1(075)

Рубрики: ДИСКРЕТНАЯ МАТЕМАТИКА--УЧЕБНИКИ И ПОСОБИЯ
Кл.слова (ненормированные):
математическая логика -- алгебраические системы -- теория кодирования -- комбинаторика -- теория графов

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

1-10 11-20 21-27

Тематический навигатор

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