ОБ УСТРАНИМОСТИ АКСИОМЫ ИНДУКЦИИ
Подробности Автор: Попов С. В. Родительская категория: Ежемесячный научный журнал № 3(14) (17-18.04.2015) Категория: ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ Просмотров: 168
Рассматривается формальная арифметика, содержащая константу 0, числовые переменные, равенство, функциональные символы + (сложения), (умножения) и (прибавления 1) и логические связки. Показано, что при доказательстве фундаментальных формул (т.е. формул без переменных) можно обойтись без аксиомы индукции.
НАХОЖДЕНИЕ ЗНАЧЕНИЙ ХАРАКТЕРИСТИК СУЩНОСТЕЙ ДПО+ НА ОСНОВЕ ЗАДАННОГО МНОЖЕСТВА
Подробности Автор: Подколзин В. В., Уварова А. В., Широглазова К. Н., Гудза В. А. Родительская категория: Ежемесячный научный журнал № 3(14) (17-18.04.2015) Категория: ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ Просмотров: 162
Определение модели предметной области с использованием инструментария функциональных сетей. Использование монотонных функций при моделировании ПО. Решение задачи нахождения характеристик сущностей в МДПО.
ДЕРИВАТИВЫ РАСПРЕДЕЛЕНИЙ, ЗАВИСЯЩИХ ОТ ПАРАМЕТРА
Подробности Автор: Петриченко М. Р. Родительская категория: Ежемесячный научный журнал № 3(14) (17-18.04.2015) Категория: ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ Просмотров: 194
Группы диффеоморфизмов множеств, зависящих от параметра, конструируют движение с точки зрения Лагранжа. Диффеоморфизмы из базы в слой, конструирующие движение с точки зрения Эйлера, образуют коммутативное кольцо операторов дифференцирования вдоль поля, обладающих структурой алгебры Ли