Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика
----> основания математики
Печать списка
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
30 из 31
Доступно
1 из 1
Доступно
1 из 1
Доступно
5 из 6
Доступно
2 из 2
Доступно
1 из 3
Доступно
2 из 2
Доступно
2 из 2
Экз. чит. зала
Доступно
1 из 1
Доступно
2 из 4
Доступно
1 из 1
Доступно
2 из 2
Доступно
3 из 3
Доступно
1 из 1
Доступно
2 из 2
Доступно
3 из 3
Доступно
4 из 5
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
32 из 33
Доступно
25 из 26
Доступно
2 из 2
Доступно
2 из 2
Доступно
2 из 2
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Экз. чит. зала
Доступно
1 из 1
Доступно
3 из 3
Доступно
2 из 3
Доступно
1 из 2
Доступно
2 из 2
Доступно
3 из 3
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
--> Математика
----> основания математики
Рубрика
- Название:
- основания математики
- Название:
- вычисления, алгоритмы и вычислимые (рекурсивные) функции. Булевы функции
- Название:
- основания математики и математическая логика
- Название:
- основания математики, теория множеств
- Название:
- математическая логика
- Название:
- теория множеств
- Название:
- теория вычислимости
Печать списка
Связанные описания:
Заказать 
На полку Доступно
1 из 1
Книга
DeGroot, D.
Logic Programming. Function, Relations, and Equations
Prentice Hall, 1986 г.
ISBN отсутствует
DeGroot, D.
Logic Programming. Function, Relations, and Equations
Prentice Hall, 1986 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Люксембург, А. А.
Автоматизированное построение математических теорий
ISBN 5-354-01005-5
Люксембург, А. А.
Автоматизированное построение математических теорий
Серия: Relata Refero
Эдиториал УРСС, 2005 г.ISBN 5-354-01005-5
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Ван Хао
Аксиоматические системы теории множеств
ISBN отсутствует
Ван Хао
Аксиоматические системы теории множеств
Серия: Б-ка сборника "Математика"
Изд-во иностранной лит., 1963 г.ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
2 из 2
Книга
Епихин, В. Е.
Алгебра и теория пределов: учебное пособие
ISBN 5-947744-49-X
Епихин, В. Е.
Алгебра и теория пределов: учебное пособие
Серия: Элективный курс
БИНОМ. Лаборатория знаний, 2006 г.ISBN 5-947744-49-X
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Книга
Волгин, Л. И.
Алгебраические логики: элементы теории, взаимоотношения, реляторная схемотехника
УлГТУ, 2005 г.
ISBN 5-89146-558-2
Волгин, Л. И.
Алгебраические логики: элементы теории, взаимоотношения, реляторная схемотехника
УлГТУ, 2005 г.
ISBN 5-89146-558-2
Доступно
1 из 1
Книга
Гольденберг, Л. М.
Алгоритмика и точность вычислительных процессов. Ч.1: учебное пособие
1968 г.
ISBN отсутствует
Гольденберг, Л. М.
Алгоритмика и точность вычислительных процессов. Ч.1: учебное пособие
1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Гольденберг, Л. М.
Алгоритмика и точность вычислительных процессов. Ч.2: учебное пособие
1968 г.
ISBN отсутствует
Гольденберг, Л. М.
Алгоритмика и точность вычислительных процессов. Ч.2: учебное пособие
1968 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
1 из 1
Книга
Косовская, Т. М.
Алгоритмы и анализ их сложности: учебное пособие
Ай Пи Ар Медиа, 2023 г.
ISBN 978-5-4497-1855-6
Косовская, Т. М.
Алгоритмы и анализ их сложности: учебное пособие
Ай Пи Ар Медиа, 2023 г.
ISBN 978-5-4497-1855-6
Доступно
30 из 31
Книга
Трахтенброт, Б. А.
Алгоритмы и вычислительные автоматы
Советское радио, 1974 г.
ISBN отсутствует
Трахтенброт, Б. А.
Алгоритмы и вычислительные автоматы
Советское радио, 1974 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Доступно
5 из 6
Доступно
2 из 2
Доступно
1 из 3
Доступно
2 из 2
Доступно
2 из 2
Книга
Вопенка, П.
Альтернативная теория множеств. Новый взгляд на бесконечность
Изд-во Ин-та математики им. С.Л. Соболева СО РАН, 2004 г.
ISBN 5-86134-124-9
Вопенка, П.
Альтернативная теория множеств. Новый взгляд на бесконечность
Изд-во Ин-та математики им. С.Л. Соболева СО РАН, 2004 г.
ISBN 5-86134-124-9
Экз. чит. зала
Доступно
1 из 1
Книга
Аппроксимация нечетких отношений второго типа нечеткими обратимыми квазисериями: сообщения по прикладной математике
Вычислит. центр АН СССР, 1988 г.
ISBN отсутствует
Аппроксимация нечетких отношений второго типа нечеткими обратимыми квазисериями: сообщения по прикладной математике
Вычислит. центр АН СССР, 1988 г.
ISBN отсутствует
Доступно
2 из 4
Книга
Гашков, С. Б.
Арифметика. Алгоритмы. Сложность вычислений: Популярное введение в теорию чисел и арифметическую теорию сложности
Наука, 1996 г.
ISBN 5-02-015219-6
Гашков, С. Б.
Арифметика. Алгоритмы. Сложность вычислений: Популярное введение в теорию чисел и арифметическую теорию сложности
Наука, 1996 г.
ISBN 5-02-015219-6
Доступно
1 из 1
Книга
Гашков, С. Б.
Арифметика. Алгоритмы. Сложность вычислений: Учебное пособие для вузов
Высшая школа, 2000 г.
ISBN 5-06-003613-8
Гашков, С. Б.
Арифметика. Алгоритмы. Сложность вычислений: Учебное пособие для вузов
Высшая школа, 2000 г.
ISBN 5-06-003613-8
Доступно
2 из 2
Доступно
3 из 3
Доступно
1 из 1
Книга
Левин, В. И.
Бесконечнозначная логика в задачах кибернетики
Радио и связь, 1982 г.
ISBN отсутствует
Левин, В. И.
Бесконечнозначная логика в задачах кибернетики
Радио и связь, 1982 г.
ISBN отсутствует
Доступно
2 из 2
Книга
Яглома, И. М
Булева структура и ее модели
ISBN отсутствует
Яглома, И. М
Булева структура и ее модели
Серия: Кибернетика
Советское радио, 1980 г.ISBN отсутствует
Доступно
3 из 3
Доступно
4 из 5
Книга
Логачев, О. А.
Булевы функции в теории кодирования и криптологии: Информационная безопасность: Криптография
МЦНМО, 2004 г.
ISBN 5-940571-17-4
Логачев, О. А.
Булевы функции в теории кодирования и криптологии: Информационная безопасность: Криптография
МЦНМО, 2004 г.
ISBN 5-940571-17-4
Доступно
1 из 1
Книга
Виленкин, Н. Я.
В поисках бесконечности
ISBN отсутствует
Виленкин, Н. Я.
В поисках бесконечности
Серия: Наука и технический прогресс
Наука, 1983 г.ISBN отсутствует
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Доступно
2 из 2
Книга
Глушков, В. М.
Введение в кибернетику
Эдиториал УРСС, Эдиториал УРСС, 2024 г.
ISBN 978-5-9519-4222-7
Глушков, В. М.
Введение в кибернетику
Эдиториал УРСС, Эдиториал УРСС, 2024 г.
ISBN 978-5-9519-4222-7
Доступно
1 из 1
Книга
Тарский, А
Введение в логику и методологию дедуктивных наук
Изд-во иностранной лит., 1948 г.
ISBN отсутствует
Тарский, А
Введение в логику и методологию дедуктивных наук
Изд-во иностранной лит., 1948 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
32 из 33
Доступно
25 из 26
Доступно
2 из 2
Доступно
2 из 2
Книга
Колмогоров, А. Н.
Введение в математическую логику: учебное пособие для спец. матем. вузов
Изд-во МГУ, 1982 г.
ISBN отсутствует
Колмогоров, А. Н.
Введение в математическую логику: учебное пособие для спец. матем. вузов
Изд-во МГУ, 1982 г.
ISBN отсутствует
Доступно
2 из 2
Книга
Черч, А.
Введение в математическую логику. Т.1
Introduction to mathematical logic
Эдиториал УРСС, 2009 г.
ISBN 978-5-397-00468-8
Черч, А.
Введение в математическую логику. Т.1
Introduction to mathematical logic
Эдиториал УРСС, 2009 г.
ISBN 978-5-397-00468-8
Доступно
2 из 2
Книга
Черч, А.
Введение в математическую логику. Т.1
Introduction to mathematical logic
Изд-во иностранной лит., 1960 г.
ISBN отсутствует
Черч, А.
Введение в математическую логику. Т.1
Introduction to mathematical logic
Изд-во иностранной лит., 1960 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Книга
Гладкий, А. В.
Введение в современную логику: [учебное пособие]
Эдиториал УРСС, 2022 г.
ISBN 978-5-9519-2807-8
Гладкий, А. В.
Введение в современную логику: [учебное пособие]
Эдиториал УРСС, 2022 г.
ISBN 978-5-9519-2807-8
Экз. чит. зала
Доступно
1 из 1
Книга
Александров, П. С.
Введение в теорию множеств и общую топологию
Физматлит, 2009 г.
ISBN 978-5-922110-87-7
Александров, П. С.
Введение в теорию множеств и общую топологию
Физматлит, 2009 г.
ISBN 978-5-922110-87-7
Доступно
3 из 3
Доступно
2 из 3
Книга
Александров, П. С.
Введение в теорию множеств и общую топологию: Учебное пособие для студентов математических специальностей вузов
Эдиториал УРСС, 2004 г.
ISBN отсутствует
Александров, П. С.
Введение в теорию множеств и общую топологию: Учебное пособие для студентов математических специальностей вузов
Эдиториал УРСС, 2004 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Александров, П. С.
Введение в теорию множеств и общую топологию: учебное пособие
Лань-Пресс, 2010 г.
ISBN 978-5-8114-0981-5
Александров, П. С.
Введение в теорию множеств и общую топологию: учебное пособие
Лань-Пресс, 2010 г.
ISBN 978-5-8114-0981-5
Доступно
2 из 2
Доступно
3 из 3
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Кларк, мл., Э. М.
Верификация моделей программ: Model Checking
МЦНМО, 2002 г.
ISBN 5-940570-54-2
Кларк, мл., Э. М.
Верификация моделей программ: Model Checking
МЦНМО, 2002 г.
ISBN 5-940570-54-2
Доступно
1 из 1
Книга
Морозов, А. Д.
Визуализация и анализ инвариантных множеств динамических систем
Ин-т компьют. исслед., 2003 г.
ISBN 5-939722-60-1
Морозов, А. Д.
Визуализация и анализ инвариантных множеств динамических систем
Ин-т компьют. исслед., 2003 г.
ISBN 5-939722-60-1
Доступно
1 из 1
Книга
Вопросы анализа вычислительной сложности алгоритмов: [сборник статей]
Ин-т кибернетики АН УССР, 1979 г.
ISBN отсутствует
Вопросы анализа вычислительной сложности алгоритмов: [сборник статей]
Ин-т кибернетики АН УССР, 1979 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып. 5: сборник статей
Фан, 1966 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып. 5: сборник статей
Фан, 1966 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.10: сборник статей
Фан, 1967 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.10: сборник статей
Фан, 1967 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.11: сборник статей
Фан, 1967 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.11: сборник статей
Фан, 1967 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.12: сборник статей
Фан, 1967 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.12: сборник статей
Фан, 1967 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.13: сборник статей
Фан, 1967 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.13: сборник статей
Фан, 1967 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.14: сборник статей
Фан, 1968 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.14: сборник статей
Фан, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.15: сборник статей
Фан, 1968 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.15: сборник статей
Фан, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.16: сборник статей
Фан, 1968 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.16: сборник статей
Фан, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.17: сборник статей
Фан, 1968 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.17: сборник статей
Фан, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.19: сборник статей
Фан, 1968 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.19: сборник статей
Фан, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.20: сборник статей
Фан, 1968 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.20: сборник статей
Фан, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.21 Методы проектирования крупных газовых мес...
Фан, 1968 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.21 Методы проектирования крупных газовых мес...
Фан, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.22: сборник статей
Фан, 1968 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.22: сборник статей
Фан, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.23: сборник статей
Фан, 1968 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.23: сборник статей
Фан, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.24: сборник статей
Фан, 1969 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.24: сборник статей
Фан, 1969 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.25: сборник статей
Фан, 1969 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.25: сборник статей
Фан, 1969 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.26: сборник статей
Фан, 1969 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.26: сборник статей
Фан, 1969 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.27 Многоресурсная система сетевого планирова...
Фан, 1969 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.27 Многоресурсная система сетевого планирова...
Фан, 1969 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.29: сборник статей
Фан, 1969 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.29: сборник статей
Фан, 1969 г.
ISBN отсутствует
Доступно
1 из 1