Ченцов О. І. Моделі та методи дослідження абстрактних обчислювальних структур в категорній аксіоматиці

English version

Дисертація на здобуття ступеня кандидата наук

Державний реєстраційний номер

0407U001879

Облікова картка дисертації

0407U001879.pdf

Здобувач

Спеціальність

  • 01.05.01 - Теоретичні основи інформатики та кібернетики

05-04-2007

Спеціалізована вчена рада

Д26.001.09

Анотація

На основі теоретико-категорного підходу досліджуються властивості абстрактних обчислювальних структур та умови їх еквівалентності. Доведено виконання теореми Кантора-Бернштейна в категоріях з когерентними доповненнями підоб'єктів. Розроблена індуктивна методика доведення властивостей обчислювальних структур в категоріях з конструктивною логікою. Одержано достатні умови для визначення структури натуральних чисел на конструкціях, похідних від об'єкта натуральних чисел, побудовано відповідні ізоморфізми.

Читати повністю

Файли

aref--aref.doc

aref--aref.pdf

dis--dis.pdf

dis--dis1.doc

dis--dis2.doc

dis--dis3.doc

dis--dis4.doc

dis--dis5.doc

Схожі дисертації

0421U102388

Насіров Еміл Мехдієвич

Паралелізація невід’ємної факторизації розріджених лінгвістичних матриць та тензорів надвеликої розмірності

0420U102355

Дудар Вячеслав Вячеславович

Оптимiзацiйнi алгоритми навчання та iнварiантнiсть до геометричних перетворень нейронних мереж

0520U101700

Притоманова Ольга Михайлівна

Нечіткі задачі оптимального розбиття множин: теоретичні основи, методи та алгоритми розв’язання

0520U100242

Завадський Ігор Олександрович

Подільні коди та їх застосування

0520U100209

Рисцов Ігор Костянтинович

Застосування методів алгебраїчної теорії автоматів до проблем аналізу дискретних динамічних систем.