Informatica als wiskundige discipline