Найденные материалы, документы, бумажные и электронные книги и файлы:
Ниже показаны результаты поиска известных поисковых систем. В результатах могут быть показаны как эта книга, так и похожие на нее по названию или автору.
Search results:
- МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ
З-981. Математическая логика и теория алгоритмов : учебное пособие /. В. М. Зюзьков. — Томск : Эль Контент, 2015. — 236 с. ISBN 978-5-4332-0197-2.
www.math.tsu.ru - Такеути Г. Теория доказательств
Барвайс. Дж. Справочная книга по математической логике. формат djvu; размер 17.63 МБ; добавлен 30 июля 2009 г. В четырех частях. Ч. 1 ...
www.studmed.ru - Справочная книга по математической логике в четырех ...
Купете онлайн „Справочная книга по математической логике в ... Теория множеств Часть 3. Теория рекурсии Часть 4. Теория доказательств и конструктивная математика.
ortograph.com - [Справочная книга по математической логике. В 4 томах] ...
Настоящее издание состоит из четырех книг: "Теория моделей", "Теория множеств", "Теория рекурсии", "Теория доказательств и конструктивная математика".
www.libex.ru - Правительство Российской Федерации
25 нояб. 2014 г. — Овладеть современным аппаратом математической логики, включая технику теории ... Лямбда исчисление. 4, 10. 12, Комбинаторная теория игр по Конвею ...
www.hse.ru - Правительство Российской Федерации
19 нояб. 2018 г. — ... математических доказательств, оценивать строгость ... книга по математической логике, т. 4: Теория доказательстви конструктивная математика, ред.
www.hse.ru - Логика на рубеже тысячелетий Текст научной статьи по ...
Автор: АС Карпенко · 2000 · Цитируется: 95 — ... Справочник по математической логике» [Барвайс (ред.) 1982], а в первый том ... ) 1982] Справочная книга по математической логике: В 4-х частях. М.: Наука ...
cyberleninka.ru
На данной странице Вы можете найти лучшие результаты поиска для чтения, скачивания и покупки на интернет сайтах материалов, документов, бумажных и электронных книг и файлов похожих на материал «Справочная книга по математической логике, часть 4, Теория доказательств и конструктивная математика, Барвайс Д., 1983»
Для формирования результатов поиска документов использованы сервисы поиска по поисковым системам.
Показаны первые 7 результата(ов).