I agree with the general idea of math and science. However the fields you mentioned are mostly useful for formalizing computer languages. If you want more conce

I agree with the general idea of math and science. However the fields you mentioned are mostly useful for formalizing computer languages. If you want more concepts to use in actual programs, I think there are more practical areas to look in.