Физика. Математика. Рубрика в журнале - Академический журнал Западной Сибири

Определение механизмов роста трещин типа Т9, Т10 в металлических пролётных строениях. Сравнительный анализ методов восстановления несущей способности

Шакиртов М.М.

Статья

Бесплатно

Определение ультрасобственного класса. Дальнейшая детализация

Титков Г.К.

Статья научная

Настоящая статья является продолжением работы [1]. Приведённое в работе [1] определение уль-трасобственного класса может быть детализировано посредством замены рисунка 1 из работы [1] на рисунок 1 из настоящей статьи.

Бесплатно

Определение ультрасобственного класса. Устранение неполноты

Титков Г.К.

Статья

Бесплатно

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

Титков Г.К.

Статья

Бесплатно

Построение непротиворечивой математики как процедуры логического вывода посредством метода, обеспечивающего максимальную экономию вычислительных ресурсов

Титков Г.К.

Статья

Бесплатно

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

Титков Г.К.

Статья

Бесплатно

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

Титков Г.К.

Статья

Бесплатно

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

Титков Г.К.

Статья

Бесплатно

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

Титков Г.К.

Статья

Бесплатно

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

Титков Г.К.

Статья

Бесплатно

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

Титков Г.К.

Статья

Бесплатно

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

Титков Г.К.

Статья

Бесплатно

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

Титков Г.К.

Статья

Бесплатно

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

Титков Г.К.

Статья

Бесплатно

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

Титков Г.К.

Статья

Бесплатно

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

Титков Г.К.

Статья

Бесплатно

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

Титков Г.К.

Статья

Бесплатно

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

Титков Г.К.

Статья

Бесплатно

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

Титков Г.К.

Статья

Бесплатно

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

Титков Г.К.

Статья

Бесплатно