✍ Scribed by Никольская И.Л.
No coin nor oath required. For personal study only.
Аннотация: Книга предназначена для учащихся техникумов по специальности'Прикладная математика? и содержит теоретический материал, соответствующий программе курса'Математическая логика', а также упражнения для активного усвоения курса н приобретения необходимых навыков. Изложение базируется на знаниях по математике, полученных учащимися в восьмилетней школе, и на усвоенных ими языковых нормах. Предназначается для учащихся средних специальных учебных заведений. Другие книги по математической логике на сайте: Мендельсон Э. Введение в математическую логику Мальцев А.Н. Алгоритмы и рекурсивные функции Мальцев А.И. Избранные труды, в 2-х томах Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов Крайзель Г. Исследования по теории доказательств Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику Клини С.К. Математическая логика Гохман А.В. Сборник задач по математической логике и алгебре множеств Гилберт Д., Аккерман В. Основы теоретической логики Гилберт Д., Бернайс П. Основания математики Р. Грэхем, Д. Кнут, О. Паташник Конкретная математика. Основание информатики
📜 SIMILAR VOLUMES
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем <искусственного интеллекта>. Описываются прим
Философия математики. Логика. Математический анализ. Математическая логика. Теория множеств. Математическая абстракция. Теория алгоритмов. Философские исследования.
Конспект лекций, читавшихся автором в 1998 году на первом курсе механико-математического факультета и в течение ряда лет на филологическом факультете МГУ.