Search academic texts

Information × Registration Number 0407U001879, Candidate dissertation Status к.ф.-м.н. Date 05-04-2007 popup.evolution o Title Models and Research Methods for Abstract Computational Structures within Categorical Axiomatics. Author Chentsov Aleksey Illich, popup.head Provotar Oleksandr Ivanovych popup.opponent Глазунов Микола Михайлович popup.opponent Єршов Сергій Володимирович Description На основі теоретико-категорного підходу досліджуються властивості абстрактних обчислювальних структур та умови їх еквівалентності. Доведено виконання теореми Кантора-Бернштейна в категоріях з когерентними доповненнями підоб'єктів. Розроблена індуктивна методика доведення властивостей обчислювальних структур в категоріях з конструктивною логікою. Одержано достатні умови для визначення структури натуральних чисел на конструкціях, похідних від об'єкта натуральних чисел, побудовано відповідні ізоморфізми. Registration Date 2007-04-05 popup.nrat_date 2020-04-04 Close