Отрывок: д. Термин «теорема» (а также «доказательство», «вывод» и т.д.) имеет двоякое значение: в формальной тео- рии это — доказуемая логическая формула, при изучении формальной теории это — утверждение об объектах формальной теории, формулируемое и обосновываемое на метаязыке. 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.issued | 2001 | ru |
dc.identifier | RU\НТБ СГАУ\412851 | ru |
dc.identifier.citation | Фролов, И. С. Элементы математической логики [Электронный ресурс] : [учеб. пособие для мат. специальностей] / И. С. Фролов ; М-во образования Рос. Федерации, Самар. гос. ун-т, Каф. алгебры и геометрии. - Самара : Изд-во "Самар. ун-т", 2001. - on-line | ru |
dc.description.abstract | Используемые программы: Adobe Acrobat. | ru |
dc.description.abstract | Труды сотрудников Самар. гос. ун-та (электрон. версия). | ru |
dc.format.extent | Электрон. дан. (1 файл : 859 Кб) | ru |
dc.language.iso | rus | ru |
dc.publisher | Изд-во "Самар. ун-т" | ru |
dc.relation.isformatof | Элементы математической логики [Текст] : [учеб. пособие для мат. специальностей] | ru |
dc.subject | Физико-математические науки | ru |
dc.title | Элементы математической логики | ru |
dc.type | Text | ru |
dc.subject.rubbk | В12я73 | ru |
dc.subject.udc | 517.11 | ru |
dc.textpart | д. Термин «теорема» (а также «доказательство», «вывод» и т.д.) имеет двоякое значение: в формальной тео- рии это — доказуемая логическая формула, при изучении формальной теории это — утверждение об объектах формальной теории, формулируемое и обосновываемое на метаязыке. II. В определенном нами исчислении высказываний имеется бесконечное чис- ло аксиом, получаемых... | - |
Располагается в коллекциях: | Учебные издания |
Файлы этого ресурса:
Файл | Размер | Формат | |
---|---|---|---|
Фролв И.С. Элементы математической логики.pdf | 859.63 kB | Adobe PDF | Просмотреть/Открыть |
Показать базовое описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.