Сапсалев, А. В. (д-р техн. наук; проф.). Аналитический расчет нелинейных электрических цепей постоянного тока в MathCADe [Текст] / А. В. Сапсалев, Е. Г. Касаткина, Е. И. Алгазин // Дистанционное и виртуальное обучение. - 2010. - N 1. - С. 12-31. - Библиогр.: с. 31 (4 назв. ) . - ISSN 1561-2449
Рубрики: Математика Вычислительная математика Кл.слова (ненормированные): MathCAD -- математические пакеты -- математические системы -- программы -- компьютерная математика -- линейные уравнения -- электрические схемы -- электрические цепи -- переменные системы -- электротехника Аннотация: Применение MathCADa для решения задач электротехники и теории цепей. Доп.точки доступа: Касаткина, Е. Г. (канд. техн. наук); Алгазин, Е. И. (канд. техн. наук) |
Целищев, Виталий Валентинович (доктор философских наук). Формальные онтологии и семантика примитивных концепций оснований математики [Текст] / В. В. Целищев // Вестник Томского государственного университета. Философия. Социология. Политология. - 2013. - № 4 (24). - С. 55-70. - Библиогр.: с. 69-70 (20 назв.). - полный текст статьи см. на сайте Научной электронной библиотеки http://elibrary
Рубрики: Философия Философия науки Кл.слова (ненормированные): математика -- философия математики -- онтология -- семантика -- математические системы -- примитивные термины -- примитивные концепции -- немецкие математики Аннотация: Проблемы экспликации семантического статуса примитивных концепций оснований математики в системах Готлоба Фреге, Давида Гильберта. Доп.точки доступа: Фреге, Г. (логик ; 1848-1925); Гильберт, Д. (немецкий математик ; 1862-1943) Нет сведений об экземплярах (Источник в БД не найден) |
Лапин, Э. С. Формальное доказательство соответствия программной реализации используемых в системах контроля и управления моделей заданным требованиям [Текст] / Э. С. Лапин, М. И. Абдрахманов // Известия вузов. Горный журнал. - 2021. - № 7. - С. 99-108. - Библиогр.: с. 106-108 (28 назв.) . - ISSN 0536-1028
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Горное дело Рудничный транспорт Кл.слова (ненормированные): конвейерные системы -- конечные автоматы -- математические системы -- модели систем -- программное обеспечение -- системы контроля -- системы управления -- технические системы -- формальное доказательство -- шахтные конвейерные системы Аннотация: Представлены результаты исследований возможности применения метода формального доказательства соответствия программной реализации модели заданным требованиям для систем, модели которых могут быть представлены в виде конечных автоматов. На примере шахтной конвейерной системы показано применение метода, состоящего в программной реализации модели соответствующего конечного автомата, формировании предположений о наличии у модели свойств в виде теорем с их последующим доказательством с использованием специальных программных средств. Доп.точки доступа: Абдрахманов, М. И. Нет сведений об экземплярах (Источник в БД не найден) |