Главная Регистрация Вход

Для работы в проекте нужно Зарегистрироваться или Войти.

Теперь вы можете получать деньги, добавляя книги на наш сайт. Подробнее об этом читайте здесь.

Математическая логика. Курс лекций

Тимофеева И.Л.
Математическая

Название Математическая логика. Курс лекций
Автор Тимофеева И.Л.
Издательство Мир и образование, 2-е издание
Год 2007
Метки математическая логика
Размер 1.52 МБ
Рейтинг книги
9.20
(5)


10

СКАЧАТЬ И ЧИТАТЬ КНИГУ(litres.ru)

БУМАЖНАЯ ВЕРСИЯ КНИГИ


Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики. Курс лекций предназначен для студентов математических факультетов педвузов, изучающих математическую логику, а также для преподавателей, читающих лекционный курс и ведущих практические занятия по математической логике.



Популярные книги раздела
Геометрия. 7-9 классы
Атанасян Л.С., Бутузов В.Ф., Кадомцев С.Б., Позняк Э.Г., Юдина И.И.
Конспект лекций по высшей математике
Письменный Д.Т.
Чтобы оставить отзыв от имени, Зарегистрируйтесь или войдите на сайт.