Пошук академічних текстів

Інформація × Реєстраційний номер 0407U001879, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 05-04-2007 Статус Запланована Назва роботи Моделі та методи дослідження абстрактних обчислювальних структур в категорній аксіоматиці Здобувач Ченцов Олексій Ілліч, Керівник Провотар Олександр Іванович Опонент Глазунов Микола Михайлович Опонент Єршов Сергій Володимирович Опис На основі теоретико-категорного підходу досліджуються властивості абстрактних обчислювальних структур та умови їх еквівалентності. Доведено виконання теореми Кантора-Бернштейна в категоріях з когерентними доповненнями підоб'єктів. Розроблена індуктивна методика доведення властивостей обчислювальних структур в категоріях з конструктивною логікою. Одержано достатні умови для визначення структури натуральних чисел на конструкціях, похідних від об'єкта натуральних чисел, побудовано відповідні ізоморфізми. Дата реєстрації 2007-04-05 Додано в НРАТ 2020-04-04 Закрити