Informatica: cenni di storia