Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика
----> основания математики
Печать списка
--> Математика
----> основания математики
Рубрика
- Название:
- основания математики
- Название:
- вычисления, алгоритмы и вычислимые (рекурсивные) функции. Булевы функции
- Название:
- основания математики и математическая логика
- Название:
- основания математики, теория множеств
- Название:
- математическая логика
- Название:
- теория множеств
- Название:
- теория вычислимости
Печать списка
Связанные описания:
Книга
Лукас В. А.
Основы фази-управления: Учебное пособие для вузов по направлению "Автоматизация и управление"
Изд-во УГГГА, 2000 г.
ISBN 5-8019-0022-5
Лукас В. А.
Основы фази-управления: Учебное пособие для вузов по направлению "Автоматизация и управление"
Изд-во УГГГА, 2000 г.
ISBN 5-8019-0022-5
Книга
Дубинин, Е. А.
Оценка относительного ущерба безопасности информационной системы: монография
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
Книга
Зуев, Ю. А.
По океану дискретной математики. От перечислительной комбинаторики до современной криптографии. Т...
Эдиториал УРСС, 2012 г.
ISBN 978-5-397-02785-4
Зуев, Ю. А.
По океану дискретной математики. От перечислительной комбинаторики до современной криптографии. Т...
Эдиториал УРСС, 2012 г.
ISBN 978-5-397-02785-4
Книга
Зуев, Ю. А.
По океану дискретной математики: От перечислительной комбинаторики до современной криптографии. Т...
Эдиториал УРСС, 2012 г.
ISBN 978-5-397-02786-1
Зуев, Ю. А.
По океану дискретной математики: От перечислительной комбинаторики до современной криптографии. Т...
Эдиториал УРСС, 2012 г.
ISBN 978-5-397-02786-1
Книга
Закревский А. Д.
Полиномиальная реализация частичных булевых функций и систем
Эдиториал УРСС, 2012 г.
ISBN 978-5-354-01418-7
Закревский А. Д.
Полиномиальная реализация частичных булевых функций и систем
Эдиториал УРСС, 2012 г.
ISBN 978-5-354-01418-7
Книга
Закревский А. Д.
Полиномиальная реализация частичных булевых функций и систем
Эдиториал УРСС, 2003 г.
ISBN отсутствует
Закревский А. Д.
Полиномиальная реализация частичных булевых функций и систем
Эдиториал УРСС, 2003 г.
ISBN отсутствует
Книга
Гжегорчик, А
Популярная логика. Общедоступный очерк логики предложений
Наука, 1972 г.
ISBN отсутствует
Гжегорчик, А
Популярная логика. Общедоступный очерк логики предложений
Наука, 1972 г.
ISBN отсутствует
Книга
Горейко, М. Н
Пособие по математике.( Для учащихся подготовительных курсов)
Белорусский государственный университет(БГУ), 1974 г.
ISBN отсутствует
Горейко, М. Н
Пособие по математике.( Для учащихся подготовительных курсов)
Белорусский государственный университет(БГУ), 1974 г.
ISBN отсутствует
Книга
Борисова, Л. В.
Практикум по дисциплине "Нечеткие модели и методы в менеджменте качества"
Издательский центр ДГТУ, 2017 г.
ISBN 978-5-7890-1205-5
Борисова, Л. В.
Практикум по дисциплине "Нечеткие модели и методы в менеджменте качества"
Издательский центр ДГТУ, 2017 г.
ISBN 978-5-7890-1205-5
Книга
Носиро, К.
Предельные множества
ISBN отсутствует
Носиро, К.
Предельные множества
Серия: Б-ка сборника 'Математика'
Изд-во иностранной лит., 1963 г.ISBN отсутствует
Книга
Яблонский С. В.
Предполные классы в многозначных логиках: Учебное пособие по курсу"Дискретная математика"
Изд-во МЭИ, 1997 г.
ISBN 5-7046-0214-2
Яблонский С. В.
Предполные классы в многозначных логиках: Учебное пособие по курсу"Дискретная математика"
Изд-во МЭИ, 1997 г.
ISBN 5-7046-0214-2
Диссертация
Энтресс Г.
Представление функций нескольких независимых переменных на основе непрерывной логики: Диссертация кандидата технических наук
1964 г.
ISBN отсутствует
Энтресс Г.
Представление функций нескольких независимых переменных на основе непрерывной логики: Диссертация кандидата технических наук
1964 г.
ISBN отсутствует
Книга
Сойер, У. У
Прелюдия к математике. Рассказ о некоторых любопытных и удивительных областях математики с предва...
Просвещение, 1972 г.
ISBN отсутствует
Сойер, У. У
Прелюдия к математике. Рассказ о некоторых любопытных и удивительных областях математики с предва...
Просвещение, 1972 г.
ISBN отсутствует
Книга
Блехман, И. И.
Прикладная математика: предмет, логика, особенности подходов
Наукова думка, 1976 г.
ISBN отсутствует
Блехман, И. И.
Прикладная математика: предмет, логика, особенности подходов
Наукова думка, 1976 г.
ISBN отсутствует
Книга
Блехман И. И.
Прикладная математика: предмет, логика, особенности подходов. С примерами из механики
Эдиториал УРСС, 2007 г.
ISBN 978-5-382-00210-1
Блехман И. И.
Прикладная математика: предмет, логика, особенности подходов. С примерами из механики
Эдиториал УРСС, 2007 г.
ISBN 978-5-382-00210-1
Книга
Блехман И. И.
Прикладная математика: предмет, логика, особенности подходов: c примерами из механики: учебное пособие
Эдиториал УРСС, 2005 г.
ISBN 5-484-00163-3
Блехман И. И.
Прикладная математика: предмет, логика, особенности подходов: c примерами из механики: учебное пособие
Эдиториал УРСС, 2005 г.
ISBN 5-484-00163-3
Книга
Прикладные нейро-нечеткие вычислительные системы и устройства: монография
ISBN 978-5-16-017976-6
Прикладные нейро-нечеткие вычислительные системы и устройства: монография
Серия: Научная мысль
ИНФРА-М, 2023 г.ISBN 978-5-16-017976-6
Книга
Дидук, Г. А.
Применение элементов теории множеств и теории матриц при исследовании и проектировании систем упр...: учебное пособие
СЗПИ, 1978 г.
ISBN отсутствует
Дидук, Г. А.
Применение элементов теории множеств и теории матриц при исследовании и проектировании систем упр...: учебное пособие
СЗПИ, 1978 г.
ISBN отсутствует
Книга
Антипенко, Л. Г.
Проблема неполноты теории и ее гносеологическое значение
Наука, 1986 г.
ISBN отсутствует
Антипенко, Л. Г.
Проблема неполноты теории и ее гносеологическое значение
Наука, 1986 г.
ISBN отсутствует
Книга
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: сборник переводов
Мир, 1970 г.
ISBN отсутствует
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: сборник переводов
Мир, 1970 г.
ISBN отсутствует
Книга
Аверкин А. Н.
Программное окружение разработки нечетких регуляторов: Методические указания по курсу "Мягкие вычисления"
Изд-во МЭИ, 1999 г.
ISBN отсутствует
Аверкин А. Н.
Программное окружение разработки нечетких регуляторов: Методические указания по курсу "Мягкие вычисления"
Изд-во МЭИ, 1999 г.
ISBN отсутствует
Книга
Петровский А. Б.
Пространства множеств и мультимножеств
Эдиториал УРСС, 2003 г.
ISBN 5-354-00486-1
Петровский А. Б.
Пространства множеств и мультимножеств
Эдиториал УРСС, 2003 г.
ISBN 5-354-00486-1
Книга
Антамошкин, А. Н.
Регулярная оптимизация псевдобулевых функций
Изд-во Красноярского ун-та, 1989 г.
ISBN отсутствует
Антамошкин, А. Н.
Регулярная оптимизация псевдобулевых функций
Изд-во Красноярского ун-та, 1989 г.
ISBN отсутствует
Книга
Волгин Л. И.
Релятор и реляторная схемотехника: Логико-алгебраические основы и применения. Тематический библио...
Изд-во ТГИС, 2003 г.
ISBN отсутствует
Волгин Л. И.
Релятор и реляторная схемотехника: Логико-алгебраические основы и применения. Тематический библио...
Изд-во ТГИС, 2003 г.
ISBN отсутствует
Книга
Коваленко С. И.
Решение задач математической логики с использованием элементарной алгебры
Физматлит, 2004 г.
ISBN отсутствует
Коваленко С. И.
Решение задач математической логики с использованием элементарной алгебры
Физматлит, 2004 г.
ISBN отсутствует
Книга
Салий, В. Н.
Решетки с единственными дополнениями
ISBN отсутствует
Салий, В. Н.
Решетки с единственными дополнениями
Серия: Современная алгебра
Наука, 1984 г.ISBN отсутствует
Книга
Батраков, И К
Руководство к решению задач по элементарной математике. В помощь поступающим в вузы
Изд-во Томского ун-та, 1968 г.
ISBN отсутствует
Батраков, И К
Руководство к решению задач по элементарной математике. В помощь поступающим в вузы
Изд-во Томского ун-та, 1968 г.
ISBN отсутствует
Книга
Беркли, Э.
Символическая логика и разумные машины
Изд-во иностранной лит., 1961 г.
ISBN отсутствует
Беркли, Э.
Символическая логика и разумные машины
Изд-во иностранной лит., 1961 г.
ISBN отсутствует
Книга
Заславский, И. Д
Симметрическая конструктивная логика
Изд-во АН АрмССР, 1978 г.
ISBN отсутствует
Заславский, И. Д
Симметрическая конструктивная логика
Изд-во АН АрмССР, 1978 г.
ISBN отсутствует
Книга
Горанский, Г. К.
Синтез минимизированных граф-схем алгоритмов выбора решений из множества возможных вариантов
Ин-т техн. кибернетики АН БССР, 1968 г.
ISBN отсутствует
Горанский, Г. К.
Синтез минимизированных граф-схем алгоритмов выбора решений из множества возможных вариантов
Ин-т техн. кибернетики АН БССР, 1968 г.
ISBN отсутствует
Книга
Глушков, В. М.
Синтез цифровых автоматов
Эдиториал УРСС, Эдиториал УРСС, 2022 г.
ISBN 978-5-9519-2703-3
Глушков, В. М.
Синтез цифровых автоматов
Эдиториал УРСС, Эдиториал УРСС, 2022 г.
ISBN 978-5-9519-2703-3
Книга
Кафаров, В. В.
Системный анализ процессов химической технологии: метод нечетких множеств: монография
ISBN 978-5-534-06996-9
Кафаров, В. В.
Системный анализ процессов химической технологии: метод нечетких множеств: монография
Серия: Университеты России
Юрайт, 2018 г.ISBN 978-5-534-06996-9
Книга
Бураков, М. В.
Системы искусственного интеллекта: учебное пособие
Проспект, 2022 г.
ISBN 978-5-392-37282-9
Бураков, М. В.
Системы искусственного интеллекта: учебное пособие
Проспект, 2022 г.
ISBN 978-5-392-37282-9
Книга
Иванов Г. Е.
Слабо выпуклые множества и функции. Теория и приложения
Физматлит, 2006 г.
ISBN отсутствует
Иванов Г. Е.
Слабо выпуклые множества и функции. Теория и приложения
Физматлит, 2006 г.
ISBN отсутствует
Книга
Шурыгин В. А.
Сложностный метод теории алгоритмов
Эдиториал УРСС, 2009 г.
ISBN 978-5-397-00185-4
Шурыгин В. А.
Сложностный метод теории алгоритмов
Эдиториал УРСС, 2009 г.
ISBN 978-5-397-00185-4
Книга
Нигматуллин Р. Г.
Сложность булевых функций
Изд-во Казанского гос. ун-та, 1983 г.
ISBN отсутствует
Нигматуллин Р. Г.
Сложность булевых функций
Изд-во Казанского гос. ун-та, 1983 г.
ISBN отсутствует
Книга
Лузин, Н. Н.
Собрание сочинений. Т.2. Дескриптивная теория множеств
Изд-во АН СССР, 1958 г.
ISBN отсутствует
Лузин, Н. Н.
Собрание сочинений. Т.2. Дескриптивная теория множеств
Изд-во АН СССР, 1958 г.
ISBN отсутствует
Книга
Современная математика и ее приложения. Т.108: Тематические обзоры
ISBN отсутствует
Современная математика и ее приложения. Т.108: Тематические обзоры
Серия: Итоги науки и техники
ВИНИТИ, 2006 г.ISBN отсутствует
Книга
Кановей В. Г.
Современная теория множеств. Начала дескриптивной динамики
Наука, 2007 г.
ISBN 978-5-02-035577-4
Кановей В. Г.
Современная теория множеств. Начала дескриптивной динамики
Наука, 2007 г.
ISBN 978-5-02-035577-4
Книга
Справочная книга по математической логике в четырех частях. Ч.1. Теория моделей
Наука, 1982 г.
ISBN отсутствует
Справочная книга по математической логике в четырех частях. Ч.1. Теория моделей
Наука, 1982 г.
ISBN отсутствует
Книга
Справочная книга по математической логике в четырех частях. Ч.2. Теория множеств
Наука, 1982 г.
ISBN отсутствует
Справочная книга по математической логике в четырех частях. Ч.2. Теория множеств
Наука, 1982 г.
ISBN отсутствует
Книга
Справочная книга по математической логике в четырех частях. Ч.3. Теория рекурсии
Наука, 1982 г.
ISBN отсутствует
Справочная книга по математической логике в четырех частях. Ч.3. Теория рекурсии
Наука, 1982 г.
ISBN отсутствует
Книга
Справочная книга по математической логике в четырех частях. Ч.4. Теория доказательств и конструкт...
Наука, 1983 г.
ISBN отсутствует
Справочная книга по математической логике в четырех частях. Ч.4. Теория доказательств и конструкт...
Наука, 1983 г.
ISBN отсутствует
Книга
Справочник по элементарной математике,механике и физике: Учебное пособие для средних школ,техникумов и поступающих в вузы
АКАЛИС, 1995 г.
ISBN 5-86275-044-4
Справочник по элементарной математике,механике и физике: Учебное пособие для средних школ,техникумов и поступающих в вузы
АКАЛИС, 1995 г.
ISBN 5-86275-044-4
Книга
т.242: Математическая логика и алгебра: К 100-летию со дня рождения академика П. С.Новикова
2003 г.
ISBN 5-02-032604-6
т.242: Математическая логика и алгебра: К 100-летию со дня рождения академика П. С.Новикова
2003 г.
ISBN 5-02-032604-6
Книга
Поттосин Ю. В.
Табличные методы декомпозиции систем полностью определенных булевых функций
Беларуская навука, 2006 г.
ISBN 985-08-0732-6
Поттосин Ю. В.
Табличные методы декомпозиции систем полностью определенных булевых функций
Беларуская навука, 2006 г.
ISBN 985-08-0732-6
Книга
Кокин, А. А.
Твердотельные квантовые компьютеры на ядерных спинах
Ин-т компьют. исслед., 2004 г.
ISBN 5-939723-19-5
Кокин, А. А.
Твердотельные квантовые компьютеры на ядерных спинах
Ин-т компьют. исслед., 2004 г.
ISBN 5-939723-19-5
Книга
Фалевич Б. Я.
Теория алгоритмов: учебное пособие для вузов по направлению "Информатика и вычислительная техника"
Машиностроение, 2004 г.
ISBN 5-217-03249-9
Фалевич Б. Я.
Теория алгоритмов: учебное пособие для вузов по направлению "Информатика и вычислительная техника"
Машиностроение, 2004 г.
ISBN 5-217-03249-9
Книга
Игошин, В. И.
Теория алгоритмов: учебное пособие для вузов по специальности 050201.65 "Математика"
ISBN 978-5-16-005205-2
Игошин, В. И.
Теория алгоритмов: учебное пособие для вузов по специальности 050201.65 "Математика"
Серия: Высшее образование
ИНФРА-М, 2013 г.ISBN 978-5-16-005205-2
Книга
Игошин, В. И.
Теория алгоритмов: учебное пособие для вузов по специальности 050201.65 "Математика"
ISBN 978-5-16-005205-2
Игошин, В. И.
Теория алгоритмов: учебное пособие для вузов по специальности 050201.65 "Математика"
Серия: Высшее образование
ИНФРА-М, 2012 г.ISBN 978-5-16-005205-2
Книга
Вагин В. Н.
Теория алгоритмов и дедуктивный вывод: Учебное пособие по курсам "Дискретная математика" и "Математическая логика"
Изд-во МЭИ, 1999 г.
ISBN отсутствует
Вагин В. Н.
Теория алгоритмов и дедуктивный вывод: Учебное пособие по курсам "Дискретная математика" и "Математическая логика"
Изд-во МЭИ, 1999 г.
ISBN отсутствует
Книга
Вагин, В. Н.
Теория алгоритмов и математическая логика: учебное пособие по курсам "Дискретная математика", "Математическая логика", по направлениям "Прикладная математика и
Издательский дом МЭИ, 2012 г.
ISBN отсутствует
Вагин, В. Н.
Теория алгоритмов и математическая логика: учебное пособие по курсам "Дискретная математика", "Математическая логика", по направлениям "Прикладная математика и
Издательский дом МЭИ, 2012 г.
ISBN отсутствует
Книга
Успенский, В. А.
Теория алгоритмов: основные открытия и приложения
Наука, 1987 г.
ISBN отсутствует
Успенский, В. А.
Теория алгоритмов: основные открытия и приложения
Наука, 1987 г.
ISBN отсутствует
Книга
Дьедонне Ж.
Теория инвариантов: Старое и новое; Мамфорд Д. Геометрическая теория инвариантов
Меркурий-ПРЕСС, 2000 г.
ISBN 5-11-480148-1
Дьедонне Ж.
Теория инвариантов: Старое и новое; Мамфорд Д. Геометрическая теория инвариантов
Меркурий-ПРЕСС, 2000 г.
ISBN 5-11-480148-1
Книга
Кочергин В. И.
Теория многомерных цифро-векторных множеств
Изд-во Томского ун-та, 2006 г.
ISBN отсутствует
Кочергин В. И.
Теория многомерных цифро-векторных множеств
Изд-во Томского ун-та, 2006 г.
ISBN отсутствует
Книга
Хаусдорф Ф.
Теория множеств
Grundzuge der mengenlehre
Эдиториал УРСС, 2007 г.
ISBN 978-5-382-00127-2
Хаусдорф Ф.
Теория множеств
Grundzuge der mengenlehre
Эдиториал УРСС, 2007 г.
ISBN 978-5-382-00127-2
Книга
Хаусдорф, Ф.
Теория множеств
Гос. изд-во технико-теоретической литературы, 1937 г.
ISBN отсутствует
Хаусдорф, Ф.
Теория множеств
Гос. изд-во технико-теоретической литературы, 1937 г.
ISBN отсутствует
Книга
Теория моделей и алгебраическая геометрия. О доказательстве Э.Хрущовского гипотезы Морделла-Ленга: сборник статей
МЦНМО, 2008 г.
ISBN отсутствует
Теория моделей и алгебраическая геометрия. О доказательстве Э.Хрущовского гипотезы Морделла-Ленга: сборник статей
МЦНМО, 2008 г.
ISBN отсутствует