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

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

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

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

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

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

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

IDR: 140221096

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

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

Еще

Статья