Title: Mathematical Foundation of Informatics