Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches