Compositional Logics

Descipline Compositional Logics
Faculty Faculty of Computer Science and Cybernetics
Faculty URL http://cyb.univ.kiev.ua/en.html
Language English
Degree Master
Credits 5
Semester 2
Description The course includes an introduction to algebraic models of compositional logics: primitive program algebras (PPA), program algebras of nominal functions, recursion, table algebras.
Teachers Dmytro Bui , Professor, Dr.habil.
Author: admin