Название: Конспект лекций по математической логике: Учебно-методическое пособие для студентов физико-математических факультетов педвузов Автор: Валицкас А.И. Издательство: Тобольск: ТГСПА им. Д.И. Менделеева Год: 2010 Страниц: 186 Формат: djvu Размер: 13,3 Мб Качество: хорошее, текстовый слой, оглавление. Язык: Русский
Пособие предназначено, в первую очередь, для студентов физико-математических специальностей пединститутов. Учебно-методическое пособие представляет конспект курса лекций по математической логике, читаемого автором в течение ряда лет на математическом факультете в Тобольской государственной социально-педагогической академии им. Д.И. Менделеева. Математи?ческая ло?гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. Пособие может быть использовано также при чтении курса математической логики для специалистов, связанных с информатикой. Пособие будет полезно всем, кто интересуется математикой и проблемами ее обоснования.
Лекции и практикум по математической логике Название: Лекции и практикум по математической логике Автор: Зарипова Э.Р., Маркова Е.В. Издательство: Российский университет дружбы народов Год:...
Навигация
Вход на сайт
Реклама
Конспект лекций по математической логике 
