Знайдено документів: 1
Інформація × Реєстраційний номер 0400U003210, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 27-11-2000 Статус Запланована Назва роботи Алгебраїчна інтерпретація пропозиційних секвенційних обчислень Здобувач Пинько Олексій Павлович, Керівник Капітонова Юлія Володимирівна Опонент Раца Мефодій Федорович Опонент Лялецький Олександр Вадимович Опис Дисертація присвячена дослідженню поняття еквівалентності пропозиційних генценовських обчислень та квазімноговидів абстрактних алгебр, яке узагальнює поняття еквівалентності пропозиційних гільбертовських обчислень та квазімноговидів, що було запропоноване Блоком і Пігоці. Дата реєстрації 2000-11-27 Додано в НРАТ 2020-04-04 Закрити
Дисертація кандидатська
Алгебраїчна інтерпретація пропозиційних секвенційних обчислень
Пинько Олексій Павлович. Алгебраїчна інтерпретація пропозиційних секвенційних обчислень : к.ф.-м.н. : спец.. 01.01.08 - Математична логіка, теорія алгоритмів і дискретна математика : дата захисту 2000-11-27; Статус: Захищена; Iнститут кiбернетики iм. В. М. Глушкова НАНУ. – , 0400U003210.
Знайдено документів: 1

Оновлено: 2026-03-20


Роздрукувати цю сторінку