Пинько О. П. Алгебраїчна інтерпретація пропозиційних секвенційних обчислень

English version

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

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

0400U003210

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

0400U003210.pdf

Здобувач

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

  • 01.01.08 - Математична логіка, теорія алгоритмів і дискретна математика

27-11-2000

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

Д 26.001.18

Київський національний університет імені Тараса Шевченка

Анотація

Дисертація присвячена дослідженню поняття еквівалентності пропозиційних генценовських обчислень та квазімноговидів абстрактних алгебр, яке узагальнює поняття еквівалентності пропозиційних гільбертовських обчислень та квазімноговидів, що було запропоноване Блоком і Пігоці.

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

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

0421U102374

Скочко Володимир Михайлович

Ріст ініціальних оборотних автоматів

0521U101177

Варбанець Сергій Павлович

Метод тригонометричних сум в теорiї конгруентних генераторiв псевдовипадкових чисел та асимптотичних задачах теорiї чисел

0419U004313

Дуденко Маргарита Анатоліївна

Метричні базиси графів

0416U004040

Башова Надія Петрівна

Класифікація та підрахунок кількості топологій на скінченних множинах

0416U000249

Чан Тхе Вінь

Застосування сумм Клостермана в криптографії і кодуванні