Построение непротиворечивой математики как процедуры логического вывода. Использование в качестве универсума собственного класса для обеспечения наибольшей надёжности процедуры логического вывода. Оптимизация метода для снижения требований к вычислительным ресурсам, необходимым для его реализации и анализа полученных результатов
Автор: Титков Г.К.
Журнал: Академический журнал Западной Сибири @ajws
Рубрика: Физика. Математика
Статья в выпуске: 1 (44) т.9, 2013 года.
Бесплатный доступ
Короткий адрес: https://sciup.org/140220885
IDR: 140220885
Список литературы Построение непротиворечивой математики как процедуры логического вывода. Использование в качестве универсума собственного класса для обеспечения наибольшей надёжности процедуры логического вывода. Оптимизация метода для снижения требований к вычислительным ресурсам, необходимым для его реализации и анализа полученных результатов
- Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Использование в качестве универсума собственного класса для обеспечения наибольшей надёжности процедуры логического вывода//Академический журнал Западной Сибири. -2013. -№ 1.
Статья
