ГоловнаМатематика. Природничі наукиМатематика
home first_page chevron_left / 276 chevron_right last_page unfold_more unfold_more zoom_out zoom_in refresh refresh
Кондратенко В. А. Создание единого стереотипа логической конструкции мышления для содержательного и формального доказательного и формального доказательства теорем
Оглавление
Введение
Глава 1. Научное познание предметов и процессов Реального Мира и проблема определения критериев для оценки правильности содержательного доказательства прогнозных умозаключений (теорем) о жизнедеятельности этих предметов и процессов
Глава 2. Теория аксиоматического моделирования предметов и процессов Реального Мира
Глава 3. Концепты классической теории автоматического доказательства теорем и методические указания по ее применению в практике решения проблемных функциональных задач Реального Мира
Глава 4. Стандарт архитектуры логической конструкции содержательного и формального доказательства теорем
Глава 5. Аксиоматическое моделирование и автоматическое доказательство теорем в практике решения проблемных функциональных задач в микроэкономике, макроэкономике, социологии, мировой финансовой архитектуре, биомедицине
6. Заключение
Литература