Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика
----> основания математики
Печать списка
--> Математика
----> основания математики
Рубрика
- Название:
- основания математики
- Название:
- вычисления, алгоритмы и вычислимые (рекурсивные) функции. Булевы функции
- Название:
- основания математики и математическая логика
- Название:
- основания математики, теория множеств
- Название:
- математическая логика
- Название:
- теория множеств
- Название:
- теория вычислимости
Печать списка
Связанные описания:
Книга
Судоплатов, С. В.
Математическая логика и теория алгоритмов: [учебник]
ISBN 978-5-7782-1838-3
Судоплатов, С. В.
Математическая логика и теория алгоритмов: [учебник]
Серия: Учебники НГТУ
Изд-во НГТУ, 2012 г.ISBN 978-5-7782-1838-3
Книга
Пруцков, А. В.
Математическая логика и теория алгоритмов: учебник для вузов по направлению "Программная инженерия"
Курс, ИНФРА-М, 2017 г.
ISBN 978-5-906818-74-4
Пруцков, А. В.
Математическая логика и теория алгоритмов: учебник для вузов по направлению "Программная инженерия"
Курс, ИНФРА-М, 2017 г.
ISBN 978-5-906818-74-4
Книга
Игошин В. И.
Математическая логика и теория алгоритмов: учебное пособие для вузов по специальности "Математика"
Академия, 2010 г.
ISBN 978-5-7695-7045-2
Игошин В. И.
Математическая логика и теория алгоритмов: учебное пособие для вузов по специальности "Математика"
Академия, 2010 г.
ISBN 978-5-7695-7045-2
Книга
Харин, Н. Н.
Математическая логика и теория множеств (О соотношении абстрактного и конкретного)
Росвузиздат, 1963 г.
ISBN отсутствует
Харин, Н. Н.
Математическая логика и теория множеств (О соотношении абстрактного и конкретного)
Росвузиздат, 1963 г.
ISBN отсутствует
Книга
Колмогоров А. Н.
Математическая логика. Дополнительные главы: [учебное пособие]
Эдиториал УРСС, 2015 г.
ISBN 978-5-354-01492-7
Колмогоров А. Н.
Математическая логика. Дополнительные главы: [учебное пособие]
Эдиториал УРСС, 2015 г.
ISBN 978-5-354-01492-7
Книга
Колмогоров, А. Н.
Математическая логика. Дополнительные главы: учебное пособие для вузов по спец. "Математика"
Изд-во МГУ, 1984 г.
ISBN отсутствует
Колмогоров, А. Н.
Математическая логика. Дополнительные главы: учебное пособие для вузов по спец. "Математика"
Изд-во МГУ, 1984 г.
ISBN отсутствует
Книга
Лихтарников Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения: учебное пособие
Лань-Пресс, 2008 г.
ISBN 978-5-8114-0082-9
Лихтарников Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения: учебное пособие
Лань-Пресс, 2008 г.
ISBN 978-5-8114-0082-9
Книга
Лихтарников Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения: Учебное пособие для вузов по математическим специальностям
Лань-Пресс, 1998 г.
ISBN 5-8114-0082-9
Лихтарников Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения: Учебное пособие для вузов по математическим специальностям
Лань-Пресс, 1998 г.
ISBN 5-8114-0082-9
Книга
Гинзбург, С. А.
Математическая непрерывная логика и изображение функций
ISBN отсутствует
Гинзбург, С. А.
Математическая непрерывная логика и изображение функций
Серия: Б-ка по автоматике
Энергия, 1968 г.ISBN отсутствует
Книга
Дубровский, В. Н.
Математические головоломки. Вып.1 (До и после кубика Рубика)
Знание, 1990 г.
ISBN отсутствует
Дубровский, В. Н.
Математические головоломки. Вып.1 (До и после кубика Рубика)
Знание, 1990 г.
ISBN отсутствует
Книга
Математические методы построения и анализа алгоритмов: сборник статей
Наука, 1990 г.
ISBN отсутствует
Математические методы построения и анализа алгоритмов: сборник статей
Наука, 1990 г.
ISBN отсутствует
Книга
Гарднер, М.
Математические чудеса и тайны. Математические фокусы и головоломки
Мир, 1982 г.
ISBN отсутствует
Гарднер, М.
Математические чудеса и тайны. Математические фокусы и головоломки
Мир, 1982 г.
ISBN отсутствует
Книга
Гарднер, М.
Математические чудеса и тайны. Математические фокусы и головоломки
Мир, 1986 г.
ISBN отсутствует
Гарднер, М.
Математические чудеса и тайны. Математические фокусы и головоломки
Мир, 1986 г.
ISBN отсутствует
Книга
Драгалин, А. Г.
Математический интуиционизм. Введение в теорию докозательств
Наука, 1979 г.
ISBN отсутствует
Драгалин, А. Г.
Математический интуиционизм. Введение в теорию докозательств
Наука, 1979 г.
ISBN отсутствует
Книга
Стрыгин В. З.
Матричная логика и комбинаторные машины: Препринт N 120
ЦАГИ, 1998 г.
ISBN отсутствует
Стрыгин В. З.
Матричная логика и комбинаторные машины: Препринт N 120
ЦАГИ, 1998 г.
ISBN отсутствует
Книга
Дидук, Г. А.
Машинные методы исследования автоматических систем
Энергоатомиздат, 1983 г.
ISBN отсутствует
Дидук, Г. А.
Машинные методы исследования автоматических систем
Энергоатомиздат, 1983 г.
ISBN отсутствует
Книга
Менделеев, И. Д.
Метод математики. Логика и гносеология математических знаний
Эдиториал УРСС, 2011 г.
ISBN 978-5-382-01314-5
Менделеев, И. Д.
Метод математики. Логика и гносеология математических знаний
Эдиториал УРСС, 2011 г.
ISBN 978-5-382-01314-5
Книга
Метод резолюций в логике предикатов как основа для языка программирования Пролог: Методические указания по курсу "Основы математического моделирования"
Изд-во МЭИ, 1990 г.
ISBN отсутствует
Метод резолюций в логике предикатов как основа для языка программирования Пролог: Методические указания по курсу "Основы математического моделирования"
Изд-во МЭИ, 1990 г.
ISBN отсутствует
Книга
Методические указания и описания лабораторных работ по курсу "Математическая логика": Основы язык...
1996 г.
ISBN отсутствует
Методические указания и описания лабораторных работ по курсу "Математическая логика": Основы язык...
1996 г.
ISBN отсутствует
Книга
Методические указания к повторению курса элементарной математики. Алгебра. Тригонометрия. Элемент...
1962 г.
ISBN отсутствует
Методические указания к повторению курса элементарной математики. Алгебра. Тригонометрия. Элемент...
1962 г.
ISBN отсутствует
Книга
Методические указания по курсу "Высшая математика":Логико-математическая терминология и символика...
1996 г.
ISBN отсутствует
Методические указания по курсу "Высшая математика":Логико-математическая терминология и символика...
1996 г.
ISBN отсутствует
Книга
Методические указания по курсу "Математическая логика и теория алгоритмов" : Язык программировани...
1992 г.
ISBN отсутствует
Методические указания по курсу "Математическая логика и теория алгоритмов" : Язык программировани...
1992 г.
ISBN отсутствует
Книга
Набебин А. А.
Методические указания по курсу "Основы математического моделирования" : Монадическая логика и Про...
1992 г.
ISBN отсутствует
Набебин А. А.
Методические указания по курсу "Основы математического моделирования" : Монадическая логика и Про...
1992 г.
ISBN отсутствует
Книга
Кедровский, О. И
Методологические проблемы развития математического познания
Вища школа, 1977 г.
ISBN отсутствует
Кедровский, О. И
Методологические проблемы развития математического познания
Вища школа, 1977 г.
ISBN отсутствует
Книга
Рвачев, В. Л.
Методы алгебры логики в математической физике
Наукова думка, 1974 г.
ISBN отсутствует
Рвачев, В. Л.
Методы алгебры логики в математической физике
Наукова думка, 1974 г.
ISBN отсутствует
Книга
Методы дискретного анализа в изучении булевых функций и графиков: сборник научных трудов №48
АН СССР. Сиб. отд-ние. Ин-т математики, 1989 г.
ISBN отсутствует
Методы дискретного анализа в изучении булевых функций и графиков: сборник научных трудов №48
АН СССР. Сиб. отд-ние. Ин-т математики, 1989 г.
ISBN отсутствует
Книга
Методы дискретного анализа в изучении булевых функций и графиков: сборник трудов №37
АН СССР. Сиб. отд-ние. Ин-т математики, 1981 г.
ISBN отсутствует
Методы дискретного анализа в изучении булевых функций и графиков: сборник трудов №37
АН СССР. Сиб. отд-ние. Ин-т математики, 1981 г.
ISBN отсутствует
Книга
Методы дискретного анализа в синтезе реализаций булевых функций. Вып. 51: сборник научных трудов
[б. и.], 1991 г.
ISBN отсутствует
Методы дискретного анализа в синтезе реализаций булевых функций. Вып. 51: сборник научных трудов
[б. и.], 1991 г.
ISBN отсутствует
Книга
Каипов, В. Х.
Методы обработки данных в системах с нечеткой информацией
Илим, 1988 г.
ISBN отсутствует
Каипов, В. Х.
Методы обработки данных в системах с нечеткой информацией
Илим, 1988 г.
ISBN отсутствует
Отчет
Методы поддержки принятия решений на основе обработки разноструктурированных и полиформатных данн...: НИР
2022 г.
ISBN отсутствует
Методы поддержки принятия решений на основе обработки разноструктурированных и полиформатных данн...: НИР
2022 г.
ISBN отсутствует
Книга
Многозначные логики и их применения. Т.1. Логические исчисления, алгебры и функциональные свойства
Эдиториал УРСС, 2008 г.
ISBN 978-5-382-00768-7
Многозначные логики и их применения. Т.1. Логические исчисления, алгебры и функциональные свойства
Эдиториал УРСС, 2008 г.
ISBN 978-5-382-00768-7
Книга
Многозначные логики и их применения. Т.2. Логики в системах искусственного интеллекта
Эдиториал УРСС, 2008 г.
ISBN 978-5-382-00777-9
Многозначные логики и их применения. Т.2. Логики в системах искусственного интеллекта
Эдиториал УРСС, 2008 г.
ISBN 978-5-382-00777-9
Книга
Филимоненкова, Н. В.
Множества и отображения: интенсивное введение в математический анализ для студентов технических в...: учебное пособие
Лань-Пресс, 2017 г.
ISBN 978-5-8114-2391-0
Филимоненкова, Н. В.
Множества и отображения: интенсивное введение в математический анализ для студентов технических в...: учебное пособие
Лань-Пресс, 2017 г.
ISBN 978-5-8114-2391-0
Книга
Столл, Р. Р.
Множества. Логика. Аксиоматические теории
ISBN отсутствует
Столл, Р. Р.
Множества. Логика. Аксиоматические теории
Серия: Математическое просвящение
Просвещение, 1968 г.ISBN отсутствует
Отчет
Моделирование рассуждений когнитивного агента на основе неклассических логик. 1. Заключительный о...: НИР
2022 г.
ISBN отсутствует
Моделирование рассуждений когнитивного агента на основе неклассических логик. 1. Заключительный о...: НИР
2022 г.
ISBN отсутствует
Книга
Бурбаки, Н.
Начала математики. Ч.1. Основные структуры анализа. Кн.1. Теория множеств
Мир, 1965 г.
ISBN отсутствует
Бурбаки, Н.
Начала математики. Ч.1. Основные структуры анализа. Кн.1. Теория множеств
Мир, 1965 г.
ISBN отсутствует
Книга
Верещагин, Н. К.
Начала теории множеств: Лекции по математической логике и теории алгоритмов : Ч.I
МЦНМО, 1999 г.
ISBN отсутствует
Верещагин, Н. К.
Начала теории множеств: Лекции по математической логике и теории алгоритмов : Ч.I
МЦНМО, 1999 г.
ISBN отсутствует
Книга
Касаткин, В. Н.
Необычные задачи математики: [для старших классов средней школы]
Радянська школа, 1987 г.
ISBN отсутствует
Касаткин, В. Н.
Необычные задачи математики: [для старших классов средней школы]
Радянська школа, 1987 г.
ISBN отсутствует
Книга
Волгин Л. И.
Непрерывная логика и ее схемотехнические применения: Пять лекций по курсу"Логические основы и модели нейронных сетей"
УГТУ, 1996 г.
ISBN 5-230-18368-3
Волгин Л. И.
Непрерывная логика и ее схемотехнические применения: Пять лекций по курсу"Логические основы и модели нейронных сетей"
УГТУ, 1996 г.
ISBN 5-230-18368-3
Книга
Нечеткие множества и теория возможностей. Последние достижения
Радио и связь, 1986 г.
ISBN отсутствует
Нечеткие множества и теория возможностей. Последние достижения
Радио и связь, 1986 г.
ISBN отсутствует
Книга
Волкова, Е. С.
Нечеткие множества и мягкие вычисления в экономике и финансах: учебное пособие для направлений бакалавриата "Экономика" и "Прикладная математика"
ISBN 978-5-406-06705-5
Волкова, Е. С.
Нечеткие множества и мягкие вычисления в экономике и финансах: учебное пособие для направлений бакалавриата "Экономика" и "Прикладная математика"
Серия: Бакалавриат
КноРус, 2019 г.ISBN 978-5-406-06705-5
Книга
Нигматулин, Р. Г.
Нижние оценки сложности и сложность универсальных схем
Изд-во Казанск. ун-та, 1990 г.
ISBN отсутствует
Нигматулин, Р. Г.
Нижние оценки сложности и сложность универсальных схем
Изд-во Казанск. ун-та, 1990 г.
ISBN отсутствует
Книга
Пенроуз Р.
Новый ум короля. О компьютерах, мышлении и законах физики
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
Книга
Пенроуз Р.
Новый ум короля. О компьютерах, мышлении и законах физики
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
Книга
Пенроуз Р.
Новый ум короля: О компьютерах, мышлении и законах физики
Эдиториал УРСС, 2003 г.
ISBN 5-354-00005-X
Пенроуз Р.
Новый ум короля: О компьютерах, мышлении и законах физики
Эдиториал УРСС, 2003 г.
ISBN 5-354-00005-X
Книга
Пенроуз Р.
Новый ум короля: О компьютерах, мышлении и законах физики
Эдиториал УРСС, 2005 г.
ISBN 5-354-00993-6
Пенроуз Р.
Новый ум короля: О компьютерах, мышлении и законах физики
Эдиториал УРСС, 2005 г.
ISBN 5-354-00993-6
Книга
Ивс, Г.
О математической логике и философии математики (Начальные сведения об основаниях математики)
Знание, 1968 г.
ISBN отсутствует
Ивс, Г.
О математической логике и философии математики (Начальные сведения об основаниях математики)
Знание, 1968 г.
ISBN отсутствует
Книга
Рузавин, Г. И.
О природе математического знания (Очерки по методологии математики)
Мысль, 1968 г.
ISBN отсутствует
Рузавин, Г. И.
О природе математического знания (Очерки по методологии математики)
Мысль, 1968 г.
ISBN отсутствует
Книга
Серпинский, В. В.
О теории множеств
ISBN отсутствует
Серпинский, В. В.
О теории множеств
Серия: Математическое просвящение
Просвещение, 1966 г.ISBN отсутствует
Книга
Бирюков С. И.
Оптимизация. Элементы теории. Численные методы: Учебное пособие
МЗ-ПРЕСС, 2003 г.
ISBN отсутствует
Бирюков С. И.
Оптимизация. Элементы теории. Численные методы: Учебное пособие
МЗ-ПРЕСС, 2003 г.
ISBN отсутствует
Книга
Аржаных, И. С.
Опыт классификации математических исследований: категории математического познания
Фан, 1982 г.
ISBN отсутствует
Аржаных, И. С.
Опыт классификации математических исследований: категории математического познания
Фан, 1982 г.
ISBN отсутствует
Книга
Гильберт, Д.
Основание математики. Логические исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
Гильберт, Д.
Основание математики. Логические исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
Книга
Гильберт, Д.
Основание математики. Логические исчисления и формализация арифметики
Наука, 1982 г.
ISBN отсутствует
Гильберт, Д.
Основание математики. Логические исчисления и формализация арифметики
Наука, 1982 г.
ISBN отсутствует
Книга
Клини, С. К.
Основания интуиционистской математики с точки зрения теории рекурсивных фунуций
Наука, 1978 г.
ISBN отсутствует
Клини, С. К.
Основания интуиционистской математики с точки зрения теории рекурсивных фунуций
Наука, 1978 г.
ISBN отсутствует
Книга
Френкель А. А.
Основания теории множеств
Foundations of set theory
Эдиториал УРСС, 2006 г.
ISBN 5-484-00494-2
Френкель А. А.
Основания теории множеств
Foundations of set theory
Эдиториал УРСС, 2006 г.
ISBN 5-484-00494-2
Книга
Лунгу, К. Н.
Основные методы решения задач по элементарной математике
Физматлит, 2015 г.
ISBN 978-5-9221-1588-9
Лунгу, К. Н.
Основные методы решения задач по элементарной математике
Физматлит, 2015 г.
ISBN 978-5-9221-1588-9
Книга
Нарышкин А. К.
Основы алгебры логики: Учебное пособие по курсу "Цифровые устройства и микропроцессоры" по направлению "Радиотехника"
Изд-во МЭИ, 2002 г.
ISBN 5-7046-0767-5
Нарышкин А. К.
Основы алгебры логики: Учебное пособие по курсу "Цифровые устройства и микропроцессоры" по направлению "Радиотехника"
Изд-во МЭИ, 2002 г.
ISBN 5-7046-0767-5
Книга
Агеев, М. И.
Основы алгоритмического языка АЛГОЛ-60. Выпуск 1
Вычислит. центр АН СССР, 1965 г.
ISBN отсутствует
Агеев, М. И.
Основы алгоритмического языка АЛГОЛ-60. Выпуск 1
Вычислит. центр АН СССР, 1965 г.
ISBN отсутствует