Mathematical Informatics