алгебраический базис
1АБЕЛЕВ ИНТЕГРАЛ — алгебраический интеграл, интеграл от алгебраической функции, т. е. интеграл вида: где любая рациональная функция от переменных z и w, связанных алгебраич. уравнением с целыми рациональными по коэффициентами Уравнению (2) соответствует компактная… …
2МНОГОЗНАЧНАЯ ЛОГИКА — раздел математической логики, изучающий математич. модели логики высказываний. Эти модели отражают две основные черты последней множественность значений истинности высказываний и возможность построения новых более сложных высказываний из заданных …
3КАРТАНА МЕТОД ВНЕШНИХ ФОРМ — дифференциально алгебраический метод исследования систем дифференциальных уравнений и многообразий с различными структурами. Алгебраич. основу метода составляет алгебра Грассмана. Пусть Vесть 2n мерное векторное пространство над произвольным… …
4Критерий Поста — одна из центральных теорем в теории булевых функций, устанавливающая необходимое и достаточное условие для того, чтобы некоторый набор булевых функций обладал достаточной выразительностью, чтобы представить любую булеву функцию. Впервые… …
5Ранговый код — Ранговый код  алгебраический линейный код над полем , в общем случае  метод кодирования информации с целью защиты от помех. В настоящее время предложено использование данного кода для использования в случайном сетевом кодировании. В… …
6ПОСТ ЭМИЛЬ ЛЕОН — ПОСТ ЭМИЛЬ ЛЕОН (Post Emu Leon) (11 февраля 1897, Августов, Польша 21 апреля 1954, Нью Йорк) американский логик и математик. В 1920 получил степень доктора философии в Колумбийском университете. Читал лекции по математике и логике в этом… …
