You might not be learning syntaxes and compiler internals and what not, but there is a very heavy emphasis on logic and the nature thereof in philosophy.
http://en.wikipedia.org/wiki/Logic#Logic_and_computation