Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт уточнения формулировки второго элемента формальной схемы

Автор: Титков Г.К.

Журнал: Академический журнал Западной Сибири @ajws

Рубрика: Физика. Математика

Статья в выпуске: 2 (45) т.9, 2013 года.

Бесплатный доступ

Короткий адрес: https://sciup.org/140220943

IDR: 140220943

Список литературы Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт уточнения формулировки второго элемента формальной схемы

  • Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода посредством метода, обеспечивающего максимальную экономию вычислительных ресурсов. Дальнейшее развитие метода с целью повышения его эффективности//Академический журнал Западной Сибири. -2013. -№ 2.
Статья