Основания математики. Математическая логика
Объемная однородность, А. Б. Скопенков
Страниц: 32
Год издания: 2012
Язык: Русский
Брошюра написана по материалам миникурса в летней шкале "Современная математика" в Дубне в 2009 г. и доклада на семинаре по геометрии им. И.Ф.Шарыгина в 2010 г. Понятие объемлемой однородности возника ...
Алгоритмизация мышления. Геделевский аргумент, В. В. Целищев
Страниц: 304
Год издания: 2005
Язык: Русский
Монография посвящена сопоставлению возможностей искусственного интеллекта и человеческих когнитивных способностей в области математического мышления. В центре внимания находится использование теорем К ...
Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств, Н. К. Верещагин, А. Шень
Страниц: 112
Год издания: 2017
Язык: Русский
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядо ...