Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика
----> основания математики
Печать списка
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Доступно
3 из 3
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 3
Доступно
2 из 2
Доступно
1 из 1
Доступно
109 из 110
Доступно
1 из 1
Доступно
1 из 1
Доступно
22 из 23
Доступно
2 из 2
Доступно
2 из 2
Доступно
2 из 3
Доступно
2 из 2
Доступно
2 из 3
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
8 из 10
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Доступно
2 из 3
Доступно
1 из 1
Доступно
1 из 1
Доступно
6 из 7
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
39 из 40
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
9 из 10
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
19 из 20
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
3 из 5
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 3
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
--> Математика
----> основания математики
Рубрика
- Название:
- основания математики
- Название:
- вычисления, алгоритмы и вычислимые (рекурсивные) функции. Булевы функции
- Название:
- основания математики и математическая логика
- Название:
- основания математики, теория множеств
- Название:
- математическая логика
- Название:
- теория множеств
- Название:
- теория вычислимости
Печать списка
Связанные описания:
Доступно
1 из 1
Книга
Аржаных, И. С.
Опыт классификации математических исследований: категории математического познания
Фан, 1982 г.
ISBN отсутствует
Аржаных, И. С.
Опыт классификации математических исследований: категории математического познания
Фан, 1982 г.
ISBN отсутствует
Заказать 
На полку Доступно
1 из 1
Книга
Гильберт, Д.
Основание математики. Логические исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
Гильберт, Д.
Основание математики. Логические исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
Доступно
2 из 2
Книга
Гильберт, Д.
Основание математики. Логические исчисления и формализация арифметики
Наука, 1982 г.
ISBN отсутствует
Гильберт, Д.
Основание математики. Логические исчисления и формализация арифметики
Наука, 1982 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
3 из 3
Книга
Клини, С. К.
Основания интуиционистской математики с точки зрения теории рекурсивных фунуций
Наука, 1978 г.
ISBN отсутствует
Клини, С. К.
Основания интуиционистской математики с точки зрения теории рекурсивных фунуций
Наука, 1978 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 3
Книга
Френкель, А. А.
Основания теории множеств
Foundations of set theory
Эдиториал УРСС, 2006 г.
ISBN 5-484-00494-2
Френкель, А. А.
Основания теории множеств
Foundations of set theory
Эдиториал УРСС, 2006 г.
ISBN 5-484-00494-2
Доступно
2 из 2
Доступно
1 из 1
Книга
Лунгу, К. Н.
Основные методы решения задач по элементарной математике
Физматлит, 2015 г.
ISBN 978-5-9221-1588-9
Лунгу, К. Н.
Основные методы решения задач по элементарной математике
Физматлит, 2015 г.
ISBN 978-5-9221-1588-9
Доступно
109 из 110
Книга
Нарышкин, А. К.
Основы алгебры логики: Учебное пособие по курсу "Цифровые устройства и микропроцессоры" по направлению "Радиотехника"
Изд-во МЭИ, 2002 г.
ISBN 5-7046-0767-5
Нарышкин, А. К.
Основы алгебры логики: Учебное пособие по курсу "Цифровые устройства и микропроцессоры" по направлению "Радиотехника"
Изд-во МЭИ, 2002 г.
ISBN 5-7046-0767-5
Доступно
1 из 1
Книга
Агеев, М. И.
Основы алгоритмического языка АЛГОЛ-60. Выпуск 1
Вычислит. центр АН СССР, 1965 г.
ISBN отсутствует
Агеев, М. И.
Основы алгоритмического языка АЛГОЛ-60. Выпуск 1
Вычислит. центр АН СССР, 1965 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Лурье, Л. И.
Основы высшей математики: Учебное пособие для втузов
Дашков и К°, 2003 г.
ISBN 5-947980-91-6
Лурье, Л. И.
Основы высшей математики: Учебное пособие для втузов
Дашков и К°, 2003 г.
ISBN 5-947980-91-6
Доступно
22 из 23
Доступно
2 из 2
Доступно
2 из 2
Доступно
2 из 3
Доступно
2 из 2
Книга
Борисов, В. В.
Основы теории нечетких множеств. Книга 1: учебное пособие для вузов по направлению "Информатика и вычислительная техника"
ISBN 978-5-9912-0371-5
Борисов, В. В.
Основы теории нечетких множеств. Книга 1: учебное пособие для вузов по направлению "Информатика и вычислительная техника"
Серия: Основы нечеткой математики
Горячая Линия-Телеком, 2024 г.ISBN 978-5-9912-0371-5
Доступно
2 из 3
Книга
Косовский, Н. К.
Основы теории элементарных алгоритмов: учебное пособие для среднего специального образования
Изд-во Ленингр. ун-та, 1987 г.
ISBN отсутствует
Косовский, Н. К.
Основы теории элементарных алгоритмов: учебное пособие для среднего специального образования
Изд-во Ленингр. ун-та, 1987 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Лукас, В. А.
Основы фази-управления: Учебное пособие для вузов по направлению "Автоматизация и управление"
Изд-во УГГГА, 2000 г.
ISBN 5-8019-0022-5
Лукас, В. А.
Основы фази-управления: Учебное пособие для вузов по направлению "Автоматизация и управление"
Изд-во УГГГА, 2000 г.
ISBN 5-8019-0022-5
Доступно
1 из 1
Книга
Дубинин, Е. А.
Оценка относительного ущерба безопасности информационной системы: монография
The estimation of relative damage of information system security
ISBN 978-5-369-01371-7
Дубинин, Е. А.
Оценка относительного ущерба безопасности информационной системы: монография
The estimation of relative damage of information system security
Серия: Научная мысль
РИОР, ИНФРА-М, 2018 г.ISBN 978-5-369-01371-7
Доступно
1 из 1
Доступно
8 из 10
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Книга
Зуев, Ю. А.
По океану дискретной математики. От перечислительной комбинаторики до современной криптографии. Т...
Эдиториал УРСС, 2012 г.
ISBN 978-5-397-02785-4
Зуев, Ю. А.
По океану дискретной математики. От перечислительной комбинаторики до современной криптографии. Т...
Эдиториал УРСС, 2012 г.
ISBN 978-5-397-02785-4
Доступно
1 из 1
Книга
Зуев, Ю. А.
По океану дискретной математики: От перечислительной комбинаторики до современной криптографии. Т...
Эдиториал УРСС, 2012 г.
ISBN 978-5-397-02786-1
Зуев, Ю. А.
По океану дискретной математики: От перечислительной комбинаторики до современной криптографии. Т...
Эдиториал УРСС, 2012 г.
ISBN 978-5-397-02786-1
Доступно
1 из 1
Книга
Закревский, А. Д.
Полиномиальная реализация частичных булевых функций и систем
Эдиториал УРСС, 2012 г.
ISBN 978-5-354-01418-7
Закревский, А. Д.
Полиномиальная реализация частичных булевых функций и систем
Эдиториал УРСС, 2012 г.
ISBN 978-5-354-01418-7
Доступно
1 из 1
Книга
Закревский, А. Д.
Полиномиальная реализация частичных булевых функций и систем
Эдиториал УРСС, 2003 г.
ISBN отсутствует
Закревский, А. Д.
Полиномиальная реализация частичных булевых функций и систем
Эдиториал УРСС, 2003 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Гжегорчик, А
Популярная логика. Общедоступный очерк логики предложений
Наука, 1972 г.
ISBN отсутствует
Гжегорчик, А
Популярная логика. Общедоступный очерк логики предложений
Наука, 1972 г.
ISBN отсутствует
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Книга
Горейко, М. Н
Пособие по математике.( Для учащихся подготовительных курсов)
Белорусский государственный университет(БГУ), 1974 г.
ISBN отсутствует
Горейко, М. Н
Пособие по математике.( Для учащихся подготовительных курсов)
Белорусский государственный университет(БГУ), 1974 г.
ISBN отсутствует
Доступно
2 из 3
Доступно
1 из 1
Книга
Борисова, Л. В.
Практикум по дисциплине "Нечеткие модели и методы в менеджменте качества"
Издательский центр ДГТУ, 2017 г.
ISBN 978-5-7890-1205-5
Борисова, Л. В.
Практикум по дисциплине "Нечеткие модели и методы в менеджменте качества"
Издательский центр ДГТУ, 2017 г.
ISBN 978-5-7890-1205-5
Доступно
1 из 1
Книга
Носиро, К.
Предельные множества
ISBN отсутствует
Носиро, К.
Предельные множества
Серия: Б-ка сборника "Математика"
Изд-во иностранной лит., 1963 г.ISBN отсутствует
Доступно
6 из 7
Книга
Яблонский, С. В.
Предполные классы в многозначных логиках: Учебное пособие по курсу"Дискретная математика"
Изд-во МЭИ, 1997 г.
ISBN 5-7046-0214-2
Яблонский, С. В.
Предполные классы в многозначных логиках: Учебное пособие по курсу"Дискретная математика"
Изд-во МЭИ, 1997 г.
ISBN 5-7046-0214-2
Экз. чит. зала
Диссертация
Энтресс, Г.
Представление функций нескольких независимых переменных на основе непрерывной логики: Диссертация кандидата технических наук
1964 г.
ISBN отсутствует
Энтресс, Г.
Представление функций нескольких независимых переменных на основе непрерывной логики: Диссертация кандидата технических наук
1964 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Сойер, У. У
Прелюдия к математике. Рассказ о некоторых любопытных и удивительных областях математики с предва...
Просвещение, 1972 г.
ISBN отсутствует
Сойер, У. У
Прелюдия к математике. Рассказ о некоторых любопытных и удивительных областях математики с предва...
Просвещение, 1972 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Книга
Блехман, И. И.
Прикладная математика: предмет, логика, особенности подходов
Наукова думка, 1976 г.
ISBN отсутствует
Блехман, И. И.
Прикладная математика: предмет, логика, особенности подходов
Наукова думка, 1976 г.
ISBN отсутствует
Доступно
2 из 2
Книга
Блехман, И. И.
Прикладная математика: предмет, логика, особенности подходов. С примерами из механики
Эдиториал УРСС, 2007 г.
ISBN 978-5-382-00210-1
Блехман, И. И.
Прикладная математика: предмет, логика, особенности подходов. С примерами из механики
Эдиториал УРСС, 2007 г.
ISBN 978-5-382-00210-1
Доступно
1 из 1
Книга
Блехман, И. И.
Прикладная математика: предмет, логика, особенности подходов: c примерами из механики: учебное пособие
Эдиториал УРСС, 2005 г.
ISBN 5-484-00163-3
Блехман, И. И.
Прикладная математика: предмет, логика, особенности подходов: c примерами из механики: учебное пособие
Эдиториал УРСС, 2005 г.
ISBN 5-484-00163-3
Доступно
2 из 2
Доступно
2 из 2
Книга
Прикладные нейро-нечеткие вычислительные системы и устройства: монография
ISBN 978-5-16-017976-6
Прикладные нейро-нечеткие вычислительные системы и устройства: монография
Серия: Научная мысль
ИНФРА-М, 2023 г.ISBN 978-5-16-017976-6
Доступно
1 из 1
Книга
Дидук, Г. А.
Применение элементов теории множеств и теории матриц при исследовании и проектировании систем упр...: учебное пособие
СЗПИ, 1978 г.
ISBN отсутствует
Дидук, Г. А.
Применение элементов теории множеств и теории матриц при исследовании и проектировании систем упр...: учебное пособие
СЗПИ, 1978 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Антипенко, Л. Г.
Проблема неполноты теории и ее гносеологическое значение
Наука, 1986 г.
ISBN отсутствует
Антипенко, Л. Г.
Проблема неполноты теории и ее гносеологическое значение
Наука, 1986 г.
ISBN отсутствует
Доступно
2 из 2
Книга
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: сборник переводов
Мир, 1970 г.
ISBN отсутствует
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: сборник переводов
Мир, 1970 г.
ISBN отсутствует
Доступно
39 из 40
Книга
Аверкин, А. Н.
Программное окружение разработки нечетких регуляторов: Методические указания по курсу "Мягкие вычисления"
Изд-во МЭИ, 1999 г.
ISBN отсутствует
Аверкин, А. Н.
Программное окружение разработки нечетких регуляторов: Методические указания по курсу "Мягкие вычисления"
Изд-во МЭИ, 1999 г.
ISBN отсутствует
Доступно
2 из 2
Книга
Петровский, А. Б.
Пространства множеств и мультимножеств
Эдиториал УРСС, 2003 г.
ISBN 5-354-00486-1
Петровский, А. Б.
Пространства множеств и мультимножеств
Эдиториал УРСС, 2003 г.
ISBN 5-354-00486-1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Антамошкин, А. Н.
Регулярная оптимизация псевдобулевых функций
Изд-во Красноярского ун-та, 1989 г.
ISBN отсутствует
Антамошкин, А. Н.
Регулярная оптимизация псевдобулевых функций
Изд-во Красноярского ун-та, 1989 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Книга
Волгин, Л. И.
Релятор и реляторная схемотехника: Логико-алгебраические основы и применения. Тематический библио...
Изд-во ТГИС, 2003 г.
ISBN отсутствует
Волгин, Л. И.
Релятор и реляторная схемотехника: Логико-алгебраические основы и применения. Тематический библио...
Изд-во ТГИС, 2003 г.
ISBN отсутствует
Доступно
2 из 2
Книга
Коваленко, С. И.
Решение задач математической логики с использованием элементарной алгебры
Физматлит, 2004 г.
ISBN отсутствует
Коваленко, С. И.
Решение задач математической логики с использованием элементарной алгебры
Физматлит, 2004 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Салий, В. Н.
Решетки с единственными дополнениями
ISBN отсутствует
Салий, В. Н.
Решетки с единственными дополнениями
Серия: Современная алгебра
Наука, 1984 г.ISBN отсутствует
Доступно
1 из 1
Книга
Батраков, И К
Руководство к решению задач по элементарной математике. В помощь поступающим в вузы
Изд-во Томского ун-та, 1968 г.
ISBN отсутствует
Батраков, И К
Руководство к решению задач по элементарной математике. В помощь поступающим в вузы
Изд-во Томского ун-та, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
2 из 2
Книга
Беркли, Э.
Символическая логика и разумные машины
Изд-во иностранной лит., 1961 г.
ISBN отсутствует
Беркли, Э.
Символическая логика и разумные машины
Изд-во иностранной лит., 1961 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Заславский, И. Д
Симметрическая конструктивная логика
Изд-во АН АрмССР, 1978 г.
ISBN отсутствует
Заславский, И. Д
Симметрическая конструктивная логика
Изд-во АН АрмССР, 1978 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Горанский, Г. К.
Синтез минимизированных граф-схем алгоритмов выбора решений из множества возможных вариантов
Ин-т техн. кибернетики АН БССР, 1968 г.
ISBN отсутствует
Горанский, Г. К.
Синтез минимизированных граф-схем алгоритмов выбора решений из множества возможных вариантов
Ин-т техн. кибернетики АН БССР, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Глушков, В. М.
Синтез цифровых автоматов
Эдиториал УРСС, Эдиториал УРСС, 2022 г.
ISBN 978-5-9519-2703-3
Глушков, В. М.
Синтез цифровых автоматов
Эдиториал УРСС, Эдиториал УРСС, 2022 г.
ISBN 978-5-9519-2703-3
Доступно
1 из 1
Доступно
1 из 1
Книга
Система логического проектирования дискретных устройств на программируемых матричных БИС: материалы по математическому обеспечению ЭВМ
Ин-т техн. кибернетики АН БССР, 1987 г.
ISBN отсутствует
Система логического проектирования дискретных устройств на программируемых матричных БИС: материалы по математическому обеспечению ЭВМ
Ин-т техн. кибернетики АН БССР, 1987 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
1 из 1
Книга
Кафаров, В. В.
Системный анализ процессов химической технологии: метод нечетких множеств: монография
ISBN 978-5-534-06996-9
Кафаров, В. В.
Системный анализ процессов химической технологии: метод нечетких множеств: монография
Серия: Университеты России
Юрайт, 2018 г.ISBN 978-5-534-06996-9
Доступно
9 из 10
Доступно
2 из 2
Книга
Бураков, М. В.
Системы искусственного интеллекта: учебное пособие
Проспект, 2022 г.
ISBN 978-5-392-37282-9
Бураков, М. В.
Системы искусственного интеллекта: учебное пособие
Проспект, 2022 г.
ISBN 978-5-392-37282-9
Доступно
2 из 2
Книга
Иванов, Г. Е.
Слабо выпуклые множества и функции. Теория и приложения
Физматлит, 2006 г.
ISBN отсутствует
Иванов, Г. Е.
Слабо выпуклые множества и функции. Теория и приложения
Физматлит, 2006 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Шурыгин, В. А.
Сложностный метод теории алгоритмов
Эдиториал УРСС, 2009 г.
ISBN 978-5-397-00185-4
Шурыгин, В. А.
Сложностный метод теории алгоритмов
Эдиториал УРСС, 2009 г.
ISBN 978-5-397-00185-4
Доступно
19 из 20
Доступно
1 из 1
Книга
Нигматуллин, Р. Г.
Сложность булевых функций
Изд-во Казанского гос. ун-та, 1983 г.
ISBN отсутствует
Нигматуллин, Р. Г.
Сложность булевых функций
Изд-во Казанского гос. ун-та, 1983 г.
ISBN отсутствует
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Книга
Лузин, Н. Н.
Собрание сочинений. Т.2. Дескриптивная теория множеств
Изд-во АН СССР, 1958 г.
ISBN отсутствует
Лузин, Н. Н.
Собрание сочинений. Т.2. Дескриптивная теория множеств
Изд-во АН СССР, 1958 г.
ISBN отсутствует
Доступно
2 из 2
Книга
Современная математика и ее приложения. Т.108: Тематические обзоры
ISBN отсутствует
Современная математика и ее приложения. Т.108: Тематические обзоры
Серия: Итоги науки и техники
ВИНИТИ, 2006 г.ISBN отсутствует
Доступно
3 из 5
Книга
Кановей, В. Г.
Современная теория множеств. Начала дескриптивной динамики
Наука, 2007 г.
ISBN 978-5-02-035577-4
Кановей, В. Г.
Современная теория множеств. Начала дескриптивной динамики
Наука, 2007 г.
ISBN 978-5-02-035577-4
Доступно
1 из 1
Книга
Справочная книга по математической логике в четырех частях. Ч.1. Теория моделей
Наука, 1982 г.
ISBN отсутствует
Справочная книга по математической логике в четырех частях. Ч.1. Теория моделей
Наука, 1982 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Справочная книга по математической логике в четырех частях. Ч.2. Теория множеств
Наука, 1982 г.
ISBN отсутствует
Справочная книга по математической логике в четырех частях. Ч.2. Теория множеств
Наука, 1982 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Справочная книга по математической логике в четырех частях. Ч.3. Теория рекурсии
Наука, 1982 г.
ISBN отсутствует
Справочная книга по математической логике в четырех частях. Ч.3. Теория рекурсии
Наука, 1982 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Справочная книга по математической логике в четырех частях. Ч.4. Теория доказательств и конструкт...
Наука, 1983 г.
ISBN отсутствует
Справочная книга по математической логике в четырех частях. Ч.4. Теория доказательств и конструкт...
Наука, 1983 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
2 из 3
Книга
Справочник по элементарной математике,механике и физике: Учебное пособие для средних школ,техникумов и поступающих в вузы
АКАЛИС, 1995 г.
ISBN 5-86275-044-4
Справочник по элементарной математике,механике и физике: Учебное пособие для средних школ,техникумов и поступающих в вузы
АКАЛИС, 1995 г.
ISBN 5-86275-044-4
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Книга
Левин, В. И.
Структурно-логические методы исследования сложных систем с применением ЭВМ
Наука, 1987 г.
ISBN отсутствует
Левин, В. И.
Структурно-логические методы исследования сложных систем с применением ЭВМ
Наука, 1987 г.
ISBN отсутствует
Доступно
1 из 1
Книга
т.242: Математическая логика и алгебра: К 100-летию со дня рождения академика П. С.Новикова
2003 г.
ISBN 5-02-032604-6
т.242: Математическая логика и алгебра: К 100-летию со дня рождения академика П. С.Новикова
2003 г.
ISBN 5-02-032604-6