Le radici interdisciplinari dell’informatica: logica, linguistica e gestione della conoscenza