Osnovy Analiticheskoy Semantiki: Monografiya Russian edition

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.