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