Karnaugh maps are taught to programmers (on college/university courses) too :) at least in my country, I'd be very surprised if they aren't in the U.S.
I only pull K maps out once or twice a year when some programmer absolutely insists that a conditional is correct when I can see that it isn't.
When I teach the class to programmers, state machines are the far more important concept I try to drive home. I use state machines all the time when programming.
...and state machines are hard to represent in most languages! That is a real pity. Its part of the one-dimensional nature of text-based programming. While state machines are two or three-dimensional ideas.
I'd actually mostly forgotten about them :) .