Mathematical Foundations of Advanced Informatics