Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика
----> основания математики
Печать списка
Доступно
1 из 1
Доступно
7 из 8
Доступно
1 из 1
Доступно
3 из 3
Доступно
6 из 6
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 1
Доступно
79 из 80
Доступно
94 из 106
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 3
Доступно
1 из 1
Доступно
3 из 4
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Доступно
3 из 5
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
3 из 3
Экз. чит. зала
Доступно
3 из 3
Доступно
45 из 47
Доступно
7 из 8
Доступно
22 из 22
Доступно
36 из 36
Доступно
5 из 5
Доступно
27 из 28
Доступно
1 из 1
Доступно
30 из 33
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
3 из 3
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
3 из 3
Доступно
2 из 2
Доступно
3 из 3
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
3 из 3
Доступно
67 из 69
Доступно
18 из 20
Доступно
19 из 20
Доступно
1 из 1
Доступно
60 из 62
Доступно
1 из 1
--> Математика
----> основания математики
Рубрика
- Название:
- основания математики
- Название:
- вычисления, алгоритмы и вычислимые (рекурсивные) функции. Булевы функции
- Название:
- основания математики и математическая логика
- Название:
- основания математики, теория множеств
- Название:
- математическая логика
- Название:
- теория множеств
- Название:
- теория вычислимости
Печать списка
Связанные описания:
Доступно
1 из 1
Книга
Поттосин, Ю. В.
Табличные методы декомпозиции систем полностью определенных булевых функций
Беларуская навука, 2006 г.
ISBN 985-08-0732-6
Поттосин, Ю. В.
Табличные методы декомпозиции систем полностью определенных булевых функций
Беларуская навука, 2006 г.
ISBN 985-08-0732-6
Заказать 
На полку Доступно
7 из 8
Книга
Кокин, А. А.
Твердотельные квантовые компьютеры на ядерных спинах
Ин-т компьют. исслед., 2004 г.
ISBN 5-939723-19-5
Кокин, А. А.
Твердотельные квантовые компьютеры на ядерных спинах
Ин-т компьют. исслед., 2004 г.
ISBN 5-939723-19-5
Доступно
1 из 1
Книга
Подсевалов, В .В.
Теоретико-множественные методы представления и преобразования информации: учебное пособие
ТулПИ, 1988 г.
ISBN отсутствует
Подсевалов, В .В.
Теоретико-множественные методы представления и преобразования информации: учебное пособие
ТулПИ, 1988 г.
ISBN отсутствует
Доступно
3 из 3
Доступно
6 из 6
Доступно
1 из 1
Книга
Фалевич, Б. Я.
Теория алгоритмов: учебное пособие для вузов по направлению "Информатика и вычислительная техника"
Машиностроение, 2004 г.
ISBN 5-217-03249-9
Фалевич, Б. Я.
Теория алгоритмов: учебное пособие для вузов по направлению "Информатика и вычислительная техника"
Машиностроение, 2004 г.
ISBN 5-217-03249-9
Доступно
1 из 2
Книга
Игошин, В. И.
Теория алгоритмов: учебное пособие для вузов по специальности 050201.65 "Математика"
ISBN 978-5-16-005205-2
Игошин, В. И.
Теория алгоритмов: учебное пособие для вузов по специальности 050201.65 "Математика"
Серия: Высшее образование
ИНФРА-М, 2013 г.ISBN 978-5-16-005205-2
Доступно
1 из 1
Книга
Игошин, В. И.
Теория алгоритмов: учебное пособие для вузов по специальности 050201.65 "Математика"
ISBN 978-5-16-005205-2
Игошин, В. И.
Теория алгоритмов: учебное пособие для вузов по специальности 050201.65 "Математика"
Серия: Высшее образование
ИНФРА-М, 2012 г.ISBN 978-5-16-005205-2
Доступно
79 из 80
Книга
Вагин, В. Н.
Теория алгоритмов и дедуктивный вывод: Учебное пособие по курсам "Дискретная математика" и "Математическая логика"
Изд-во МЭИ, 1999 г.
ISBN отсутствует
Вагин, В. Н.
Теория алгоритмов и дедуктивный вывод: Учебное пособие по курсам "Дискретная математика" и "Математическая логика"
Изд-во МЭИ, 1999 г.
ISBN отсутствует
Доступно
94 из 106
Книга
Вагин, В. Н.
Теория алгоритмов и математическая логика: учебное пособие по курсам "Дискретная математика", "Математическая логика", по направлениям "Прикладная математика и информатика&...
Издательский дом МЭИ, 2012 г.
ISBN отсутствует
Вагин, В. Н.
Теория алгоритмов и математическая логика: учебное пособие по курсам "Дискретная математика", "Математическая логика", по направлениям "Прикладная математика и информатика&...
Издательский дом МЭИ, 2012 г.
ISBN отсутствует
Доступно
2 из 2
Книга
Успенский, В. А.
Теория алгоритмов: основные открытия и приложения
Наука, 1987 г.
ISBN отсутствует
Успенский, В. А.
Теория алгоритмов: основные открытия и приложения
Наука, 1987 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
1 из 1
Книга
Дьедонне, Ж.
Теория инвариантов: Старое и новое; Мамфорд Д. Геометрическая теория инвариантов
Меркурий-ПРЕСС, 2000 г.
ISBN 5-11-480148-1
Дьедонне, Ж.
Теория инвариантов: Старое и новое; Мамфорд Д. Геометрическая теория инвариантов
Меркурий-ПРЕСС, 2000 г.
ISBN 5-11-480148-1
Доступно
1 из 1
Книга
Кочергин, В. И.
Теория многомерных цифро-векторных множеств
Изд-во Томского ун-та, 2006 г.
ISBN отсутствует
Кочергин, В. И.
Теория многомерных цифро-векторных множеств
Изд-во Томского ун-та, 2006 г.
ISBN отсутствует
Доступно
1 из 3
Книга
Хаусдорф, Ф.
Теория множеств
Grundzuge der mengenlehre
Эдиториал УРСС, 2007 г.
ISBN 978-5-382-00127-2
Хаусдорф, Ф.
Теория множеств
Grundzuge der mengenlehre
Эдиториал УРСС, 2007 г.
ISBN 978-5-382-00127-2
Доступно
1 из 1
Книга
Хаусдорф, Ф.
Теория множеств
Grundzuge der mengenlehre
Эдиториал УРСС, 2006 г.
ISBN 5-484-00296-6
Хаусдорф, Ф.
Теория множеств
Grundzuge der mengenlehre
Эдиториал УРСС, 2006 г.
ISBN 5-484-00296-6
Доступно
3 из 4
Книга
Хаусдорф, Ф.
Теория множеств
Grundzuge der mengenlehre
Эдиториал УРСС, 2004 г.
ISBN 5-354-00842-5
Хаусдорф, Ф.
Теория множеств
Grundzuge der mengenlehre
Эдиториал УРСС, 2004 г.
ISBN 5-354-00842-5
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Теория моделей и алгебраическая геометрия. О доказательстве Э.Хрущовского гипотезы Морделла-Ленга: сборник статей
МЦНМО, 2008 г.
ISBN отсутствует
Теория моделей и алгебраическая геометрия. О доказательстве Э.Хрущовского гипотезы Морделла-Ленга: сборник статей
МЦНМО, 2008 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Теория моделей и ее применения: сборник научных трудов
ISBN отсутствует
Теория моделей и ее применения: сборник научных трудов
Серия: Труды института математики
Наука, 1988 г.ISBN отсутствует
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Книга
Лаврентьев, М. М.
Теория операторов и некорректные задачи
Изд-во Ин-та математики им. С.Л. Соболева СО РАН, 1999 г.
ISBN 5-86134-077-3
Лаврентьев, М. М.
Теория операторов и некорректные задачи
Изд-во Ин-та математики им. С.Л. Соболева СО РАН, 1999 г.
ISBN 5-86134-077-3
Доступно
1 из 1
Доступно
2 из 2
Доступно
3 из 5
Книга
Песин, Я. Б.
Теория размерности и динамические системы: Современный взгляд и приложения
ISBN 5-939722-61-X
Песин, Я. Б.
Теория размерности и динамические системы: Современный взгляд и приложения
Серия: Современная математика
Ин-т компьют. исслед., 2002 г.ISBN 5-939722-61-X
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Книга
Плоткин, Б. И.
Универсальная алгебра, алгебраическая логика и базы данных
Наука, 1991 г.
ISBN отсутствует
Плоткин, Б. И.
Универсальная алгебра, алгебраическая логика и базы данных
Наука, 1991 г.
ISBN отсутствует
Доступно
3 из 3
Книга
Фролов, Ю. М.
Управление электроприводом с применением нечеткой логики: учебное пособие [для вузов]
Лань, 2022 г.
ISBN 978-5-8114-9678-5
Фролов, Ю. М.
Управление электроприводом с применением нечеткой логики: учебное пособие [для вузов]
Лань, 2022 г.
ISBN 978-5-8114-9678-5
Экз. чит. зала
Отчет
Упреждающее планирование потоков структурированных заданий в распределенных гетерогенных вычислит...: НИР
2020 г.
ISBN отсутствует
Упреждающее планирование потоков структурированных заданий в распределенных гетерогенных вычислит...: НИР
2020 г.
ISBN отсутствует
Доступно
3 из 3
Книга
Яблонский, С. В.
Учебное пособие по курсу "Дискретная математика": Анализ и синтез в многозначных логиках. Ч.1
Изд-во МЭИ, 1989 г.
ISBN 5-7046-0214-2
Яблонский, С. В.
Учебное пособие по курсу "Дискретная математика": Анализ и синтез в многозначных логиках. Ч.1
Изд-во МЭИ, 1989 г.
ISBN 5-7046-0214-2
Доступно
45 из 47
Книга
Набебин, А. А.
Учебное пособие по курсу "Дискретная математика": Логика и пролог в дискретной математике
1994 г.
ISBN отсутствует
Набебин, А. А.
Учебное пособие по курсу "Дискретная математика": Логика и пролог в дискретной математике
1994 г.
ISBN отсутствует
Доступно
7 из 8
Книга
Губонин, Н. С.
Учебное пособие по курсу "Инженерное проектирование": Сравнение классов (множеств)систем по безус...
Изд-во МЭИ, 1991 г.
ISBN отсутствует
Губонин, Н. С.
Учебное пособие по курсу "Инженерное проектирование": Сравнение классов (множеств)систем по безус...
Изд-во МЭИ, 1991 г.
ISBN отсутствует
Доступно
22 из 22
Книга
Ващенко, В. П.
Учебное пособие по курсу "Математическая логика и теория алгоритмов": Декомпозиция логических фун...
Изд-во МЭИ, 1979 г.
ISBN отсутствует
Ващенко, В. П.
Учебное пособие по курсу "Математическая логика и теория алгоритмов": Декомпозиция логических фун...
Изд-во МЭИ, 1979 г.
ISBN отсутствует
Доступно
36 из 36
Книга
Вагин, В. Н.
Учебное пособие по курсу "Математическая логика": Дедуктивные методы в математической логике
Изд-во МЭИ, 1989 г.
ISBN отсутствует
Вагин, В. Н.
Учебное пособие по курсу "Математическая логика": Дедуктивные методы в математической логике
Изд-во МЭИ, 1989 г.
ISBN отсутствует
Доступно
5 из 5
Книга
Набебин, А. А.
Учебное пособие по курсу "Математическая логика": Методы математической логики в расчетах конечны...
Изд-во МЭИ, 1988 г.
ISBN отсутствует
Набебин, А. А.
Учебное пособие по курсу "Математическая логика": Методы математической логики в расчетах конечны...
Изд-во МЭИ, 1988 г.
ISBN отсутствует
Доступно
27 из 28
Книга
Набебин, А. А.
Учебное пособие по курсу "Теоретические основы автоматического управления": Основы алгебры логики...
1979 г.
ISBN отсутствует
Набебин, А. А.
Учебное пособие по курсу "Теоретические основы автоматического управления": Основы алгебры логики...
1979 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Чесноков, С. В.
Феноменология диалогов в гештальт-теории, математике, логике
Эдиториал УРСС, 2009 г.
ISBN 978-5-397-00269-1
Чесноков, С. В.
Феноменология диалогов в гештальт-теории, математике, логике
Эдиториал УРСС, 2009 г.
ISBN 978-5-397-00269-1
Доступно
30 из 33
Книга
Физика квантовой информации: Квантовая криптография. Квантовая телепортация. Квантовые вычисления
Постмаркет, 2002 г.
ISBN 5-901095-10-3
Физика квантовой информации: Квантовая криптография. Квантовая телепортация. Квантовые вычисления
Постмаркет, 2002 г.
ISBN 5-901095-10-3
Доступно
1 из 1
Доступно
1 из 1
Книга
Крылов, С. М.
Формальная технология в философии, технике, биоэволюции и социологии
Самар. гос. техн. ун-т, 1997 г.
ISBN 5-7964-0008-8
Крылов, С. М.
Формальная технология в философии, технике, биоэволюции и социологии
Самар. гос. техн. ун-т, 1997 г.
ISBN 5-7964-0008-8
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Медведев, Ф. А.
Французская школа теории функций и множеств на рубеже XIX-XX вв
Эдиториал УРСС, 2006 г.
ISBN 5-484-00388-1
Медведев, Ф. А.
Французская школа теории функций и множеств на рубеже XIX-XX вв
Эдиториал УРСС, 2006 г.
ISBN 5-484-00388-1
Доступно
2 из 2
Книга
Медведев, Ф. А.
Французская школа теории функций и множеств на рубеже XIX-XX вв.
Наука, 1976 г.
ISBN отсутствует
Медведев, Ф. А.
Французская школа теории функций и множеств на рубеже XIX-XX вв.
Наука, 1976 г.
ISBN отсутствует
Экз. чит. зала
Отчет
Фундаментальные проблемы математики: новые методы исследований. Ч.1.Заключительный отчет: НИР
1992 г.
ISBN отсутствует
Фундаментальные проблемы математики: новые методы исследований. Ч.1.Заключительный отчет: НИР
1992 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Орса, В. А
Числовой метод минимизации булевых функций
Изд-во Ростовского ун-та, 1987 г.
ISBN отсутствует
Орса, В. А
Числовой метод минимизации булевых функций
Изд-во Ростовского ун-та, 1987 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
3 из 3
Доступно
1 из 1
Доступно
2 из 2
Книга
Абчук, В. А.
Экономико-математические методы : Элементарная математика и логика. Методы исследования операций
Союз, 1999 г.
ISBN 5-87852-103-2
Абчук, В. А.
Экономико-математические методы : Элементарная математика и логика. Методы исследования операций
Союз, 1999 г.
ISBN 5-87852-103-2
Доступно
1 из 1
Доступно
1 из 1
Книга
Жуков, А. В.
Элементарная математика. Задачи и решения: учебное пособие
Эдиториал УРСС, 2005 г.
ISBN 5-484-00132-3
Жуков, А. В.
Элементарная математика. Задачи и решения: учебное пособие
Эдиториал УРСС, 2005 г.
ISBN 5-484-00132-3
Доступно
3 из 3
Доступно
2 из 2
Книга
Половинкин, Е. С.
Элементы выпуклого и сильно выпуклого анализа
Физматлит, 2004 г.
ISBN 5-922104-99-3
Половинкин, Е. С.
Элементы выпуклого и сильно выпуклого анализа
Физматлит, 2004 г.
ISBN 5-922104-99-3
Доступно
3 из 3
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Книга
Косовский, Н. К.
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учебное пособие
Изд-во ЛГУ, 1981 г.
ISBN отсутствует
Косовский, Н. К.
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учебное пособие
Изд-во ЛГУ, 1981 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вольвачев, Р. Т.
Элементы математической логики и теории множеств
Университетское, 1986 г.
ISBN отсутствует
Вольвачев, Р. Т.
Элементы математической логики и теории множеств
Университетское, 1986 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Книга
Гладкий, А. В.
Элементы теории множеств: учебное пособие
Калининский гос. ун-т, 1977 г.
ISBN отсутствует
Гладкий, А. В.
Элементы теории множеств: учебное пособие
Калининский гос. ун-т, 1977 г.
ISBN отсутствует
Доступно
3 из 3
Книга
Порошкин, А. Г.
Элементы теории множеств: учебное пособие для вузов, для педагогических и математических специальностей
Эдиториал УРСС, 2011 г.
ISBN 978-5-397-01579-0
Порошкин, А. Г.
Элементы теории множеств: учебное пособие для вузов, для педагогических и математических специальностей
Эдиториал УРСС, 2011 г.
ISBN 978-5-397-01579-0
Доступно
67 из 69
Книга
Боровиков, И. А.
Элементы теории множеств: учебное пособие по направлению 01.03.02 "Прикладная математика и информатика"
Изд-во МЭИ, 2017 г.
ISBN 978-5-7046-1862-1
Боровиков, И. А.
Элементы теории множеств: учебное пособие по направлению 01.03.02 "Прикладная математика и информатика"
Изд-во МЭИ, 2017 г.
ISBN 978-5-7046-1862-1
Доступно
18 из 20
Книга
Кудин, С. Ф.
Элементы теории множеств и введение в теорию делимости. Часть 1. Множества и математическая индукция: учебное пособие по курсу "Математика" по всем направлениям подготовки
Изд-во МЭИ, 2016 г.
ISBN 978-5-7046-1762-4
Кудин, С. Ф.
Элементы теории множеств и введение в теорию делимости. Часть 1. Множества и математическая индукция: учебное пособие по курсу "Математика" по всем направлениям подготовки
Изд-во МЭИ, 2016 г.
ISBN 978-5-7046-1762-4
Доступно
19 из 20
Книга
Кудин, С. Ф.
Элементы теории множеств и введение в теорию делимости. Часть 2. Элементы теории делимости целых ...: учебное пособие по курсу "Математика" по всем направлениям подготовки
Изд-во МЭИ, 2017 г.
ISBN 978-5-7046-1816-4
Кудин, С. Ф.
Элементы теории множеств и введение в теорию делимости. Часть 2. Элементы теории делимости целых ...: учебное пособие по курсу "Математика" по всем направлениям подготовки
Изд-во МЭИ, 2017 г.
ISBN 978-5-7046-1816-4
Доступно
1 из 1
Книга
Волков, В. А.
Элементы теории множеств и развитие понятия числа: учебное пособие
Изд-во ЛГУ, 1978 г.
ISBN отсутствует
Волков, В. А.
Элементы теории множеств и развитие понятия числа: учебное пособие
Изд-во ЛГУ, 1978 г.
ISBN отсутствует
Доступно
60 из 62
Книга
Усенко, В. В.
Эффективный матричный инструмент логики: учебное пособие по курсу "Логические системы управления" по направлению "Теплоэнергетика"
Издательский дом МЭИ, 2009 г.
ISBN 978-5-383-00293-3
Усенко, В. В.
Эффективный матричный инструмент логики: учебное пособие по курсу "Логические системы управления" по направлению "Теплоэнергетика"
Издательский дом МЭИ, 2009 г.
ISBN 978-5-383-00293-3
Доступно
1 из 1