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