Семинар “Алгебра и логика”
ОнлайнНа 5 февруари 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Reduction Calculus of Type-Theory of Acyclic Algorithms, II ще изнесе Русанка Луканова. Докладът ще бъде продължение на доклада, изнесен на 29.01.2021. Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 05, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 Резюме. In 1989, Moschovakis [1] initiated a new theory of the mathematical notion of algorithm, within untyped, full recursion. In 2006, Moschovakis [2] introduced the formal language of Type-Theory of Recursion (TTR), which models the notion of algorithm and concepts of [...]
