Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика
----> основания математики
Печать списка
--> Математика
----> основания математики
Рубрика
- Название:
- основания математики
- Название:
- вычисления, алгоритмы и вычислимые (рекурсивные) функции. Булевы функции
- Название:
- основания математики и математическая логика
- Название:
- основания математики, теория множеств
- Название:
- математическая логика
- Название:
- теория множеств
- Название:
- теория вычислимости
Печать списка
Связанные описания:
Книга
Вопросы кибернетики и вычислительной математики. Вып.35: сборник статей
Редакционно-издательский совет АН УзССР, 1970 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.35: сборник статей
Редакционно-издательский совет АН УзССР, 1970 г.
ISBN отсутствует
Книга
Вопросы кибернетики и вычислительной математики. Вып.36: сборник статей
Редакционно-издательский совет АН УзССР, 1970 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.36: сборник статей
Редакционно-издательский совет АН УзССР, 1970 г.
ISBN отсутствует
Книга
Вопросы кибернетики и вычислительной математики. Вып.37: сборник статей
Редакционно-издательский совет АН УзССР, 1970 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.37: сборник статей
Редакционно-издательский совет АН УзССР, 1970 г.
ISBN отсутствует
Книга
Вопросы кибернетики и вычислительной математики. Вып.6: сборник статей
Фан, 1967 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.6: сборник статей
Фан, 1967 г.
ISBN отсутствует
Книга
Вопросы кибернетики и вычислительной математики. Вып.7: сборник статей
Фан, 1967 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.7: сборник статей
Фан, 1967 г.
ISBN отсутствует
Книга
Вопросы кибернетики и вычислительной математики. Вып.9: сборник статей
Фан, 1967 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.9: сборник статей
Фан, 1967 г.
ISBN отсутствует
Книга
Вопросы кибернетики и вычислительной техники. Вып.8: сборник статей
Фан, 1967 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной техники. Вып.8: сборник статей
Фан, 1967 г.
ISBN отсутствует
Книга
Вопросы кибернетики. Выпуск 134. Сложность вычислений и прикладная математическая логика
[б. и.], 1988 г.
ISBN отсутствует
Вопросы кибернетики. Выпуск 134. Сложность вычислений и прикладная математическая логика
[б. и.], 1988 г.
ISBN отсутствует
Книга
Вопросы математической логики и теории алгоритмов
Вычислит. центр АН СССР, 1988 г.
ISBN отсутствует
Вопросы математической логики и теории алгоритмов
Вычислит. центр АН СССР, 1988 г.
ISBN отсутствует
Книга
Вопросы разработки и применения математических методов и ЭВМ: сборник статей
Ин-т кибернетики АН УССР, 1979 г.
ISBN отсутствует
Вопросы разработки и применения математических методов и ЭВМ: сборник статей
Ин-т кибернетики АН УССР, 1979 г.
ISBN отсутствует
Книга
Магарил-Ильяев Г. Г.
Выпуклый анализ и его приложения
Эдиториал УРСС, 2000 г.
ISBN 5-8360-0114-6
Магарил-Ильяев Г. Г.
Выпуклый анализ и его приложения
Эдиториал УРСС, 2000 г.
ISBN 5-8360-0114-6
Книга
Тихомиров В. М.
Выпуклый анализ и его приложения
ISBN 5-940570-11-9
Тихомиров В. М.
Выпуклый анализ и его приложения
Серия: Современная математика
МЦНМО, 2001 г.ISBN 5-940570-11-9
Книга
Соар Р. И.
Вычислимо перечислимые множества и степени: Изучение вычислимых функций и вычислимо перечисляемых...
Казанское математическое общество, 2000 г.
ISBN 5-900975-22-3
Соар Р. И.
Вычислимо перечислимые множества и степени: Изучение вычислимых функций и вычислимо перечисляемых...
Казанское математическое общество, 2000 г.
ISBN 5-900975-22-3
Книга
Вычислительные системы. Вып.129. Теория алгоритмов и ее приложения: сборник научных трудов
[б.и.], 1989 г.
ISBN отсутствует
Вычислительные системы. Вып.129. Теория алгоритмов и ее приложения: сборник научных трудов
[б.и.], 1989 г.
ISBN отсутствует
Книга
Вычислительные системы. Сборник научных трудов. Вып.146. Логика и семантическое программирование: Сборник статей
1992 г.
ISBN 5-7623-0417-5
Вычислительные системы. Сборник научных трудов. Вып.146. Логика и семантическое программирование: Сборник статей
1992 г.
ISBN 5-7623-0417-5
Книга
Вычислительные системы. Сборник научных трудов. Вып.165 : Структурные и сложностные проблемы вычи...: Сборник статей
1999 г.
ISBN отсутствует
Вычислительные системы. Сборник научных трудов. Вып.165 : Структурные и сложностные проблемы вычи...: Сборник статей
1999 г.
ISBN отсутствует
Книга
Кузнецова, И. С
Гносеологические проблемы математического знания
Изд-во ЛГУ, 1984 г.
ISBN отсутствует
Кузнецова, И. С
Гносеологические проблемы математического знания
Изд-во ЛГУ, 1984 г.
ISBN отсутствует
Книга
Гастев Ю. А.
Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования
ISBN 978-5-397-00585-2
Гастев Ю. А.
Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования
Серия: Из истории логики XX века
Эдиториал УРСС, 2009 г.ISBN 978-5-397-00585-2
Книга
Бутаков, Е. А.
Диагностика программируемых логических матриц
Радио и связь, 1991 г.
ISBN 5-256-00457-3
Бутаков, Е. А.
Диагностика программируемых логических матриц
Радио и связь, 1991 г.
ISBN 5-256-00457-3
Книга
Макоха А. Н.
Дискретная математика: учебное пособие по направлению подготовки бакалавров и магистров 511600 "Прикладные математика и физика"
Физматлит, 2005 г.
ISBN 5-922106-30-9
Макоха А. Н.
Дискретная математика: учебное пособие по направлению подготовки бакалавров и магистров 511600 "Прикладные математика и физика"
Физматлит, 2005 г.
ISBN 5-922106-30-9
Книга
Гладков, Л. А.
Дискретная математика: учебник по направлениям "Информатика и вычислительная техника" и "Информационные системы"
Физматлит, 2014 г.
ISBN 978-5-9221-1575-9
Гладков, Л. А.
Дискретная математика: учебник по направлениям "Информатика и вычислительная техника" и "Информационные системы"
Физматлит, 2014 г.
ISBN 978-5-9221-1575-9
Книга
Аляев Ю. А.
Дискретная математика и математическая логика: учебник для вузов по специальности "Прикладная информатика (по областям)" и другим экономическим специальностям
Финансы и статистика, 2006 г.
ISBN 5-279-03045-7
Аляев Ю. А.
Дискретная математика и математическая логика: учебник для вузов по специальности "Прикладная информатика (по областям)" и другим экономическим специальностям
Финансы и статистика, 2006 г.
ISBN 5-279-03045-7
Книга
Дискретная математика и математические вопросы кибернетики. Том 1
Наука, 1974 г.
ISBN отсутствует
Дискретная математика и математические вопросы кибернетики. Том 1
Наука, 1974 г.
ISBN отсутствует
Книга
Авдошин, С. М.
Дискретная математика. Алгоритмы: теория и практика
ДМК Пресс, 2019 г.
ISBN 978-5-97060-688-9
Авдошин, С. М.
Дискретная математика. Алгоритмы: теория и практика
ДМК Пресс, 2019 г.
ISBN 978-5-97060-688-9
Книга
Авдошин, С. М.
Дискретная математика. Формально-логические системы и языки
ДМК Пресс, 2018 г.
ISBN 978-5-97060-622-3
Авдошин, С. М.
Дискретная математика. Формально-логические системы и языки
ДМК Пресс, 2018 г.
ISBN 978-5-97060-622-3
Книга
Акимов О. Е.
Дискретная математика: логика, группы, графы, фракталы
Акимова, 2005 г.
ISBN отсутствует
Акимов О. Е.
Дискретная математика: логика, группы, графы, фракталы
Акимова, 2005 г.
ISBN отсутствует
Книга
Береснев В. Л.
Дискретные задачи размещения и полиномы от булевых переменных
Изд-во Ин-та математики им. С.Л. Соболева СО РАН, 2005 г.
ISBN 5-86134-129-X
Береснев В. Л.
Дискретные задачи размещения и полиномы от булевых переменных
Изд-во Ин-та математики им. С.Л. Соболева СО РАН, 2005 г.
ISBN 5-86134-129-X
Книга
Журавлев Ю. И.
Дискретный анализ. Формальные системы и алгоритмы: учебное пособие для студентов вузов, обучающихся по естественнонаучным направлениям
ISBN 978-5-534-06279-3
Журавлев Ю. И.
Дискретный анализ. Формальные системы и алгоритмы: учебное пособие для студентов вузов, обучающихся по естественнонаучным направлениям
Серия: Высшее образование
Юрайт, 2024 г.ISBN 978-5-534-06279-3
Книга
Лакатос, И.
Доказательства и опровержения. Как доказываются теоремы
Наука, 1967 г.
ISBN отсутствует
Лакатос, И.
Доказательства и опровержения. Как доказываются теоремы
Наука, 1967 г.
ISBN отсутствует
Книга
Лакатос, И.
Доказательства и опровержения. Как доказываются теоремы
Эдиториал УРСС, 2010 г.
ISBN 978-5-382-01024-3
Лакатос, И.
Доказательства и опровержения. Как доказываются теоремы
Эдиториал УРСС, 2010 г.
ISBN 978-5-382-01024-3
Книга
Бирюков, Б. В.
Жар холодных чисел и пафос бесстрастной логики: формализация мышления от античных времен до эпохи кибернетики
ISBN отсутствует
Бирюков, Б. В.
Жар холодных чисел и пафос бесстрастной логики: формализация мышления от античных времен до эпохи кибернетики
Серия: Наука и прогресс
Знание, 1985 г.ISBN отсутствует
Книга
Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов: учебное пособие для вузов по специальностям в области 090100 "Информационная безопасность"
Лань-Пресс, 2008 г.
ISBN 978-5-8114-0853-5
Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов: учебное пособие для вузов по специальностям в области 090100 "Информационная безопасность"
Лань-Пресс, 2008 г.
ISBN 978-5-8114-0853-5
Книга
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2009 г.
ISBN 978-5-9221-0026-7
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2009 г.
ISBN 978-5-9221-0026-7
Книга
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1984 г.
ISBN отсутствует
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1984 г.
ISBN отсутствует
Книга
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2004 г.
ISBN 5-922100-26-2
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2004 г.
ISBN 5-922100-26-2
Книга
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2001 г.
ISBN 5-922100-26-2
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2001 г.
ISBN 5-922100-26-2
Книга
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 1995 г.
ISBN отсутствует
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 1995 г.
ISBN отсутствует
Книга
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует
Книга
Волков, В. А.
Задачник - практикум по высшей математике. Множества. Функции. Предел. Непрерывность. Производная: учебное пособие
Изд-во Ленингр. ун-та, 1988 г.
ISBN отсутствует
Волков, В. А.
Задачник - практикум по высшей математике. Множества. Функции. Предел. Непрерывность. Производная: учебное пособие
Изд-во Ленингр. ун-та, 1988 г.
ISBN отсутствует
Книга
Закономерности развития современной математики. Методологические аспекты
Наука, 1987 г.
ISBN отсутствует
Закономерности развития современной математики. Методологические аспекты
Наука, 1987 г.
ISBN отсутствует
Книга
Лихтарников Л. М.
Занимательные логические задачи: Для учащихся начальной школы
Лань-Пресс, 1996 г.
ISBN 5-86617-029-9
Лихтарников Л. М.
Занимательные логические задачи: Для учащихся начальной школы
Лань-Пресс, 1996 г.
ISBN 5-86617-029-9
Книга
Вагин, В. Н.
Знания и убеждения в интеллектуальном анализе данных: [монорафия]
Физматлит, 2019 г.
ISBN 978-5-9221-1841-5
Вагин, В. Н.
Знания и убеждения в интеллектуальном анализе данных: [монорафия]
Физматлит, 2019 г.
ISBN 978-5-9221-1841-5
Книга
Кокс Д.
Идеалы, многообразия и алгоритмы: Введение в вычислительные аспекты алгебраической геометрии и ко...
Мир, 2000 г.
ISBN 5-03-003320-3
Кокс Д.
Идеалы, многообразия и алгоритмы: Введение в вычислительные аспекты алгебраической геометрии и ко...
Мир, 2000 г.
ISBN 5-03-003320-3
Книга
Колобов, А. М
Избранные главы высшей математики. Ч.3.Методы математической физики (дифференциальные уравнения в...
Высшая школа, 1971 г.
ISBN отсутствует
Колобов, А. М
Избранные главы высшей математики. Ч.3.Методы математической физики (дифференциальные уравнения в...
Высшая школа, 1971 г.
ISBN отсутствует
Книга
Избранные задачи из журнала " American mathematical monthly". Задачи и олимпиады: [Сборник]
Мир, 1977 г.
ISBN отсутствует
Избранные задачи из журнала " American mathematical monthly". Задачи и олимпиады: [Сборник]
Мир, 1977 г.
ISBN отсутствует
Книга
Вейль, Г.
Избранные труды. Математика. Теоретическая физика
ISBN отсутствует
Вейль, Г.
Избранные труды. Математика. Теоретическая физика
Серия: Классики науки
Наука, 1984 г.ISBN отсутствует
Книга
Мальцев, А. И.
Избранные труды. Т.2. Математическая логика и общая теория алгебраических систем
Наука, 1976 г.
ISBN отсутствует
Мальцев, А. И.
Избранные труды. Т.2. Математическая логика и общая теория алгебраических систем
Наука, 1976 г.
ISBN отсутствует
Книга
Новиков, П. С
Избранные труды. Теория множеств и фукций. Математическая логика и алгебра
Наука, 1979 г.
ISBN отсутствует
Новиков, П. С
Избранные труды. Теория множеств и фукций. Математическая логика и алгебра
Наука, 1979 г.
ISBN отсутствует
Книга
Инвариантные множества динамических систем в Windows
Эдиториал УРСС, 1998 г.
ISBN 5-901006-59-3
Инвариантные множества динамических систем в Windows
Эдиториал УРСС, 1998 г.
ISBN 5-901006-59-3
Книга
Кутергин, В. А.
Инженерные теории с конструктивной точки зрения. Множество геометрий и множество моделей искусств...: монография
Лань-Пресс, 2015 г.
ISBN 978-5-8114-1879-4
Кутергин, В. А.
Инженерные теории с конструктивной точки зрения. Множество геометрий и множество моделей искусств...: монография
Лань-Пресс, 2015 г.
ISBN 978-5-8114-1879-4
Книга
Горбаченко, В. И.
Интеллектуальные системы : нечеткие системы и сети: учебное пособие для вузов
ISBN 978-5-534-08359-0
Горбаченко, В. И.
Интеллектуальные системы : нечеткие системы и сети: учебное пособие для вузов
Серия: Высшее образование
Юрайт, 2024 г.ISBN 978-5-534-08359-0
Книга
Назаров, Д. М.
Интеллектуальные системы: основы теории нечетких множеств: учебное пособие для студентов вузов, обучающихся по инженерно-техническим направлениям
ISBN 978-5-534-07496-3
Назаров, Д. М.
Интеллектуальные системы: основы теории нечетких множеств: учебное пособие для студентов вузов, обучающихся по инженерно-техническим направлениям
Серия: Высшее образование
Юрайт, 2020 г.ISBN 978-5-534-07496-3
Книга
Искусственный интеллект - основа новой информационной технологии: сборник научных трудов
Центрпрограммсистем, 1990 г.
ISBN отсутствует
Искусственный интеллект - основа новой информационной технологии: сборник научных трудов
Центрпрограммсистем, 1990 г.
ISBN отсутствует
Отчет
Исследование и разработка методов формирования признакового пространства временных зависимостей д...: НИР
2021 г.
ISBN отсутствует
Исследование и разработка методов формирования признакового пространства временных зависимостей д...: НИР
2021 г.
ISBN отсутствует
Книга
Исследования по конструктивной математике и математической логике. VIII
Наука, 1979 г.
ISBN отсутствует
Исследования по конструктивной математике и математической логике. VIII
Наука, 1979 г.
ISBN отсутствует
Книга
Исследования по теории алгорифмов и математической логике: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
Исследования по теории алгорифмов и математической логике: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
Книга
Исследования по теории множеств и неклассическим логикам: [сборник статей]
Наука, 1976 г.
ISBN отсутствует
Исследования по теории множеств и неклассическим логикам: [сборник статей]
Наука, 1976 г.
ISBN отсутствует
Книга
Имре Ш.
Квантовые вычисления и связь. Инженерный подход
Физматлит, 2008 г.
ISBN 978-5-922109-93-2
Имре Ш.
Квантовые вычисления и связь. Инженерный подход
Физматлит, 2008 г.
ISBN 978-5-922109-93-2