THE ROLE OF AXIOMATIZATION IN THE PROCESS OF MATHEMATICAL THEORY CONSTRUCTION

Συγγραφείς: S.I. MASALOVA

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

Θεματικοί όροι: логический метод, формализация, аксиоматизация, аксиоматический метод, содержательная аксиоматика, полуформальная аксиоматизация, формальная аксиоматика, формальная система, исчисление, метод интерпретации, Mechanics of engineering. Applied mechanics, TA349-359

Περιγραφή αρχείου: electronic resource

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

Σύνδεσμος πρόσβασης: https://doaj.org/article/9387895e77fd4a7aa1b4a784515a6d44

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

Συγγραφείς: Масалова, Светлана

Θεματικοί όροι: ЛОГИЧЕСКИЙ МЕТОД,ФОРМАЛИЗАЦИЯ,АКСИОМАТИЗАЦИЯ,АКСИОМАТИЧЕСКИЙ МЕТОД,СОДЕРЖАТЕЛЬНАЯ АКСИОМАТИКА,ПОЛУФОРМАЛЬНАЯ АКСИОМАТИЗАЦИЯ,ФОРМАЛЬНАЯ АКСИОМАТИКА,ФОРМАЛЬНАЯ СИСТЕМА,ИСЧИСЛЕНИЕ,МЕТОД ИНТЕРПРЕТАЦИИ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: 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

Συγγραφείς: S.I. MASALOVA

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

Θεματικοί όροι: исчисление, полуформальная аксиоматизация, логический метод, Mechanics of engineering. Applied mechanics, TA349-359, формальная аксиоматика, формализация, формальная система, аксиоматизация, TA401-492, аксиоматический метод, содержательная аксиоматика, метод интерпретации, Materials of engineering and construction. Mechanics of materials

Σύνδεσμος πρόσβασης: https://doaj.org/article/950b86464fac447da3f401ff044701b8
https://doaj.org/article/9387895e77fd4a7aa1b4a784515a6d44

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

Πηγή: Вестник Донского государственного технического университета.

Θεματικοί όροι: ЛОГИЧЕСКИЙ МЕТОД,ФОРМАЛИЗАЦИЯ,АКСИОМАТИЗАЦИЯ,АКСИОМАТИЧЕСКИЙ МЕТОД,СОДЕРЖАТЕЛЬНАЯ АКСИОМАТИКА,ПОЛУФОРМАЛЬНАЯ АКСИОМАТИЗАЦИЯ,ФОРМАЛЬНАЯ АКСИОМАТИКА,ФОРМАЛЬНАЯ СИСТЕМА,ИСЧИСЛЕНИЕ,МЕТОД ИНТЕРПРЕТАЦИИ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/14670999.png
http://cyberleninka.ru/article/n/rol-aksiomatizatsii-v-protsesse-postroeniya-matematicheskoy-teorii