Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 3
Доступно
1 из 4
Доступно
2 из 10
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 3
Доступно
1 из 4
Доступно
1 из 2
Доступно
1 из 3
Доступно
1 из 3
Доступно
1 из 30
Доступно
1 из 10
Доступно
1 из 10
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 12
Доступно
1 из 1
Доступно
1 из 2
Доступно
2 из 10
Доступно
1 из 11
Доступно
1 из 1
Доступно
2 из 21
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 4
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 4
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 60
Доступно
1 из 1
Доступно
1 из 116
Доступно
1 из 1
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Рубрика
- Название:
- математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Связанные описания:
Доступно
1 из 2
Доступно
1 из 1
Автореферат
Козлов, Р. А.
Точные представления конечного типа конформных алгебр Ли: автореф. дис. ... канд. физ.-мат. наук : 1.1.5
Ин-т математики им. С. Л. Соболева СО РАН, 2023 г.
ISBN отсутствует
Козлов, Р. А.
Точные представления конечного типа конформных алгебр Ли: автореф. дис. ... канд. физ.-мат. наук : 1.1.5
Ин-т математики им. С. Л. Соболева СО РАН, 2023 г.
ISBN отсутствует
Доступно
1 из 3
Книга
Кнут, Д. Э.
Устойчивые паросочетания и другие комбинаторные задачи: введение в мат. анализ алгоритмов
МЦНМО, 2014 г.
ISBN 978-5-443-90142-8
Кнут, Д. Э.
Устойчивые паросочетания и другие комбинаторные задачи: введение в мат. анализ алгоритмов
МЦНМО, 2014 г.
ISBN 978-5-443-90142-8
Доступно
1 из 4
Доступно
2 из 10
Книга
Светлов, В. А.
Философия математики. Основные программы обоснования математики ХХ столетия: учеб. пособие для вузов
УРСС, КомКнига, 2006 г.
ISBN 5-484-00453-5
Светлов, В. А.
Философия математики. Основные программы обоснования математики ХХ столетия: учеб. пособие для вузов
УРСС, КомКнига, 2006 г.
ISBN 5-484-00453-5
Доступно
1 из 1
Книга
Светлов, В. А.
Философия математики. Основные программы обоснования математики ХХ столетия: учебное пособие
КомКнига, 2010 г.
ISBN 978-5-484-01124-7
Светлов, В. А.
Философия математики. Основные программы обоснования математики ХХ столетия: учебное пособие
КомКнига, 2010 г.
ISBN 978-5-484-01124-7
Доступно
1 из 1
Книга
Рамсей, Ф. П.
Философские работы
ISBN 978-5-88373-081-7
Рамсей, Ф. П.
Философские работы
Серия: Б-ка аналитической философии
Канон+, 2011 г.ISBN 978-5-88373-081-7
Доступно
1 из 3
Книга
Герасимова, И. А.
Формальная грамматика и интенсиональная логика
ИФРАН, 2000 г.
ISBN отсутствует
Герасимова, И. А.
Формальная грамматика и интенсиональная логика
ИФРАН, 2000 г.
ISBN отсутствует
Доступно
1 из 4
Книга
Гладкий, А. В.
Формальные грамматики и языки
Наука. Гл. ред. физ.-мат. лит., 1973 г.
ISBN отсутствует
Гладкий, А. В.
Формальные грамматики и языки
Наука. Гл. ред. физ.-мат. лит., 1973 г.
ISBN отсутствует
Доступно
1 из 2
Доступно
1 из 3
Книга
Потемкин, И. С.
Функциональные узлы цифровой автоматики
Энергоатомиздат, 1988 г.
ISBN 5-283-01478-9
Потемкин, И. С.
Функциональные узлы цифровой автоматики
Энергоатомиздат, 1988 г.
ISBN 5-283-01478-9
Доступно
1 из 3
Доступно
1 из 30
Доступно
1 из 10
Доступно
1 из 10
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 12
Доступно
1 из 1
Доступно
1 из 2
Доступно
2 из 10
Доступно
1 из 11
Доступно
1 из 1
Доступно
2 из 21
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 4
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 2
Книга
Степанов, А. И.
Число и культура: рациональное бессознательное в языке, литературе, науке, современной политике, философии, истории
Языки славянской культуры, 2004 г.
ISBN отсутствует
Степанов, А. И.
Число и культура: рациональное бессознательное в языке, литературе, науке, современной политике, философии, истории
Языки славянской культуры, 2004 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Феферман, С.
Числовые системы: основания алгебры и анализа
Наука. Гл. ред. физ.-мат. лит., 1971 г.
ISBN отсутствует
Феферман, С.
Числовые системы: основания алгебры и анализа
Наука. Гл. ред. физ.-мат. лит., 1971 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Петцольд, Ч.
Читаем Тьюринга: путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга
ДМК Пресс, 2014 г.
ISBN 978-5-9706001-0-8
Петцольд, Ч.
Читаем Тьюринга: путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга
ДМК Пресс, 2014 г.
ISBN 978-5-9706001-0-8
Доступно
1 из 1
Доступно
1 из 1
Книга
Калужнин, Л. А.
Что такое математическая логика?
Наука. Гл. ред. физ.-мат. лит., 1964 г.
ISBN отсутствует
Калужнин, Л. А.
Что такое математическая логика?
Наука. Гл. ред. физ.-мат. лит., 1964 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Успенский, В. А.
Что такое нестандартный анализ?
Наука. Гл. ред. физ.-мат. лит., 1987 г.
ISBN отсутствует
Успенский, В. А.
Что такое нестандартный анализ?
Наука. Гл. ред. физ.-мат. лит., 1987 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Гончарова, Г. А.
Элементы дискретной математики: учеб. пособие для сред. проф. образования
ФОРУМ, ИНФРА-М, 2005 г.
ISBN 5-8199-0059-6
Гончарова, Г. А.
Элементы дискретной математики: учеб. пособие для сред. проф. образования
ФОРУМ, ИНФРА-М, 2005 г.
ISBN 5-8199-0059-6
Доступно
1 из 4
Книга
Новиков, П. С.
Элементы математической логики
Наука. Гл. ред. физ.-мат. лит., 1973 г.
ISBN отсутствует
Новиков, П. С.
Элементы математической логики
Наука. Гл. ред. физ.-мат. лит., 1973 г.
ISBN отсутствует
Доступно
1 из 2
Доступно
1 из 2
Книга
Косовский, Н. К.
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учеб. пособие
Изд-во Ленингр. ун-та, 1981 г.
ISBN отсутствует
Косовский, Н. К.
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учеб. пособие
Изд-во Ленингр. ун-та, 1981 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Слупецкий, Е.
Элементы математической логики и теория множеств
Прогресс, 1965 г.
ISBN отсутствует
Слупецкий, Е.
Элементы математической логики и теория множеств
Прогресс, 1965 г.
ISBN отсутствует
Доступно
1 из 60
Книга
Колмогоров, А. Н.
Элементы теории функций и функционального анализа
Физматлит, 2006 г.
ISBN 5-922102-66-4
Колмогоров, А. Н.
Элементы теории функций и функционального анализа
Физматлит, 2006 г.
ISBN 5-922102-66-4
Доступно
1 из 1
Книга
Колмогоров, А. Н.
Элементы теории функций и функционального анализа
Физматлит, 2009 г.
ISBN 978-5-9221-0266-7
Колмогоров, А. Н.
Элементы теории функций и функционального анализа
Физматлит, 2009 г.
ISBN 978-5-9221-0266-7
Доступно
1 из 116
Книга
Колмогоров, А. Н.
Элементы теории функций и функционального анализа: учебник для вузов
Наука. Гл. ред. физ.-мат. лит., 1989 г.
ISBN отсутствует
Колмогоров, А. Н.
Элементы теории функций и функционального анализа: учебник для вузов
Наука. Гл. ред. физ.-мат. лит., 1989 г.
ISBN отсутствует
Доступно
1 из 1