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

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

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

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

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

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

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

IDR: 140221098

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

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

Еще

Статья