BSc CS is an accredited degree in the US. It is very math heavy. Most of my peer graduated with minors in mathematics. Majority of us did discrete mathematics for most of our degree and numerical analysis in electives. Abstract algebra if you took advanced crypto courses. I don't know a whole lot about diffyQ but I can swing it if I read a book.