Durante questo corso si studieranno il metodo dimostrativo dell'induzione, alcune strutture ricorsive e il modo in cui questi elementi possono essere utilizzati, tramite la Teoria dei Grafi, per analizzare matematicamente il celebre rompicapo delle Torri di Hanoi.