Obvious man is obvious: learn to program. Seriously though, there is an immense amount of overlap between formal logic and computer science. I learned most of

Obvious man is obvious: learn to program. Seriously though, there is an immense amount of overlap between formal logic and computer science. I learned most of what I know about Turing machines and computability theory from Philosophy classes. FWIW, this on my résumé has served me well: Undergraduate Philosophy at the University of Minnesota - Twin Cities. 
This would say "BA," but I abandoned the American higher education system one credit (senior paper) away from graduating. Happy to talk to (or rant at) you about it.