В книге в доступной форме представлено многообразие методов логического анализа: дедуктивные рассуждения, формирование и проверка корректности гипотез, логический анализ в условиях ограничений, абдуктивные заключения. В качестве теоретической основы используются предложенные автором математические системы — E -структуры и алгебра кортежей, позволяющие моделировать различные типы рассуждений и...
Книга является учебным пособием по арифметическим приложениям к криптографии. В ее основу положены лекции по специальному курсу и занятия специального семинара, проводимые авторами на механико-математическом факультете МГУимени М.В.Ломоносова. В учебном пособии дан новый подход к изложению некоторых понятий и методов. Для студентов университетов, педагогических вузов и вузов с углубленным изучением...