Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода, за счёт замены содержащейся во втором элементе формальной схемы словесной формулировки геометрическим построением
Автор: Титков Г.К.
Журнал: Академический журнал Западной Сибири @ajws
Рубрика: Физика. Математика
Статья в выпуске: 2 (45) т.9, 2013 года.
Бесплатный доступ
Короткий адрес: https://sciup.org/140220944
IDR: 140220944
Текст статьи Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода, за счёт замены содержащейся во втором элементе формальной схемы словесной формулировки геометрическим построением
ОАО «ГСКБ «Алмаз-Антей»
В работе [1] второй элемент формальной схемы включал в себя словесную формулировку, которую в настоящей статье решено было заменить геометрическим построением. Это должно привести к повышению эффективности метода, поскольку при этом вектора приводятся к нормализованному виду: они исходят из одной точки и имеют одинаковую длину.
Вышесказанное проиллюстрировано на приведённом ниже рисунке 1.
Рисунок 1
Естественные науки
Список литературы Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода, за счёт замены содержащейся во втором элементе формальной схемы словесной формулировки геометрическим построением
- Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт уточнения формулировки второго элемента формальной схемы//Академический журнал Западной Сибири. -2013. -№ 2.
Статья
