Отрывок: д. Термин «теорема» (а также «доказательство», «вывод» и т.д.) имеет двоякое значение: в формальной тео- рии это — доказуемая логическая формула, при изучении формальной теории это — утверждение об объектах формальной теории, формулируемое и обосновываемое на метаязыке. II. В определенном нами исчислении высказываний имеется бесконечное чис- ло аксиом, получаемых...
Название : Элементы математической логики
Авторы/Редакторы : Фролов И. С.
Министерство образования Российской Федерации
Самарский государственный университет
Ключевые слова : Физико-математические науки
Дата публикации : 2001
Издательство : Изд-во "Самар. ун-т"
Библиографическое описание : Фролов, И. С. Элементы математической логики [Электронный ресурс] : [учеб. пособие для мат. специальностей] / И. С. Фролов ; М-во образования Рос. Федерации, Самар. гос. ун-т, Каф. алгебры и геометрии. - Самара : Изд-во "Самар. ун-т", 2001. - on-line
Аннотация : Используемые программы: Adobe Acrobat.
Труды сотрудников Самар. гос. ун-та (электрон. версия).
Другие идентификаторы : RU\НТБ СГАУ\412851
Ключевые слова: математическая логика
учебные издания
Располагается в коллекциях: Учебные издания

Файлы этого ресурса:
Файл Размер Формат  
Фролв И.С. Элементы математической логики.pdf859.63 kBAdobe PDFПросмотреть/Открыть
Показать полное описание ресурса Просмотр статистики
Поделиться:



Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.