Author: Mathematical Foundation of Informatics