Научные статьи \ Математика. Естественные науки \ Математика

Фундаментальные и общие проблемы математики - 510

Научные статьи

В разделе "Фундаментальные и общие проблемы математики"
Главные проблемы теории множеств
Подход к априорному оцениванию нечетких классификационных моделей в задачах мониторинга
Об одном достаточном условии сильной конструктивизируемости атомных булевых алгебр
Artin's theorem for $f$-rings
Моделирование логических схем посредством теории множеств
О структурном изоморфизме множеств подмножеств структурно изоморфных множеств
Отрицание мультиплексора
Логические элементы с избыточным базисом
Системная реализация логики в плис FPGA
Реконфигурация функционально-полных толерантных элементов
МОДЕЛИРОВАНИЕ логических элементов для реализации систем функций в ПЛИС FPGA
Анализ ячейки памяти SRAM, как SR триггера и автомата Мура
Анализ надёжности логических элементов с избыточным базисом при учёте резервирования входов
Отказоустойчивый логический элемент LUT плис FPGA
Ячейка памяти QSRAM
Реконфигурируемый логический элемент DC LUT для ПЛИС типа FPGA
Моделирование радиационно-устойчивой ячейки памяти SRAM
Минимизация бинарных переключательных функций в базисах 2и-не, 2и-2или-не
Формальная система вывода отказоустойчивых КМДП-структур самосинхронных схем
Теория типов, компьютерная алгебра, поддержка доказательств и грамматики
Формальное описание функционального логико-математического моделирования динамических систем
«Умереть, уснуть». Философские замечания о жизни и смерти героев современной литературы (К. Р. Сафон, У. Эко) с позиций трехзначной логики Бочвара
Почти достоверная модальная логика шкал Крипке с функциональным отношением
Об аксиоматизации арифметики Бюхи
Использование распределенных вычислений при моделировании предметной области в универсальной силлогистике
Формальный синтез системно-динамических моделей на основе реляционной структуры базы данных корпоративной информационной системы
Математическое моделирование нанесения упрочняющих валиков наплавкой на рабочую поверхность стрельчатых лап
Минимизация представлений логических функций в базисах Шеффера и Пирса
Использование логического метода в анализе учебного процесса
Моделирование восстановления инвазионной популяции после депрессии в уравнении с пороговым запаздывающим противодействием
Применение векторного формализма в логике и логико-математическом моделировании
Как вычислять интересные следствия
Проблемы моделирования и преобразования уравнений динамических систем
Аналитико-информационный анализ и оценка методов решения задачи многокритериальной оптимизации технических систем управления
Применение графических средств выразительности при доказательстве теоретико-множественных утверждений
The existence of computable sequence that cannot be described by finite automata
О последовательности 6 исторических этапов появления основных математических понятий
О счётности последователей типа PN и основаниях теории меры
Изоморфизм недостижимых последователей типа РО и основания теории меры
К истории изучения Китая в XIX веке: естественнонаучный аспект сотрудничества Императорской Санкт-Петербургской академии наук и Российской православной миссии в Пекине
QR-код для установки приложения SciUp Наведите камеру и скачайте бесплатное приложение SciUp