Булевы матрицы и определители

Построенная здесь теория булевых определителей находит различные приложения в теории булевых матриц, бинарных отношений, графов и комбинаторике. Она позволяет вводить ориентацию, давать нижнюю оценку значениям многочисленных и известных прежде ранговых функций с помощью нового понятия минорного ранга, находить критерии совместности систем линейных булевых уравнений и неравенств, а также простейших матричных уравнений и неравенств. Несмотря на то, что теория булевых определителей является главной целью этой книги, многие её разделы посвящены общей теории матриц с элементами из произвольной булевой алгебры. Книга обращена ко всем интересующимся теориями решёток, графов и матричными методами. Она может быть полезна и всем тем, кто использует приложения современной алгебры и дискретной математики в гуманитарных и естественно-научных областях. В ней в основном собраны результаты научных исследований автора. Указана также достаточно полная библиография по...