Quali sono le tecniche di problem solving specifiche per il settore informatico che il corso approfondisce?