Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> МАТЕМАТИЧЕСКАЯ ЛОГИКА
Печать списка
--> МАТЕМАТИЧЕСКАЯ ЛОГИКА
Рубрика
- Название:
- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Печать списка
Связанные описания:
Книга
Лавров, И.А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует
Лавров, И.А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует
Заказать 
На полку
Книга
Лавров, И.А.
Задачи по теории множеств, математической логике и теории алгоритмов: [для вузов]
Физматлит, 2002 г.
ISBN 5-922100-26-2
Лавров, И.А.
Задачи по теории множеств, математической логике и теории алгоритмов: [для вузов]
Физматлит, 2002 г.
ISBN 5-922100-26-2
Книга
Горбатов, В.А.
Задачник по математической логике: [учебное пособие]
МЭИ, 1972 г.
ISBN отсутствует
Горбатов, В.А.
Задачник по математической логике: [учебное пособие]
МЭИ, 1972 г.
ISBN отсутствует
Книга
Избранные вопросы алгебры и логики: сборник, посвященный памяти А.И. Мальцева
Наука, Сибирское отделение, 1973 г.
ISBN отсутствует
Избранные вопросы алгебры и логики: сборник, посвященный памяти А.И. Мальцева
Наука, Сибирское отделение, 1973 г.
ISBN отсутствует
Книга
Новиков, П.С.
Избранные труды: Теория множеств и функций. Математическая логика и алгебра
Наука, 1979 г.
ISBN отсутствует
Новиков, П.С.
Избранные труды: Теория множеств и функций. Математическая логика и алгебра
Наука, 1979 г.
ISBN отсутствует
Книга
Исследования по неклассическим логикам и теории множеств: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
Исследования по неклассическим логикам и теории множеств: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
Книга
Исследования по неклассическим логикам и формальным системам: [сборник статей]
Наука, 1983 г.
ISBN отсутствует
Исследования по неклассическим логикам и формальным системам: [сборник статей]
Наука, 1983 г.
ISBN отсутствует
Книга
Исследования по теории алгорифмов и математической логике: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
Исследования по теории алгорифмов и математической логике: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
Книга
Исследования по теории множеств и неклассическим логикам: [сборник статей]
Наука, 1976 г.
ISBN отсутствует
Исследования по теории множеств и неклассическим логикам: [сборник статей]
Наука, 1976 г.
ISBN отсутствует
Книга
Бернхард, Крис
Квантовые вычисления для настоящих айтишников
ISBN 9785446113323
Бернхард, Крис
Квантовые вычисления для настоящих айтишников
Серия: Библиотека программиста
Питер, 2020 г.ISBN 9785446113323
Книга
Комбинаторика и логика: [Cборник статей]
ISBN 5-85843-041-4
Комбинаторика и логика: [Cборник статей]
Серия: Приложение к журналу "Квант"
Квантум, 2003 г.ISBN 5-85843-041-4
Книга
Новиков, П.С.
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
Новиков, П.С.
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
Книга
Стяжкин, Н.И.
Краткий очерк истории общей и математической логики в России
Высшая школа, 1962 г.
ISBN отсутствует
Стяжкин, Н.И.
Краткий очерк истории общей и математической логики в России
Высшая школа, 1962 г.
ISBN отсутствует
Книга
Нефедов, В.Н.
Курс дискретной математики: [учебное пособие для вузов по специальности "Прикладная математика"]
Издательство МАИ, 1992 г.
ISBN отсутствует
Нефедов, В.Н.
Курс дискретной математики: [учебное пособие для вузов по специальности "Прикладная математика"]
Издательство МАИ, 1992 г.
ISBN отсутствует
Книга
Барендрегт, Хендрик Питер
Ламбда-исчисление: его синтиаксис и семантика
Мир, 1985 г.
ISBN отсутствует
Барендрегт, Хендрик Питер
Ламбда-исчисление: его синтиаксис и семантика
Мир, 1985 г.
ISBN отсутствует
Книга
Мощенский, В.А.
Лекции по математической логике: [учебное пособие для математических специальностей вузов]
Издательство БГУ им. В.И. Ленина, 1973 г.
ISBN отсутствует
Мощенский, В.А.
Лекции по математической логике: [учебное пособие для математических специальностей вузов]
Издательство БГУ им. В.И. Ленина, 1973 г.
ISBN отсутствует
Книга
Гетманова, А.Д.
Логика: учебник [для вузов]
ISBN 978-5-365-00950-9
Гетманова, А.Д.
Логика: учебник [для вузов]
Серия: Университетский учебник
Омега-Л, 2008 г.ISBN 978-5-365-00950-9
Книга
Светлов, В.А.
Логика: экзаменационные ответы для студентов вузов
ISBN 5-469-00910-6
Светлов, В.А.
Логика: экзаменационные ответы для студентов вузов
Серия: Завтра экзамен
Питер, 2007 г.ISBN 5-469-00910-6
Книга
Лыскова, В.Ю.
Логика в информатике: методическое пособие
ISBN 5-932081-05-8
Лыскова, В.Ю.
Логика в информатике: методическое пособие
Серия: Информатика
Лаборатория Базовых Знаний, 2004 г.ISBN 5-932081-05-8
Книга
Логика и комбинаторика: [сборник статей]
ISBN 5-85843-040-6
Логика и комбинаторика: [сборник статей]
Серия: Приложение к журналу "Квант"
Квантум, 2002 г.ISBN 5-85843-040-6
Книга
Набебин, А.А.
Логика и пролог в дискретной математике
Издательство МЭИ, 1996 г.
ISBN 5-7046-0162-6
Набебин, А.А.
Логика и пролог в дискретной математике
Издательство МЭИ, 1996 г.
ISBN 5-7046-0162-6