Para eso te recomendaria mas bien uno llamado matematica de la computacion, o teoria de la computacion, no recuerdo exactamente, pero algunas universidades imparten eso como una materia, temas respecto a lo que llaman 'modelos matematicos' como las 'maquinas de estados finitos', y las 'maquinas de turing' etc. Es como una base para los compiladoes y analizadores de semantica y sintaxis. De todas formas creo que si hay informacion en internet sobre eso.
