Отрывок: д. Термин «теорема» (а также «доказательство», «вывод» и т.д.) имеет двоякое значение: в формальной тео- рии это — доказуемая логическая формула, при изучении формальной теории это — утверждение об объектах формальной теории, формулируемое и обосновываемое на метаязыке. II. В определенном нами исчислении высказываний имеется бесконечное чис- ло аксиом, получаемых...
Название : Элементы математической логики [Электронный ресурс] : [учеб. пособие для мат. специальностей]
Авторы/Редакторы : Фролов И. С.
Министерство образования Российской Федерации
Самарский государственный университет
Ключевые слова : Физико-математические науки
Дата публикации : 2001
Издательство : Изд-во "Самар. ун-т"
Библиографическое описание : Фролов, И. С. Элементы математической логики [Электронный ресурс] : [учеб. пособие для мат. специальностей] / И. С. Фролов ; М-во образования Рос. Федерации, Самар. гос. ун-т, Каф. алгебры и геометрии. - Самара : Изд-во "Самар. ун-т", 2001. - on-line
Аннотация : Труды сотрудников Самар. гос. ун-та (электрон. версия).
Используемые программы: Adobe Acrobat.
URI (Унифицированный идентификатор ресурса) : http://repo.ssau.ru/handle/Uchebnye-izdaniya/Elementy-matematicheskoi-logiki-Elektronnyi-resurs-ucheb-posobie-dlya-mat-specialnostei-70838
Другие идентификаторы : RU\НТБ СГАУ\412851
Ключевые слова: учебные издания
математическая логика
Располагается в коллекциях: Учебные издания

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



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