Теория многомерных цифро-векторных множеств
Book information
Description
Томск: Изд-во Том. ун-та, 2006. – 380 с. ISBN 5-7511-1987-2 Книга содержит систематическое и доступное изложение результатов по созданию теории многомерных цифро-векторных множеств. В основу теории положены классическая теория множеств, цифровая версия пространства и финитная точка зрения, которая рассматривает начала логики и арифметики в виде мысленных экспериментов над наглядно представляемыми овеществленными цифрами расширенного натурального ряда и при этом ограничивает теорию множеств конечными объектами. Изложение основ теории сопровождается большим количеством примеров синтеза логических и цифровых устройств управляемого быстродействия и повышенной помехозащищенности, работающих в режиме реального времени. Для разработчиков цифровых систем управления, а также аспирантов и научных работников.
Similar books
Formal Specification and Verification
Set Theory in Computer Science - A Gentle Introduction to Mathematical Modeling I
Некоторые обозначения и факты теории множеств
Введение в теорию множеств и комбинаторику
Элементы теории множеств
Множества
DOCX