Добро пожаловать!

Вход на сайт

» » » » Конспект лекций по математической логике
Внимание! Новости из категории "Комиксы 18+" , "Журналы 18+" и "Фильмы 18+" на главной странице не публикуются.

Конспект лекций по математической логике

Автор: natagu Дата: 12-06-2018, 05:46 Категория: Информатика, Мат. и алгебра

Конспект лекций по математической логике

Применение в логике математических методов становится возможным тогда, когда суждения формулируются на некотором точном языке. Такие точные языки имеют две стороны: синтаксис и семантику. Пособие представляет конспект курса лекций по математической логике, читаемого автором в течение ряда лет на математическом факультете в Тобольской государственной социально-педагогической академии им. Д.И. Менделеева. Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. Пособие предназначено, в первую очередь, для студентов физико-математических специальностей пединститутов. Пособие может быть использовано также при чтении курса математической логики для специалистов, связанных с информатикой. Пособие будет полезно всем, кто интересуется математикой и проблемами ее обоснования.


Название: Конспект лекций по математической логике: Учебно-методическое пособие для студентов физико-математических факультетов педвузов
Автор: Валицкас А.И.
Издательство: Тобольск: ТГСПА им. Д.И. Менделеева
Год: 2010
Страниц: 186
ISBN: 978-5-85944-273-7
Язык: Русский
Формат: djvu
Размер: 13,3 Мб
Качество: хорошее, текстовый слой, оглавление.

Скачать Конспект лекций по математической логике



Просмотров: 138 Отзывы: 0 Подняться наверх Вернуться

Комментарии

Добавить комментарий

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.