Статьи журнала - Академический журнал Западной Сибири

Все статьи: 2225

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

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

Титков Г.К.

Статья

Бесплатно

Построение непротиворечивой математики как процедуры логического вывода. Возврат к непосредственному определению универсума. Более сложная конструктивизация метода

Построение непротиворечивой математики как процедуры логического вывода. Возврат к непосредственному определению универсума. Более сложная конструктивизация метода

Титков Г.К.

Статья

Бесплатно

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

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

Титков Г.К.

Статья

Бесплатно

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

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

Титков Г.К.

Статья

Бесплатно

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

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

Титков Г.К.

Статья

Бесплатно

Построение непротиворечивой математики как процедуры логического вывода. Обобщение одного неконструктивного непосредственного определения универсума

Построение непротиворечивой математики как процедуры логического вывода. Обобщение одного неконструктивного непосредственного определения универсума

Титков Г.К.

Статья

Бесплатно

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

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

Титков Г.К.

Статья

Бесплатно

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

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

Титков Г.К.

Статья

Бесплатно

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

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

Титков Г.К.

Статья

Бесплатно

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

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

Титков Г.К.

Статья

Бесплатно

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

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

Титков Г.К.

Статья

Бесплатно

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

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

Титков Г.К.

Статья

Бесплатно

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

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

Титков Г.К.

Статья

Бесплатно

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

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

Титков Г.К.

Статья

Бесплатно

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

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

Титков Г.К.

Статья

Бесплатно

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

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

Титков Г.К.

Статья

Бесплатно

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

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

Титков Г.К.

Статья

Бесплатно

Построение непротиворечивой математики как процедуры логического вывода. Устраненние ошибок и недостатков предложенного ранее метода

Построение непротиворечивой математики как процедуры логического вывода. Устраненние ошибок и недостатков предложенного ранее метода

Титков Г.К.

Статья

Бесплатно

Построение непротиворечивой математики на основе конструкции, имеющей максимальное число осей симметрии

Построение непротиворечивой математики на основе конструкции, имеющей максимальное число осей симметрии

Титков Г.К.

Статья

Бесплатно

Построение непротиворечивой математики на основе понятия симметрии

Построение непротиворечивой математики на основе понятия симметрии

Титков Г.К.

Статья

Бесплатно

Журнал
QR-код для установки приложения SciUp Наведите камеру и скачайте бесплатное приложение SciUp