Огляд теоретико-категорних моделей абстрактних обчислювальних структур, співвідношення між різними структурами, умови їх еквівалентності. Аналіз умови ізоморфності об"єкта натуральних чисел і області нескінченного підоб"єкта об"єкта натуральних чисел.
Аннотация к работе
.05.01 - теоретичні основи інформатики та кібернетики. АВТОРЕФЕРАТ дисертації на здобуття наукового ступеня кандидата фізико-математичних наук. Київ - 2007. Робота виконана на кафедрі інформаційних систем факультету кібернетики Київського національного університету імені Тараса Шевченка.