Автор(ы) | Тимофеева И.Л. |
---|---|
Издатель | Книжный дом Университет (КДУ) |
Год | 2007 |
ISBN | 978-5-98227-307-9 |
EAN | |
Обложка | обложка |
Формат | |
Вес (г) | |
Страниц | 304 |
Просмотров | 25 |
Стандарт | 10 |
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики.
Курс лекций предназначен для студентов математических факультетов педвузов, изучающих математическую логику, а также для преподавателей, читающих лекционный курс и ведущих практические занятия по математической логике.
Для студентов математ факультетов
Возможность скачать/купить Математическая логика. Курс лекций. 2 изд..doc у Книжный дом Университет (КДУ)
Хотите эту книгу/словарь/учебник в переплёте или в формате fb2 epub mobi doc docx djvu txt pdf? Нажимайте ниже ссылки или кнопки [В магазин] или [Читать].