Конспект лекций по математической логике
Конспекты лекций / Образование
Основная информация:
Название: Конспект лекций по математической логике
Жанр: Математика
Автор: Валицкас А.И.
Год выпуска: 2010
Формат: DJVU
Размер: 13,3 Мб
ISBN: 136271503288
Язык: Русский
СКАЧАТЬ Конспект лекций по математической логике БЕСПЛАТНО EPUB - DOC - DJVU - RTF - PDFОписание: Качественное изучение математической логики дает выпускнику педагогического вуза возможность обучения школьников методам строгих математических рассуждений, что особенно важно в условиях отмечающегося в последнее время неуклонного снижения уровней логического мышления и доказательности в математических рассуждениях школьников.Это пособие предназначено для студентов физико-математических специальностей пединститутов, оно может быть использовано и при чтении курса математической логики для специалистов, связанных с информатикой. Учебно-методическое пособие представляет конспект курса лекций по математической логике, читаемого автором в течение ряда лет на математическом факультете в Тобольской государственной социально-педагогической академии им. Д.И. Менделеева. Некоторые разделы курса изложены более широко, чем этого требует программа, а материал каждого параграфа подкреплен примерами и упражнениями для самостоятельного решения, которые помогут вдумчивому читателю научиться решать стандартные задачи по математической логике. Пособие будет полезно всем, кто интересуется математикой и проблемами ее обоснования.
Краткое содержание
Предисловие
Глава I. Алгебра высказываний
Глава II. Алгебра предикатов
Глава III. Формальные аксиоматические теории
Приложение. Формальная теория множеств
Литература
Предметный указатель.