Informatica e logica della scoperta