THE ROLE OF AXIOMATIZATION IN THE PROCESS OF MATHEMATICAL THEORY CONSTRUCTION

Authors: S.I. MASALOVA

Source: Вестник Донского государственного технического университета, Vol 7, Iss 3, Pp 327-334 (2018)

Subject Terms: логический метод, формализация, аксиоматизация, аксиоматический метод, содержательная аксиоматика, полуформальная аксиоматизация, формальная аксиоматика, формальная система, исчисление, метод интерпретации, Mechanics of engineering. Applied mechanics, TA349-359

File Description: electronic resource

Relation: https://vestnik.donstu.ru/jour/article/view/1310; https://doaj.org/toc/1992-5980; https://doaj.org/toc/1992-6006

Access URL: https://doaj.org/article/9387895e77fd4a7aa1b4a784515a6d44

Роль аксиоматизации в процессе построения математической теории

Authors: Масалова, Светлана

Subject Terms: ЛОГИЧЕСКИЙ МЕТОД,ФОРМАЛИЗАЦИЯ,АКСИОМАТИЗАЦИЯ,АКСИОМАТИЧЕСКИЙ МЕТОД,СОДЕРЖАТЕЛЬНАЯ АКСИОМАТИКА,ПОЛУФОРМАЛЬНАЯ АКСИОМАТИЗАЦИЯ,ФОРМАЛЬНАЯ АКСИОМАТИКА,ФОРМАЛЬНАЯ СИСТЕМА,ИСЧИСЛЕНИЕ,МЕТОД ИНТЕРПРЕТАЦИИ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/rol-aksiomatizatsii-v-protsesse-postroeniya-matematicheskoy-teorii
http://cyberleninka.ru/article_covers/14670999.png

THE ROLE OF AXIOMATIZATION IN THE PROCESS OF MATHEMATICAL THEORY CONSTRUCTION

Authors: S.I. MASALOVA

Source: Advanced Engineering Research, Vol 7, Iss 3, Pp 327-334 (2007)
Вестник Донского государственного технического университета, Vol 7, Iss 3, Pp 327-334 (2018)

Subject Terms: исчисление, полуформальная аксиоматизация, логический метод, Mechanics of engineering. Applied mechanics, TA349-359, формальная аксиоматика, формализация, формальная система, аксиоматизация, TA401-492, аксиоматический метод, содержательная аксиоматика, метод интерпретации, Materials of engineering and construction. Mechanics of materials

Access URL: https://doaj.org/article/950b86464fac447da3f401ff044701b8
https://doaj.org/article/9387895e77fd4a7aa1b4a784515a6d44

Роль аксиоматизации в процессе построения математической теории

Source: Вестник Донского государственного технического университета.

Subject Terms: ЛОГИЧЕСКИЙ МЕТОД,ФОРМАЛИЗАЦИЯ,АКСИОМАТИЗАЦИЯ,АКСИОМАТИЧЕСКИЙ МЕТОД,СОДЕРЖАТЕЛЬНАЯ АКСИОМАТИКА,ПОЛУФОРМАЛЬНАЯ АКСИОМАТИЗАЦИЯ,ФОРМАЛЬНАЯ АКСИОМАТИКА,ФОРМАЛЬНАЯ СИСТЕМА,ИСЧИСЛЕНИЕ,МЕТОД ИНТЕРПРЕТАЦИИ

File Description: text/html

Access URL: http://cyberleninka.ru/article_covers/14670999.png
http://cyberleninka.ru/article/n/rol-aksiomatizatsii-v-protsesse-postroeniya-matematicheskoy-teorii