ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХПоиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика
----> основания математики и математическая логика
------> математическая логика
Печать списка
--> Математика
----> основания математики и математическая логика
------> математическая логика
Рубрика
- Название:
- математическая логика
Печать списка
Связанные описания:
Книга
Пруцков, А. В.
Математическая логика и теория алгоритмов: учебник для вузов по направлению "Программная инженерия"
Курс, ИНФРА-М, 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
Книга
Колмогоров А. Н.
Математическая логика. Дополнительные главы: [учебное пособие]
Эдиториал УРСС, 2015 г.
ISBN 978-5-354-01492-7
Колмогоров А. Н.
Математическая логика. Дополнительные главы: [учебное пособие]
Эдиториал УРСС, 2015 г.
ISBN 978-5-354-01492-7
Книга
Колмогоров, А. Н.
Математическая логика. Дополнительные главы: учебное пособие для вузов по спец. "Математика"
Изд-во МГУ, 1984 г.
ISBN отсутствует
Колмогоров, А. Н.
Математическая логика. Дополнительные главы: учебное пособие для вузов по спец. "Математика"
Изд-во МГУ, 1984 г.
ISBN отсутствует
Книга
Гинзбург, С. А.
Математическая непрерывная логика и изображение функций
ISBN отсутствует
Гинзбург, С. А.
Математическая непрерывная логика и изображение функций
Серия: Б-ка по автоматике
Энергия, 1968 г.ISBN отсутствует
Книга
Дубровский, В. Н.
Математические головоломки. Вып.1 (До и после кубика Рубика)
Знание, 1990 г.
ISBN отсутствует
Дубровский, В. Н.
Математические головоломки. Вып.1 (До и после кубика Рубика)
Знание, 1990 г.
ISBN отсутствует
Книга
Гарднер, М.
Математические чудеса и тайны. Математические фокусы и головоломки
Мир, 1982 г.
ISBN отсутствует
Гарднер, М.
Математические чудеса и тайны. Математические фокусы и головоломки
Мир, 1982 г.
ISBN отсутствует
Книга
Гарднер, М.
Математические чудеса и тайны. Математические фокусы и головоломки
Мир, 1986 г.
ISBN отсутствует
Гарднер, М.
Математические чудеса и тайны. Математические фокусы и головоломки
Мир, 1986 г.
ISBN отсутствует
Книга
Драгалин, А. Г.
Математический интуиционизм. Введение в теорию докозательств
Наука, 1979 г.
ISBN отсутствует
Драгалин, А. Г.
Математический интуиционизм. Введение в теорию докозательств
Наука, 1979 г.
ISBN отсутствует
Книга
Математическое обеспечение систем логического вывода и дедуктивных построений на ЭВМ: Сборник научных трудов
[б.и.], 1983 г.
ISBN отсутствует
Математическое обеспечение систем логического вывода и дедуктивных построений на ЭВМ: Сборник научных трудов
[б.и.], 1983 г.
ISBN отсутствует
Книга
Стрыгин В. З.
Матричная логика и комбинаторные машины: Препринт N 120
ЦАГИ, 1998 г.
ISBN отсутствует
Стрыгин В. З.
Матричная логика и комбинаторные машины: Препринт N 120
ЦАГИ, 1998 г.
ISBN отсутствует
Книга
Метод резолюций в логике предикатов как основа для языка программирования Пролог: Методические указания по курсу "Основы математического моделирования"
Изд-во МЭИ, 1990 г.
ISBN отсутствует
Метод резолюций в логике предикатов как основа для языка программирования Пролог: Методические указания по курсу "Основы математического моделирования"
Изд-во МЭИ, 1990 г.
ISBN отсутствует
Книга
Методические указания по курсу "Высшая математика":Логико-математическая терминология и символика...
1996 г.
ISBN отсутствует
Методические указания по курсу "Высшая математика":Логико-математическая терминология и символика...
1996 г.
ISBN отсутствует
Книга
Кедровский, О. И
Методологические проблемы развития математического познания
Вища школа, 1977 г.
ISBN отсутствует
Кедровский, О. И
Методологические проблемы развития математического познания
Вища школа, 1977 г.
ISBN отсутствует
Книга
Касаткин, В. Н.
Необычные задачи математики: [для старших классов средней школы]
Радянська школа, 1987 г.
ISBN отсутствует
Касаткин, В. Н.
Необычные задачи математики: [для старших классов средней школы]
Радянська школа, 1987 г.
ISBN отсутствует
Книга
Оптимизация и моделирование: Межвузовский сборник научных трудов
Горьковский гос.ун-т, 1988 г.
ISBN отсутствует
Оптимизация и моделирование: Межвузовский сборник научных трудов
Горьковский гос.ун-т, 1988 г.
ISBN отсутствует
Книга
Гильберт, Д.
Основание математики. Логические исчисления и формализация арифметики
Наука, 1982 г.
ISBN отсутствует
Гильберт, Д.
Основание математики. Логические исчисления и формализация арифметики
Наука, 1982 г.
ISBN отсутствует
Книга
Гильберт, Д.
Основание математики. Логические исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
Гильберт, Д.
Основание математики. Логические исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
Книга
Лурье Л. И.
Основы высшей математики: Учебное пособие для втузов
Дашков и К°, 2003 г.
ISBN 5-947980-91-6
Лурье Л. И.
Основы высшей математики: Учебное пособие для втузов
Дашков и К°, 2003 г.
ISBN 5-947980-91-6
Книга
Борисов, В. В.
Основы теории нечетких множеств. Книга 1: учебное пособие для вузов по направлению "Информатика и вычислительная техника"
ISBN 978-5-9912-0371-5
Борисов, В. В.
Основы теории нечетких множеств. Книга 1: учебное пособие для вузов по направлению "Информатика и вычислительная техника"
Серия: Основы нечеткой математики
Горячая Линия-Телеком, 2024 г.ISBN 978-5-9912-0371-5
Книга
Блехман, И. И.
Прикладная математика: предмет, логика, особенности подходов
Наукова думка, 1976 г.
ISBN отсутствует
Блехман, И. И.
Прикладная математика: предмет, логика, особенности подходов
Наукова думка, 1976 г.
ISBN отсутствует
Книга
Прикладные нейро-нечеткие вычислительные системы и устройства: монография
ISBN 978-5-16-017976-6
Прикладные нейро-нечеткие вычислительные системы и устройства: монография
Серия: Научная мысль
ИНФРА-М, 2023 г.ISBN 978-5-16-017976-6
Книга
Волгин Л. И.
Релятор и реляторная схемотехника: Логико-алгебраические основы и применения. Тематический библио...
Изд-во ТГИС, 2003 г.
ISBN отсутствует
Волгин Л. И.
Релятор и реляторная схемотехника: Логико-алгебраические основы и применения. Тематический библио...
Изд-во ТГИС, 2003 г.
ISBN отсутствует
Книга
Коваленко С. И.
Решение задач математической логики с использованием элементарной алгебры
Физматлит, 2004 г.
ISBN отсутствует
Коваленко С. И.
Решение задач математической логики с использованием элементарной алгебры
Физматлит, 2004 г.
ISBN отсутствует
Книга
Заславский, И. Д
Симметрическая конструктивная логика
Изд-во АН АрмССР, 1978 г.
ISBN отсутствует
Заславский, И. Д
Симметрическая конструктивная логика
Изд-во АН АрмССР, 1978 г.
ISBN отсутствует
Книга
Бураков, М. В.
Системы искусственного интеллекта: учебное пособие
Проспект, 2022 г.
ISBN 978-5-392-37282-9
Бураков, М. В.
Системы искусственного интеллекта: учебное пособие
Проспект, 2022 г.
ISBN 978-5-392-37282-9
Книга
Справочная книга по математической логике в четырех частях. Ч.1. Теория моделей
Наука, 1982 г.
ISBN отсутствует
Справочная книга по математической логике в четырех частях. Ч.1. Теория моделей
Наука, 1982 г.
ISBN отсутствует
Книга
Справочная книга по математической логике в четырех частях. Ч.2. Теория множеств
Наука, 1982 г.
ISBN отсутствует
Справочная книга по математической логике в четырех частях. Ч.2. Теория множеств
Наука, 1982 г.
ISBN отсутствует
Книга
Справочная книга по математической логике в четырех частях. Ч.3. Теория рекурсии
Наука, 1982 г.
ISBN отсутствует
Справочная книга по математической логике в четырех частях. Ч.3. Теория рекурсии
Наука, 1982 г.
ISBN отсутствует
Книга
Справочная книга по математической логике в четырех частях. Ч.4. Теория доказательств и конструкт...
Наука, 1983 г.
ISBN отсутствует
Справочная книга по математической логике в четырех частях. Ч.4. Теория доказательств и конструкт...
Наука, 1983 г.
ISBN отсутствует
Книга
Левин, В. И.
Структурно-логические методы исследования сложных систем с применением ЭВМ
Наука, 1987 г.
ISBN отсутствует
Левин, В. И.
Структурно-логические методы исследования сложных систем с применением ЭВМ
Наука, 1987 г.
ISBN отсутствует
Книга
т.242: Математическая логика и алгебра: К 100-летию со дня рождения академика П. С.Новикова
2003 г.
ISBN 5-02-032604-6
т.242: Математическая логика и алгебра: К 100-летию со дня рождения академика П. С.Новикова
2003 г.
ISBN 5-02-032604-6
Книга
Вагин, В. Н.
Теория алгоритмов и математическая логика: учебное пособие по курсам "Дискретная математика", "Математическая логика", по направлениям "Прикладная математика и
Издательский дом МЭИ, 2012 г.
ISBN отсутствует
Вагин, В. Н.
Теория алгоритмов и математическая логика: учебное пособие по курсам "Дискретная математика", "Математическая логика", по направлениям "Прикладная математика и
Издательский дом МЭИ, 2012 г.
ISBN отсутствует
Книга
Успенский, В. А.
Теория алгоритмов: основные открытия и приложения
Наука, 1987 г.
ISBN отсутствует
Успенский, В. А.
Теория алгоритмов: основные открытия и приложения
Наука, 1987 г.
ISBN отсутствует
Книга
Кочергин В. И.
Теория многомерных цифро-векторных множеств
Изд-во Томского ун-та, 2006 г.
ISBN отсутствует
Кочергин В. И.
Теория многомерных цифро-векторных множеств
Изд-во Томского ун-та, 2006 г.
ISBN отсутствует
Книга
Теория моделей и алгебраическая геометрия. О доказательстве Э.Хрущовского гипотезы Морделла-Ленга: сборник статей
МЦНМО, 2008 г.
ISBN отсутствует
Теория моделей и алгебраическая геометрия. О доказательстве Э.Хрущовского гипотезы Морделла-Ленга: сборник статей
МЦНМО, 2008 г.
ISBN отсутствует
Книга
Теория моделей и ее применения: сборник научных трудов
ISBN отсутствует
Теория моделей и ее применения: сборник научных трудов
Серия: Труды института математики
Наука, 1988 г.ISBN отсутствует
Книга
Фролов, Ю. М.
Управление электроприводом с применением нечеткой логики: учебное пособие [для вузов]
Лань, 2022 г.
ISBN 978-5-8114-9678-5
Фролов, Ю. М.
Управление электроприводом с применением нечеткой логики: учебное пособие [для вузов]
Лань, 2022 г.
ISBN 978-5-8114-9678-5
Книга
Вагин В. Н.
Учебное пособие по курсу "Математическая логика": Дедуктивные методы в математической логике
Изд-во МЭИ, 1989 г.
ISBN отсутствует
Вагин В. Н.
Учебное пособие по курсу "Математическая логика": Дедуктивные методы в математической логике
Изд-во МЭИ, 1989 г.
ISBN отсутствует
Книга
Жуков А. В.
Элементарная математика. Задачи и решения: учебное пособие
Эдиториал УРСС, 2005 г.
ISBN 5-484-00132-3
Жуков А. В.
Элементарная математика. Задачи и решения: учебное пособие
Эдиториал УРСС, 2005 г.
ISBN 5-484-00132-3
Книга
Косовский, Н. К.
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учебное пособие
Изд-во ЛГУ, 1981 г.
ISBN отсутствует
Косовский, Н. К.
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учебное пособие
Изд-во ЛГУ, 1981 г.
ISBN отсутствует
Книга
Вольвачев, Р. Т.
Элементы математической логики и теории множеств
Университетское, 1986 г.
ISBN отсутствует
Вольвачев, Р. Т.
Элементы математической логики и теории множеств
Университетское, 1986 г.
ISBN отсутствует
Книга
Гладкий, А. В.
Язык математической логики: учебное пособие
Калининский гос. ун-т, 1977 г.
ISBN отсутствует
Гладкий, А. В.
Язык математической логики: учебное пособие
Калининский гос. ун-т, 1977 г.
ISBN отсутствует