Wyniki wyszukiwania:

Analiticheskaya semantika yavlyaetsya v nastoyashchee vremya eshche slabo razrabotannoy vetvyu matematicheskoy logiki. V mnogochislennykh publikatsiyakh avtora etot probel vospolnyaetsya na baze originalnogo podkhoda k modelirovaniyu binarnykh semanticheskikh operatsiy. V dannoy knige prodolzhaetsya issledovanie etogo napravleniya, nachatoe v uzhe opublikovannoy ranee monografii V.I.Evseeva "Osnovy analiticheskoy semantiki". Eta rabota budet prodolzhena v posleduyushchikh rabotakh avtora.

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...