não que "lógica da programação" seja chato! o fato é que não existe "lógica da programação". existe lógica e lógica é lógica.. tem aristotélica, fuzzy, modal, parassintética etc, mas não existe uma lógica especifica da programação. então qdo o cara estuda lógica de verdade, ele se anima pq é uma área gigante e fantástica. e depois vai e estuda "como aplicar lógica na programação" e aproveita pra aprender programação de verdade (o que mais eu vejo é "programador" que não sabe nem o que é análise de complexidade de alg).