Osnowy analiticheskoj semantiki

Osnownoj zadachej dannoj monografii qwlqetsq posledowatel'noe izlozhenie sistemnogo podhoda k analiticheskoj semantike. Fakticheski pri analize binarnyh operacij primenqetsq dwa osnownyh metoda: metod perechisleniq wozmozhnyh soedinenij i «diagonal'nyj metod», kotorym do sih por nikto ne pol'zowalsq. Dlq lüboj wybrannoj gruppy: Zadaütsq osnownye struktury, sleduüschie iz tablicy grupp. Jeto dejstwie neodnoznachno, tak kak wybor izotopa ¿ predstawitelq gruppy ¿ srazu osuschestwit' nel'zq, ego äffektiwnost' proqwlqetsq tol'ko pri postroenii äkwiwalencii.Opredelqetsq tablica adekwatnosti dlq kazhdoj operacii, kotoraq pozwolqet tochno ustanowit' poziciü kazhdogo wida adekwatnosti w polnoj rezul'tiruüschej matrice. Dlq kazhdogo sluchaq wybiraetsq metod analiza ¿ libo polnyj analiz na malyh podmatricah, chto qwlqetsq naibolee prostym sposobom perechislit' po blokam wse wozmozhnyh sochetaniq, libo ¿ diagonal'nyj analiz.