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