Logaritmos em Portugal (sécs. XVII e XVIII)