Osnovy Analiticheskoy Semantiki

Osnovnoy zadachey dannoy monografii yavlyaetsya posledovatel'noe izlozhenie sistemnogo podkhoda k analiticheskoy semantike. Fakticheski pri analize binarnykh operatsiy primenyaetsya dva osnovnykh metoda: metod perechisleniya vozmozhnykh soedineniy i diagonal'nyy metod, kotorym do sikh por nikto ne pol'zovalsya. Dlya lyuboy vybrannoy gruppy: Zadayutsya osnovnye struktury, sleduyushchie iz tablitsy grupp. Eto deystvie neodnoznachno, tak kak vybor izotopa - predstavitelya gruppy - srazu osushchestvit' nel'zya, ego effektivnost' proyavlyaetsya tol'ko pri postroenii ekvivalentsii.Opredelyaetsya tablitsa adekvatnosti dlya kazhdoy operatsii, kotoraya pozvolyaet tochno ustanovit' pozitsiyu kazhdogo vida adekvatnosti v polnoy rezul'tiruyushchey matritse. Dlya kazhdogo sluchaya vybiraetsya metod analiza - libo polnyy analiz na malykh podmatritsakh, chto yavlyaetsya naibolee prostym sposobom perechislit' po blokam vse vozmozhnykh sochetaniya, libo - diagonal'nyy analiz.