Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика
----> основания математики
Печать списка
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
6 из 6
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
193 из 198
Доступно
2 из 2
Доступно
2 из 3
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
5 из 7
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Доступно
30 из 30
Доступно
1 из 1
Доступно
1 из 3
Доступно
1 из 1
Доступно
2 из 3
Экз. чит. зала
Доступно
2 из 4
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 3
Доступно
1 из 1
Доступно
2 из 2
Экз. чит. зала
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 3
Экз. чит. зала
Доступно
1 из 2
Доступно
1 из 1
Доступно
5 из 7
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
2 из 2
Доступно
4 из 4
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 3
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
--> Математика
----> основания математики
Рубрика
- Название:
- основания математики
- Название:
- вычисления, алгоритмы и вычислимые (рекурсивные) функции. Булевы функции
- Название:
- основания математики и математическая логика
- Название:
- основания математики, теория множеств
- Название:
- математическая логика
- Название:
- теория множеств
- Название:
- теория вычислимости
Печать списка
Связанные описания:
Доступно
2 из 2
Заказать 
На полку Доступно
1 из 1
Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 г.
ISBN отсутствует
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Математическая логика и алгоритмические проблемы: сборник статей
ISBN отсутствует
Математическая логика и алгоритмические проблемы: сборник статей
Серия: Труды института математики
Наука, 1989 г.ISBN отсутствует
Доступно
1 из 1
Книга
Карпов, В. Г.
Математическая логика и дискретная математика: учебное пособие для университетов по специальности "Прикладная математика"
Вышэйшая школа, 1977 г.
ISBN отсутствует
Карпов, В. Г.
Математическая логика и дискретная математика: учебное пособие для университетов по специальности "Прикладная математика"
Вышэйшая школа, 1977 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
6 из 6
Книга
Набебин, А. А.
Математическая логика и пролог
Mathematical logic and Prolog
Изд-во МЭИ, 2004 г.
ISBN отсутствует
Набебин, А. А.
Математическая логика и пролог
Mathematical logic and Prolog
Изд-во МЭИ, 2004 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Гуц, А. К.
Математическая логика и теория алгоритмов
Эдиториал УРСС, 2009 г.
ISBN 978-5-397-00056-7
Гуц, А. К.
Математическая логика и теория алгоритмов
Эдиториал УРСС, 2009 г.
ISBN 978-5-397-00056-7
Доступно
1 из 1
Книга
Игошин, В. И.
Математическая логика и теория алгоритмов: учебное пособие для вузов по специальности 032100 "Математика"
Академия, 2004 г.
ISBN 5-7695-1363-2
Игошин, В. И.
Математическая логика и теория алгоритмов: учебное пособие для вузов по специальности 032100 "Математика"
Академия, 2004 г.
ISBN 5-7695-1363-2
Доступно
1 из 1
Доступно
1 из 1
Книга
Судоплатов, С. В.
Математическая логика и теория алгоритмов: [учебник]
ISBN 978-5-7782-1838-3
Судоплатов, С. В.
Математическая логика и теория алгоритмов: [учебник]
Серия: Учебники НГТУ
Изд-во НГТУ, 2012 г.ISBN 978-5-7782-1838-3
Доступно
1 из 1
Книга
Пруцков, А. В.
Математическая логика и теория алгоритмов: учебник для вузов по направлению "Программная инженерия"
Курс, ИНФРА-М, 2017 г.
ISBN 978-5-906818-74-4
Пруцков, А. В.
Математическая логика и теория алгоритмов: учебник для вузов по направлению "Программная инженерия"
Курс, ИНФРА-М, 2017 г.
ISBN 978-5-906818-74-4
Доступно
193 из 198
Доступно
2 из 2
Книга
Игошин, В. И.
Математическая логика и теория алгоритмов: учебное пособие для вузов по специальности "Математика"
Академия, 2010 г.
ISBN 978-5-7695-7045-2
Игошин, В. И.
Математическая логика и теория алгоритмов: учебное пособие для вузов по специальности "Математика"
Академия, 2010 г.
ISBN 978-5-7695-7045-2
Доступно
2 из 3
Доступно
1 из 1
Доступно
1 из 1
Книга
Харин, Н. Н.
Математическая логика и теория множеств (О соотношении абстрактного и конкретного)
Росвузиздат, 1963 г.
ISBN отсутствует
Харин, Н. Н.
Математическая логика и теория множеств (О соотношении абстрактного и конкретного)
Росвузиздат, 1963 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Книга
Колмогоров, А. Н.
Математическая логика. Дополнительные главы: [учебное пособие]
Эдиториал УРСС, 2015 г.
ISBN 978-5-354-01492-7
Колмогоров, А. Н.
Математическая логика. Дополнительные главы: [учебное пособие]
Эдиториал УРСС, 2015 г.
ISBN 978-5-354-01492-7
Доступно
2 из 2
Книга
Колмогоров, А. Н.
Математическая логика. Дополнительные главы: учебное пособие для вузов по спец. "Математика"
Изд-во МГУ, 1984 г.
ISBN отсутствует
Колмогоров, А. Н.
Математическая логика. Дополнительные главы: учебное пособие для вузов по спец. "Математика"
Изд-во МГУ, 1984 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Лихтарников, Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения: учебное пособие
Лань-Пресс, 2008 г.
ISBN 978-5-8114-0082-9
Лихтарников, Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения: учебное пособие
Лань-Пресс, 2008 г.
ISBN 978-5-8114-0082-9
Доступно
1 из 2
Книга
Лихтарников, Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения: Учебное пособие для вузов по математическим специальностям
Лань-Пресс, 1998 г.
ISBN 5-8114-0082-9
Лихтарников, Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения: Учебное пособие для вузов по математическим специальностям
Лань-Пресс, 1998 г.
ISBN 5-8114-0082-9
Доступно
1 из 1
Книга
Гинзбург, С. А.
Математическая непрерывная логика и изображение функций
ISBN отсутствует
Гинзбург, С. А.
Математическая непрерывная логика и изображение функций
Серия: Б-ка по автоматике
Энергия, 1968 г.ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Книга
Дубровский, В. Н.
Математические головоломки. Вып.1 (До и после кубика Рубика)
Знание, 1990 г.
ISBN отсутствует
Дубровский, В. Н.
Математические головоломки. Вып.1 (До и после кубика Рубика)
Знание, 1990 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Математические методы построения и анализа алгоритмов: сборник статей
Наука, 1990 г.
ISBN отсутствует
Математические методы построения и анализа алгоритмов: сборник статей
Наука, 1990 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
5 из 7
Доступно
1 из 1
Книга
Гарднер, М.
Математические чудеса и тайны. Математические фокусы и головоломки
Мир, 1982 г.
ISBN отсутствует
Гарднер, М.
Математические чудеса и тайны. Математические фокусы и головоломки
Мир, 1982 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Гарднер, М.
Математические чудеса и тайны. Математические фокусы и головоломки
Мир, 1986 г.
ISBN отсутствует
Гарднер, М.
Математические чудеса и тайны. Математические фокусы и головоломки
Мир, 1986 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Драгалин, А. Г.
Математический интуиционизм. Введение в теорию докозательств
Наука, 1979 г.
ISBN отсутствует
Драгалин, А. Г.
Математический интуиционизм. Введение в теорию докозательств
Наука, 1979 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Книга
Математическое обеспечение систем логического вывода и дедуктивных построений на ЭВМ: Сборник научных трудов
[б.и.], 1983 г.
ISBN отсутствует
Математическое обеспечение систем логического вывода и дедуктивных построений на ЭВМ: Сборник научных трудов
[б.и.], 1983 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Стрыгин, В. З.
Матричная логика и комбинаторные машины: Препринт N 120
ЦАГИ, 1998 г.
ISBN отсутствует
Стрыгин, В. З.
Матричная логика и комбинаторные машины: Препринт N 120
ЦАГИ, 1998 г.
ISBN отсутствует
Доступно
2 из 2
Книга
Дидук, Г. А.
Машинные методы исследования автоматических систем
Энергоатомиздат, 1983 г.
ISBN отсутствует
Дидук, Г. А.
Машинные методы исследования автоматических систем
Энергоатомиздат, 1983 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Марченков, С. С.
Машины в теории вычислимых функций: учебное пособие
Инфра-Инженерия, 2024 г.
ISBN 978-5-9729-2057-0
Марченков, С. С.
Машины в теории вычислимых функций: учебное пособие
Инфра-Инженерия, 2024 г.
ISBN 978-5-9729-2057-0
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Книга
Менделеев, И. Д.
Метод математики. Логика и гносеология математических знаний
Эдиториал УРСС, 2011 г.
ISBN 978-5-382-01314-5
Менделеев, И. Д.
Метод математики. Логика и гносеология математических знаний
Эдиториал УРСС, 2011 г.
ISBN 978-5-382-01314-5
Доступно
30 из 30
Книга
Метод резолюций в логике предикатов как основа для языка программирования Пролог: Методические указания по курсу "Основы математического моделирования"
Изд-во МЭИ, 1990 г.
ISBN отсутствует
Метод резолюций в логике предикатов как основа для языка программирования Пролог: Методические указания по курсу "Основы математического моделирования"
Изд-во МЭИ, 1990 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 3
Книга
Методические указания и описания лабораторных работ по курсу "Математическая логика": Основы язык...
1996 г.
ISBN отсутствует
Методические указания и описания лабораторных работ по курсу "Математическая логика": Основы язык...
1996 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Методические указания к повторению курса элементарной математики. Алгебра. Тригонометрия. Элемент...
1962 г.
ISBN отсутствует
Методические указания к повторению курса элементарной математики. Алгебра. Тригонометрия. Элемент...
1962 г.
ISBN отсутствует
Доступно
2 из 3
Книга
Методические указания по курсу "Высшая математика":Логико-математическая терминология и символика...
1996 г.
ISBN отсутствует
Методические указания по курсу "Высшая математика":Логико-математическая терминология и символика...
1996 г.
ISBN отсутствует
Экз. чит. зала
Книга
Методические указания по курсу "Математическая логика и теория алгоритмов" : Язык программировани...
1992 г.
ISBN отсутствует
Методические указания по курсу "Математическая логика и теория алгоритмов" : Язык программировани...
1992 г.
ISBN отсутствует
Доступно
2 из 4
Книга
Набебин, А. А.
Методические указания по курсу "Основы математического моделирования" : Монадическая логика и Про...
1992 г.
ISBN отсутствует
Набебин, А. А.
Методические указания по курсу "Основы математического моделирования" : Монадическая логика и Про...
1992 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Книга
Кедровский, О. И
Методологические проблемы развития математического познания
Вища школа, 1977 г.
ISBN отсутствует
Кедровский, О. И
Методологические проблемы развития математического познания
Вища школа, 1977 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
2 из 2
Книга
Рвачев, В. Л.
Методы алгебры логики в математической физике
Наукова думка, 1974 г.
ISBN отсутствует
Рвачев, В. Л.
Методы алгебры логики в математической физике
Наукова думка, 1974 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Методы дискретного анализа в изучении булевых функций и графиков: сборник научных трудов №48
АН СССР. Сиб. отд-ние. Ин-т математики, 1989 г.
ISBN отсутствует
Методы дискретного анализа в изучении булевых функций и графиков: сборник научных трудов №48
АН СССР. Сиб. отд-ние. Ин-т математики, 1989 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Методы дискретного анализа в изучении булевых функций и графиков: сборник трудов №37
АН СССР. Сиб. отд-ние. Ин-т математики, 1981 г.
ISBN отсутствует
Методы дискретного анализа в изучении булевых функций и графиков: сборник трудов №37
АН СССР. Сиб. отд-ние. Ин-т математики, 1981 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Методы дискретного анализа в синтезе реализаций булевых функций. Вып. 51: сборник научных трудов
[б. и.], 1991 г.
ISBN отсутствует
Методы дискретного анализа в синтезе реализаций булевых функций. Вып. 51: сборник научных трудов
[б. и.], 1991 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Каипов, В. Х.
Методы обработки данных в системах с нечеткой информацией
Илим, 1988 г.
ISBN отсутствует
Каипов, В. Х.
Методы обработки данных в системах с нечеткой информацией
Илим, 1988 г.
ISBN отсутствует
Экз. чит. зала
Отчет
Методы поддержки принятия решений на основе обработки разноструктурированных и полиформатных данн...: НИР
2022 г.
ISBN отсутствует
Методы поддержки принятия решений на основе обработки разноструктурированных и полиформатных данн...: НИР
2022 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 3
Книга
Многозначные логики и их применения. Т.1. Логические исчисления, алгебры и функциональные свойства
Эдиториал УРСС, 2008 г.
ISBN 978-5-382-00768-7
Многозначные логики и их применения. Т.1. Логические исчисления, алгебры и функциональные свойства
Эдиториал УРСС, 2008 г.
ISBN 978-5-382-00768-7
Доступно
1 из 1
Книга
Многозначные логики и их применения. Т.2. Логики в системах искусственного интеллекта
Эдиториал УРСС, 2008 г.
ISBN 978-5-382-00777-9
Многозначные логики и их применения. Т.2. Логики в системах искусственного интеллекта
Эдиториал УРСС, 2008 г.
ISBN 978-5-382-00777-9
Доступно
2 из 2
Экз. чит. зала
Доступно
2 из 2
Книга
Филимоненкова, Н. В.
Множества и отображения: интенсивное введение в математический анализ для студентов технических в...: учебное пособие
Лань-Пресс, 2017 г.
ISBN 978-5-8114-2391-0
Филимоненкова, Н. В.
Множества и отображения: интенсивное введение в математический анализ для студентов технических в...: учебное пособие
Лань-Пресс, 2017 г.
ISBN 978-5-8114-2391-0
Доступно
1 из 1
Книга
Столл, Р. Р.
Множества. Логика. Аксиоматические теории
ISBN отсутствует
Столл, Р. Р.
Множества. Логика. Аксиоматические теории
Серия: Математическое просвящение
Просвещение, 1968 г.ISBN отсутствует
Доступно
2 из 3
Экз. чит. зала
Отчет
Моделирование рассуждений когнитивного агента на основе неклассических логик. 1. Заключительный о...: НИР
2022 г.
ISBN отсутствует
Моделирование рассуждений когнитивного агента на основе неклассических логик. 1. Заключительный о...: НИР
2022 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Бурбаки, Н.
Начала математики. Ч.1. Основные структуры анализа. Кн.1. Теория множеств
Мир, 1965 г.
ISBN отсутствует
Бурбаки, Н.
Начала математики. Ч.1. Основные структуры анализа. Кн.1. Теория множеств
Мир, 1965 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
5 из 7
Книга
Верещагин, Н. К.
Начала теории множеств: Лекции по математической логике и теории алгоритмов : Ч.I
МЦНМО, 1999 г.
ISBN отсутствует
Верещагин, Н. К.
Начала теории множеств: Лекции по математической логике и теории алгоритмов : Ч.I
МЦНМО, 1999 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Касаткин, В. Н.
Необычные задачи математики: [для старших классов средней школы]
Радянська школа, 1987 г.
ISBN отсутствует
Касаткин, В. Н.
Необычные задачи математики: [для старших классов средней школы]
Радянська школа, 1987 г.
ISBN отсутствует
Экз. чит. зала
Книга
Волгин, Л. И.
Непрерывная логика и ее схемотехнические применения: Пять лекций по курсу"Логические основы и модели нейронных сетей"
УГТУ, 1996 г.
ISBN 5-230-18368-3
Волгин, Л. И.
Непрерывная логика и ее схемотехнические применения: Пять лекций по курсу"Логические основы и модели нейронных сетей"
УГТУ, 1996 г.
ISBN 5-230-18368-3
Доступно
2 из 2
Доступно
4 из 4
Книга
Нечеткие множества и теория возможностей. Последние достижения
Радио и связь, 1986 г.
ISBN отсутствует
Нечеткие множества и теория возможностей. Последние достижения
Радио и связь, 1986 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Волкова, Е. С.
Нечеткие множества и мягкие вычисления в экономике и финансах: учебное пособие для направлений бакалавриата "Экономика" и "Прикладная математика"
ISBN 978-5-406-06705-5
Волкова, Е. С.
Нечеткие множества и мягкие вычисления в экономике и финансах: учебное пособие для направлений бакалавриата "Экономика" и "Прикладная математика"
Серия: Бакалавриат
КноРус, 2019 г.ISBN 978-5-406-06705-5
Доступно
1 из 1
Книга
Нигматулин, Р. Г.
Нижние оценки сложности и сложность универсальных схем
Изд-во Казанск. ун-та, 1990 г.
ISBN отсутствует
Нигматулин, Р. Г.
Нижние оценки сложности и сложность универсальных схем
Изд-во Казанск. ун-та, 1990 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Пенроуз, Р.
Новый ум короля. О компьютерах, мышлении и законах физики
The emperor`s new mind. Concerning Computers, Minds and The Laws of Physics
Эдиториал УРСС, 2008 г.
ISBN 978-5-382-00744-1
Пенроуз, Р.
Новый ум короля. О компьютерах, мышлении и законах физики
The emperor`s new mind. Concerning Computers, Minds and The Laws of Physics
Эдиториал УРСС, 2008 г.
ISBN 978-5-382-00744-1
Доступно
1 из 1
Книга
Пенроуз, Р.
Новый ум короля. О компьютерах, мышлении и законах физики
The emperor`s new mind. Concerning Computers, Minds and The Laws of Physics
Эдиториал УРСС, 2011 г.
ISBN 978-5-453-00013-5
Пенроуз, Р.
Новый ум короля. О компьютерах, мышлении и законах физики
The emperor`s new mind. Concerning Computers, Minds and The Laws of Physics
Эдиториал УРСС, 2011 г.
ISBN 978-5-453-00013-5
Доступно
2 из 3
Книга
Пенроуз, Р.
Новый ум короля: О компьютерах, мышлении и законах физики
Эдиториал УРСС, 2003 г.
ISBN 5-354-00005-X
Пенроуз, Р.
Новый ум короля: О компьютерах, мышлении и законах физики
Эдиториал УРСС, 2003 г.
ISBN 5-354-00005-X
Доступно
2 из 2
Книга
Пенроуз, Р.
Новый ум короля: О компьютерах, мышлении и законах физики
Эдиториал УРСС, 2005 г.
ISBN 5-354-00993-6
Пенроуз, Р.
Новый ум короля: О компьютерах, мышлении и законах физики
Эдиториал УРСС, 2005 г.
ISBN 5-354-00993-6
Доступно
1 из 1
Доступно
1 из 1
Книга
Ивс, Г.
О математической логике и философии математики (Начальные сведения об основаниях математики)
Знание, 1968 г.
ISBN отсутствует
Ивс, Г.
О математической логике и философии математики (Начальные сведения об основаниях математики)
Знание, 1968 г.
ISBN отсутствует
Доступно
2 из 2
Книга
Рузавин, Г. И.
О природе математического знания (Очерки по методологии математики)
Мысль, 1968 г.
ISBN отсутствует
Рузавин, Г. И.
О природе математического знания (Очерки по методологии математики)
Мысль, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Серпинский, В. В.
О теории множеств
ISBN отсутствует
Серпинский, В. В.
О теории множеств
Серия: Математическое просвящение
Просвещение, 1966 г.ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Книга
Оптимизация и моделирование: Межвузовский сборник научных трудов
Горьковский гос.ун-т*, 1988 г.
ISBN отсутствует
Оптимизация и моделирование: Межвузовский сборник научных трудов
Горьковский гос.ун-т*, 1988 г.
ISBN отсутствует
Доступно
2 из 2
Книга
Бирюков, С. И.
Оптимизация. Элементы теории. Численные методы: Учебное пособие
МЗ-ПРЕСС, 2003 г.
ISBN отсутствует
Бирюков, С. И.
Оптимизация. Элементы теории. Численные методы: Учебное пособие
МЗ-ПРЕСС, 2003 г.
ISBN отсутствует