Отрывок: д. Термин «теорема» (а также «доказательство», «вывод» и т.д.) имеет двоякое значение: в формальной тео- рии это — доказуемая логическая формула, при изучении формальной теории это — утверждение об объектах формальной теории, формулируемое и обосновываемое на метаязыке. II. В определенном нами исчислении высказываний имеется бесконечное чис- ло аксиом, получаемых...
Полная запись метаданных
Поле DC Значение Язык
dc.contributor.authorФролов И. С.ru
dc.contributor.authorМинистерство образования Российской Федерацииru
dc.contributor.authorСамарский государственный университетru
dc.coverage.spatialматематическая логикаru
dc.coverage.spatialучебные изданияru
dc.creatorФролов И. С.ru
dc.date.issued2001ru
dc.identifierRU\НТБ СГАУ\412851ru
dc.identifier.citationФролов, И. С. Элементы математической логики [Электронный ресурс] : [учеб. пособие для мат. специальностей] / И. С. Фролов ; М-во образования Рос. Федерации, Самар. гос. ун-т, Каф. алгебры и геометрии. - Самара : Изд-во "Самар. ун-т", 2001. - on-lineru
dc.description.abstractИспользуемые программы: Adobe Acrobat.ru
dc.description.abstractТруды сотрудников Самар. гос. ун-та (электрон. версия).ru
dc.format.extentЭлектрон. дан. (1 файл : 859 Кб)ru
dc.language.isorusru
dc.publisherИзд-во "Самар. ун-т"ru
dc.relation.isformatofЭлементы математической логики [Текст] : [учеб. пособие для мат. специальностей]ru
dc.subjectФизико-математические наукиru
dc.titleЭлементы математической логикиru
dc.typeTextru
dc.subject.rubbkВ12я73ru
dc.subject.udc517.11ru
dc.textpartд. Термин «теорема» (а также «доказательство», «вывод» и т.д.) имеет двоякое значение: в формальной тео- рии это — доказуемая логическая формула, при изучении формальной теории это — утверждение об объектах формальной теории, формулируемое и обосновываемое на метаязыке. II. В определенном нами исчислении высказываний имеется бесконечное чис- ло аксиом, получаемых...-
Располагается в коллекциях: Учебные издания

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



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