Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> МАТЕМАТИЧЕСКАЯ ЛОГИКА
Печать списка
--> МАТЕМАТИЧЕСКАЯ ЛОГИКА
Рубрика
- Название:
- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Печать списка
Связанные описания:
Книга
Успенский, В.А.
Вводный курс математической логики
ISBN 5-211-01845-1
Успенский, В.А.
Вводный курс математической логики
Серия: Математика
Издательство МГУ, 1991 г.ISBN 5-211-01845-1
Заказать 
На полку
Книга
Успенский, В.А.
Вводный курс математической логики: [учебное пособие для вузов]
Физматлит, 2002 г.
ISBN 5-922102-78-8
Успенский, В.А.
Вводный курс математической логики: [учебное пособие для вузов]
Физматлит, 2002 г.
ISBN 5-922102-78-8
Книга
Гахович, Анатолий Станиславович
Векторный анализ: (теория поля) : учебно-методическое пособие для студентов инженерно-технических специальностей
БГПА, 1998 г.
ISBN отсутствует
Гахович, Анатолий Станиславович
Векторный анализ: (теория поля) : учебно-методическое пособие для студентов инженерно-технических специальностей
БГПА, 1998 г.
ISBN отсутствует
Книга
Вопросы кибернетики. Неклассические логики и их применение: [сборник статей]
Научный совет по комплексной проблеме "Кибернетика" АН СССР, 1982 г.
ISBN отсутствует
Вопросы кибернетики. Неклассические логики и их применение: [сборник статей]
Научный совет по комплексной проблеме "Кибернетика" АН СССР, 1982 г.
ISBN отсутствует
Книга
Вопросы математической логики и ее приложения: межвузовский сборник научных трудов
МГПИ, 1984 г.
ISBN отсутствует
Вопросы математической логики и ее приложения: межвузовский сборник научных трудов
МГПИ, 1984 г.
ISBN отсутствует
Книга
Вопросы математической логики и теории алгоритмов: [сборник статей]
ВЦ АН СССР, 1988 г.
ISBN отсутствует
Вопросы математической логики и теории алгоритмов: [сборник статей]
ВЦ АН СССР, 1988 г.
ISBN отсутствует
![Вычислительная математика [Электронный ресурс]](/app/webroot/img/doctypes/30.gif)
Электронный ресурс
Вычислительная математика [Электронный ресурс]: электронный учебно-методический комплекс для студентов специальностей 1-40 01 01 "Программное обеспечение информационных технологий", 1-40 05
БНТУ, 2016 г.
ISBN отсутствует
Вычислительная математика [Электронный ресурс]: электронный учебно-методический комплекс для студентов специальностей 1-40 01 01 "Программное обеспечение информационных технологий", 1-40 05
БНТУ, 2016 г.
ISBN отсутствует
Статья
Мiжэвiч, В.М.
Гiльбертауская праграма абгрунтавання матэматыкi (логiка-фiласофскi аспект)
2006 г.
ISBN отсутствует
Мiжэвiч, В.М.
Гiльбертауская праграма абгрунтавання матэматыкi (логiка-фiласофскi аспект)
2006 г.
ISBN отсутствует
Книга
Кипнис, М.М.
Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие
ЧПИ, 1985 г.
ISBN отсутствует
Кипнис, М.М.
Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие
ЧПИ, 1985 г.
ISBN отсутствует
Книга
Новиков, Ф.А.
Дискретная математика: для бакалавров и магистров : учебник для студентов высших учебных заведений, обучающихся по направлению подготовки "Системный анализ и управление"
Питер, Питер, 2017 г.
ISBN 978-5-496-02044-2
Новиков, Ф.А.
Дискретная математика: для бакалавров и магистров : учебник для студентов высших учебных заведений, обучающихся по направлению подготовки "Системный анализ и управление"
Питер, Питер, 2017 г.
ISBN 978-5-496-02044-2
Книга
Новиков, Ф.А.
Дискретная математика: для бакалавров и магистров : учебник для студентов высших учебных заведений, обучающихся по направлению подготовки "Системный анализ и управление"
Питер, Питер, 2018 г.
ISBN 978-5-496-02044-2
Новиков, Ф.А.
Дискретная математика: для бакалавров и магистров : учебник для студентов высших учебных заведений, обучающихся по направлению подготовки "Системный анализ и управление"
Питер, Питер, 2018 г.
ISBN 978-5-496-02044-2
Книга
Плотников, А.Д.
Дискретная математика: учебное пособие
Новое знание, 2008 г.
ISBN 978-985-475-371-3
Плотников, А.Д.
Дискретная математика: учебное пособие
Новое знание, 2008 г.
ISBN 978-985-475-371-3
Книга
Бугров, Я.С.
Дифференциальное и интегральное исчисление: [учебник для инженерно-технических специальностей вузов]
ISBN 5-222-00217-9
Бугров, Я.С.
Дифференциальное и интегральное исчисление: [учебник для инженерно-технических специальностей вузов]
Серия: Высшая математика
Феникс, 1997 г.ISBN 5-222-00217-9
Книга
Лакатос, И.
Доказательства и опровержения: как доказываются теоремы
Наука, 1967 г.
ISBN отсутствует
Лакатос, И.
Доказательства и опровержения: как доказываются теоремы
Наука, 1967 г.
ISBN отсутствует
Книга
Манин, Ю.И.
Доказуемое и недоказуемое
ISBN отсутствует
Манин, Ю.И.
Доказуемое и недоказуемое
Серия: Кибернетика
Советское радио, 1979 г.ISBN отсутствует
Книга
Лавров, И.А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физико-математическая литература, 1995 г.
ISBN 5-02-014844-X
Лавров, И.А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физико-математическая литература, 1995 г.
ISBN 5-02-014844-X
Книга
Лавров, И.А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1984 г.
ISBN отсутствует
Лавров, И.А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1984 г.
ISBN отсутствует