ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХПоиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика
----> основания математики и математическая логика
------> математическая логика
Печать списка
--> Математика
----> основания математики и математическая логика
------> математическая логика
Рубрика
- Название:
- математическая логика
Печать списка
Связанные описания:
Книга
DeGroot, D.
Logic Programming. Function, Relations, and Equations
Prentice Hall, 1986 г.
ISBN отсутствует
DeGroot, D.
Logic Programming. Function, Relations, and Equations
Prentice Hall, 1986 г.
ISBN отсутствует
Заказать 
На полку
Книга
Епихин В. Е.
Алгебра и теория пределов: учебное пособие
ISBN 5-947744-49-X
Епихин В. Е.
Алгебра и теория пределов: учебное пособие
Серия: Элективный курс. Математика
БИНОМ. Лаборатория знаний, 2006 г.ISBN 5-947744-49-X
Книга
Левин, В. И.
Бесконечнозначная логика в задачах кибернетики
Радио и связь, 1982 г.
ISBN отсутствует
Левин, В. И.
Бесконечнозначная логика в задачах кибернетики
Радио и связь, 1982 г.
ISBN отсутствует
Книга
Колмогоров, А. Н.
Введение в математическую логику: учебное пособие для спец. матем. вузов
Изд-во МГУ, 1982 г.
ISBN отсутствует
Колмогоров, А. Н.
Введение в математическую логику: учебное пособие для спец. матем. вузов
Изд-во МГУ, 1982 г.
ISBN отсутствует
Книга
Черч А.
Введение в математическую логику. Т.1
Introduction to mathematical logic
Эдиториал УРСС, 2009 г.
ISBN 978-5-397-00468-8
Черч А.
Введение в математическую логику. Т.1
Introduction to mathematical logic
Эдиториал УРСС, 2009 г.
ISBN 978-5-397-00468-8
Книга
Черч А.
Введение в математическую логику. Т.1
Introduction to mathematical logic
Изд-во иностранной лит., 1960 г.
ISBN отсутствует
Черч А.
Введение в математическую логику. Т.1
Introduction to mathematical logic
Изд-во иностранной лит., 1960 г.
ISBN отсутствует
Книга
Вопросы кибернетики. Выпуск 134. Сложность вычислений и прикладная математическая логика
[б. и.], 1988 г.
ISBN отсутствует
Вопросы кибернетики. Выпуск 134. Сложность вычислений и прикладная математическая логика
[б. и.], 1988 г.
ISBN отсутствует
Книга
Вопросы математической логики и теории алгоритмов
Вычислит. центр АН СССР, 1988 г.
ISBN отсутствует
Вопросы математической логики и теории алгоритмов
Вычислит. центр АН СССР, 1988 г.
ISBN отсутствует
Книга
Бутаков, Е. А.
Диагностика программируемых логических матриц
Радио и связь, 1991 г.
ISBN 5-256-00457-3
Бутаков, Е. А.
Диагностика программируемых логических матриц
Радио и связь, 1991 г.
ISBN 5-256-00457-3
Книга
Гладков, Л. А.
Дискретная математика: учебник по направлениям "Информатика и вычислительная техника" и "Информационные системы"
Физматлит, 2014 г.
ISBN 978-5-9221-1575-9
Гладков, Л. А.
Дискретная математика: учебник по направлениям "Информатика и вычислительная техника" и "Информационные системы"
Физматлит, 2014 г.
ISBN 978-5-9221-1575-9
Книга
Дискретная математика и математические вопросы кибернетики. Том 1
Наука, 1974 г.
ISBN отсутствует
Дискретная математика и математические вопросы кибернетики. Том 1
Наука, 1974 г.
ISBN отсутствует
Книга
Авдошин, С. М.
Дискретная математика. Формально-логические системы и языки
ДМК Пресс, 2018 г.
ISBN 978-5-97060-622-3
Авдошин, С. М.
Дискретная математика. Формально-логические системы и языки
ДМК Пресс, 2018 г.
ISBN 978-5-97060-622-3
Книга
Журавлев Ю. И.
Дискретный анализ. Формальные системы и алгоритмы: учебное пособие для студентов вузов, обучающихся по естественнонаучным направлениям
ISBN 978-5-534-06279-3
Журавлев Ю. И.
Дискретный анализ. Формальные системы и алгоритмы: учебное пособие для студентов вузов, обучающихся по естественнонаучным направлениям
Серия: Высшее образование
Юрайт, 2024 г.ISBN 978-5-534-06279-3
Книга
Лакатос, И.
Доказательства и опровержения. Как доказываются теоремы
Наука, 1967 г.
ISBN отсутствует
Лакатос, И.
Доказательства и опровержения. Как доказываются теоремы
Наука, 1967 г.
ISBN отсутствует
Книга
Лакатос, И.
Доказательства и опровержения. Как доказываются теоремы
Эдиториал УРСС, 2010 г.
ISBN 978-5-382-01024-3
Лакатос, И.
Доказательства и опровержения. Как доказываются теоремы
Эдиториал УРСС, 2010 г.
ISBN 978-5-382-01024-3
Книга
Бирюков, Б. В.
Жар холодных чисел и пафос бесстрастной логики: формализация мышления от античных времен до эпохи кибернетики
ISBN отсутствует
Бирюков, Б. В.
Жар холодных чисел и пафос бесстрастной логики: формализация мышления от античных времен до эпохи кибернетики
Серия: Наука и прогресс
Знание, 1985 г.ISBN отсутствует
Книга
Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов: учебное пособие для вузов по специальностям в области 090100 "Информационная безопасность"
Лань-Пресс, 2008 г.
ISBN 978-5-8114-0853-5
Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов: учебное пособие для вузов по специальностям в области 090100 "Информационная безопасность"
Лань-Пресс, 2008 г.
ISBN 978-5-8114-0853-5
Книга
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2009 г.
ISBN 978-5-9221-0026-7
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2009 г.
ISBN 978-5-9221-0026-7
Книга
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2001 г.
ISBN 5-922100-26-2
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2001 г.
ISBN 5-922100-26-2
Книга
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 1995 г.
ISBN отсутствует
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 1995 г.
ISBN отсутствует
Книга
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1984 г.
ISBN отсутствует
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1984 г.
ISBN отсутствует
Книга
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2004 г.
ISBN 5-922100-26-2
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2004 г.
ISBN 5-922100-26-2
Книга
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует
Книга
Вагин, В. Н.
Знания и убеждения в интеллектуальном анализе данных: [монорафия]
Физматлит, 2019 г.
ISBN 978-5-9221-1841-5
Вагин, В. Н.
Знания и убеждения в интеллектуальном анализе данных: [монорафия]
Физматлит, 2019 г.
ISBN 978-5-9221-1841-5
Книга
Колобов, А. М
Избранные главы высшей математики. Ч.3.Методы математической физики (дифференциальные уравнения в...
Высшая школа, 1971 г.
ISBN отсутствует
Колобов, А. М
Избранные главы высшей математики. Ч.3.Методы математической физики (дифференциальные уравнения в...
Высшая школа, 1971 г.
ISBN отсутствует
Книга
Мальцев, А. И.
Избранные труды. Т.2. Математическая логика и общая теория алгебраических систем
Наука, 1976 г.
ISBN отсутствует
Мальцев, А. И.
Избранные труды. Т.2. Математическая логика и общая теория алгебраических систем
Наука, 1976 г.
ISBN отсутствует
Книга
Новиков, П. С
Избранные труды. Теория множеств и фукций. Математическая логика и алгебра
Наука, 1979 г.
ISBN отсутствует
Новиков, П. С
Избранные труды. Теория множеств и фукций. Математическая логика и алгебра
Наука, 1979 г.
ISBN отсутствует
Книга
Горбаченко, В. И.
Интеллектуальные системы : нечеткие системы и сети: учебное пособие для вузов
ISBN 978-5-534-08359-0
Горбаченко, В. И.
Интеллектуальные системы : нечеткие системы и сети: учебное пособие для вузов
Серия: Высшее образование
Юрайт, 2024 г.ISBN 978-5-534-08359-0
Книга
Назаров, Д. М.
Интеллектуальные системы: основы теории нечетких множеств: учебное пособие для студентов вузов, обучающихся по инженерно-техническим направлениям
ISBN 978-5-534-07496-3
Назаров, Д. М.
Интеллектуальные системы: основы теории нечетких множеств: учебное пособие для студентов вузов, обучающихся по инженерно-техническим направлениям
Серия: Высшее образование
Юрайт, 2020 г.ISBN 978-5-534-07496-3
Книга
Усков, А. А.
Интеллектуальные технологии управления. Искусственные нейронные сети и нечеткая логика
Горячая Линия-Телеком, 2004 г.
ISBN 5-93517-181-3
Усков, А. А.
Интеллектуальные технологии управления. Искусственные нейронные сети и нечеткая логика
Горячая Линия-Телеком, 2004 г.
ISBN 5-93517-181-3
Книга
Искусственный интеллект - основа новой информационной технологии: сборник научных трудов
Центрпрограммсистем, 1990 г.
ISBN отсутствует
Искусственный интеллект - основа новой информационной технологии: сборник научных трудов
Центрпрограммсистем, 1990 г.
ISBN отсутствует
Отчет
Исследование и разработка методов формирования признакового пространства временных зависимостей д...: НИР
2021 г.
ISBN отсутствует
Исследование и разработка методов формирования признакового пространства временных зависимостей д...: НИР
2021 г.
ISBN отсутствует
Книга
Новиков, П. С
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
Новиков, П. С
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
Книга
Драгалин А. Г.
Конструктивная теория доказательств и нестандартный анализ
Эдиториал УРСС, 2003 г.
ISBN 5-354-00387-3
Драгалин А. Г.
Конструктивная теория доказательств и нестандартный анализ
Эдиториал УРСС, 2003 г.
ISBN 5-354-00387-3
Книга
Соколов, А. В.
Криптографические конструкции на основе функций многозадачной логики: монография
ISBN 978-5-16-015667-5
Соколов, А. В.
Криптографические конструкции на основе функций многозадачной логики: монография
Серия: Научная мысль
ИНФРА-М, 2020 г.ISBN 978-5-16-015667-5
Книга
Герасимов, А. С.
Курс математической логики и теории вычислимости: учебное пособие
Лань-Пресс, 2014 г.
ISBN 978-5-8114-1666-0
Герасимов, А. С.
Курс математической логики и теории вычислимости: учебное пособие
Лань-Пресс, 2014 г.
ISBN 978-5-8114-1666-0
Книга
Мощенский, В. А
Лекции по математической логике: учебное пособие для мат. специальностей вузов
Белорусский государственный университет(БГУ), 1973 г.
ISBN отсутствует
Мощенский, В. А
Лекции по математической логике: учебное пособие для мат. специальностей вузов
Белорусский государственный университет(БГУ), 1973 г.
ISBN отсутствует
Книга
Манин, Ю. И.
Лекции по математической логике. Ч.1: учебное пособие для студентов специальности 0647
Моск. ин-т электр. машиностроения, 1974 г.
ISBN отсутствует
Манин, Ю. И.
Лекции по математической логике. Ч.1: учебное пособие для студентов специальности 0647
Моск. ин-т электр. машиностроения, 1974 г.
ISBN отсутствует
Книга
Манин, Ю. И.
Лекции по математической логике. Ч.2: учебное пособие для студентов специальности 0647
Моск. ин-т электр. машиностроения, 1974 г.
ISBN отсутствует
Манин, Ю. И.
Лекции по математической логике. Ч.2: учебное пособие для студентов специальности 0647
Моск. ин-т электр. машиностроения, 1974 г.
ISBN отсутствует
Книга
Лыскова В. Ю.
Логика в информатике: Методическое пособие
ISBN 5-932081-05-8
Лыскова В. Ю.
Логика в информатике: Методическое пособие
Серия: Информатика
Лаборатория Базовых Знаний, 2004 г.ISBN 5-932081-05-8
Книга
Осипова, В. А.
Логика высказываний и логика предикатов в примерах и задачах
МАИ, 1978 г.
ISBN отсутствует
Осипова, В. А.
Логика высказываний и логика предикатов в примерах и задачах
МАИ, 1978 г.
ISBN отсутствует
Книга
Фреге, Г.
Логика и логическая семантика
ISBN 978-5-397-04924-5
Фреге, Г.
Логика и логическая семантика
Серия: Классики науки
Эдиториал УРСС, 2015 г.ISBN 978-5-397-04924-5
Книга
Бахтияров К. И.
Логика с точки зрения информатики : Бестселлер в духе Льюис Кэрролла: 12 этюдов
Эдиториал УРСС, 2002 г.
ISBN отсутствует
Бахтияров К. И.
Логика с точки зрения информатики : Бестселлер в духе Льюис Кэрролла: 12 этюдов
Эдиториал УРСС, 2002 г.
ISBN отсутствует
Книга
Кирий, В. Г.
Логико-вероятностные методы и средства идентификации и прогнозирования бинарных систем: [монография]
Изд-во Иркут. ун-та, 1987 г.
ISBN отсутствует
Кирий, В. Г.
Логико-вероятностные методы и средства идентификации и прогнозирования бинарных систем: [монография]
Изд-во Иркут. ун-та, 1987 г.
ISBN отсутствует
Книга
Бирюкова Н. Б.
Логическая мысль во Франции 17 - начала 19 столетий. Французские предвосхищения идей математическ...
Эдиториал УРСС, 2006 г.
ISBN 5-484-00607-4
Бирюкова Н. Б.
Логическая мысль во Франции 17 - начала 19 столетий. Французские предвосхищения идей математическ...
Эдиториал УРСС, 2006 г.
ISBN 5-484-00607-4
Книга
Драбкина, М. Е
Логические упражнения по элементарной математике: учебное пособие для студентов матем. факультетов педагогических вузов
Высшая школа, 1965 г.
ISBN отсутствует
Драбкина, М. Е
Логические упражнения по элементарной математике: учебное пособие для студентов матем. факультетов педагогических вузов
Высшая школа, 1965 г.
ISBN отсутствует
Книга
Математика XIX века. Математическая логика. Алгебра. Теория чисел. Теория вероятностей
Наука, 1978 г.
ISBN отсутствует
Математика XIX века. Математическая логика. Алгебра. Теория чисел. Теория вероятностей
Наука, 1978 г.
ISBN отсутствует
Книга
Никольская, И. Л
Математическа логика: учебник для техникумов по спец. "Прикладная математика"
Высшая школа, 1981 г.
ISBN отсутствует
Никольская, И. Л
Математическа логика: учебник для техникумов по спец. "Прикладная математика"
Высшая школа, 1981 г.
ISBN отсутствует
Книга
Клини С. К.
Математическая логика
Mathematical logic
Эдиториал УРСС, 2008 г.
ISBN 978-5-382-00626-0
Клини С. К.
Математическая логика
Mathematical logic
Эдиториал УРСС, 2008 г.
ISBN 978-5-382-00626-0
Книга
Колмогоров А. Н.
Математическая логика: учебное пособие для математических специальностей вузов
Эдиториал УРСС, 2005 г.
ISBN 5-354-01003-9
Колмогоров А. Н.
Математическая логика: учебное пособие для математических специальностей вузов
Эдиториал УРСС, 2005 г.
ISBN 5-354-01003-9
Книга
Ершов, Ю. Л.
Математическая логика: учебное пособие для мат. спец.вузов
Наука, 1987 г.
ISBN отсутствует
Ершов, Ю. Л.
Математическая логика: учебное пособие для мат. спец.вузов
Наука, 1987 г.
ISBN отсутствует
Книга
Игошин, В. И.
Математическая логика: учебное пособие для вузов по направлению "Педагогическое образование"
ISBN 978-5-16-011691-4
Игошин, В. И.
Математическая логика: учебное пособие для вузов по направлению "Педагогическое образование"
Серия: Высшее образование
ИНФРА-М, 2017 г.ISBN 978-5-16-011691-4
Книга
Игошин, В. И.
Математическая логика: учебное пособие для вузов по специальности 050201.65 "Математика"
ISBN 978-5-16-005204-5
Игошин, В. И.
Математическая логика: учебное пособие для вузов по специальности 050201.65 "Математика"
Серия: Высшее образование
ИНФРА-М, 2012 г.ISBN 978-5-16-005204-5
Книга
Игошин, В. И.
Математическая логика: учебное пособие для вузов по специальности 050201.65 "Математика"
ISBN 978-5-16-005204-5
Игошин, В. И.
Математическая логика: учебное пособие для вузов по специальности 050201.65 "Математика"
Серия: Высшее образование
ИНФРА-М, 2013 г.ISBN 978-5-16-005204-5
Книга
Колмогоров А. Н.
Математическая логика: Учебное пособие для математических специальностей вузов
Эдиториал УРСС, 2004 г.
ISBN 5-354-00389-X
Колмогоров А. Н.
Математическая логика: Учебное пособие для математических специальностей вузов
Эдиториал УРСС, 2004 г.
ISBN 5-354-00389-X
Книга
Колмогоров А. Н.
Математическая логика: учебное пособие для математических специальностей вузов
Эдиториал УРСС, 2006 г.
ISBN 5-484-00520-5
Колмогоров А. Н.
Математическая логика: учебное пособие для математических специальностей вузов
Эдиториал УРСС, 2006 г.
ISBN 5-484-00520-5
Книга
Карпов, В. Г.
Математическая логика и дискретная математика: учебное пособие для университетов по специальности "Прикладная математика"
Вышэйшая школа, 1977 г.
ISBN отсутствует
Карпов, В. Г.
Математическая логика и дискретная математика: учебное пособие для университетов по специальности "Прикладная математика"
Вышэйшая школа, 1977 г.
ISBN отсутствует
Книга
Набебин А. А.
Математическая логика и пролог
Mathematical logic and Prolog
Изд-во МЭИ, 2004 г.
ISBN отсутствует
Набебин А. А.
Математическая логика и пролог
Mathematical logic and Prolog
Изд-во МЭИ, 2004 г.
ISBN отсутствует
Книга
Гуц А. К.
Математическая логика и теория алгоритмов
Эдиториал УРСС, 2009 г.
ISBN 978-5-397-00056-7
Гуц А. К.
Математическая логика и теория алгоритмов
Эдиториал УРСС, 2009 г.
ISBN 978-5-397-00056-7
Книга
Игошин В. И.
Математическая логика и теория алгоритмов: учебное пособие для вузов по специальности 032100 "Математика"
Академия, 2004 г.
ISBN 5-7695-1363-2
Игошин В. И.
Математическая логика и теория алгоритмов: учебное пособие для вузов по специальности 032100 "Математика"
Академия, 2004 г.
ISBN 5-7695-1363-2
Книга
Судоплатов, С. В.
Математическая логика и теория алгоритмов: [учебник]
ISBN 978-5-7782-1838-3
Судоплатов, С. В.
Математическая логика и теория алгоритмов: [учебник]
Серия: Учебники НГТУ
Изд-во НГТУ, 2012 г.ISBN 978-5-7782-1838-3