Краткий ответ: да, правильно: в библиотеке 945 словарей.
15% от 6300 книг:
\[ 6300 \cdot \frac{15}{100}=945 \]
Или через пропорцию:
\[ 100\% \ —\ 6300\text{ книг} \] \[ 15\% \ —\ x\text{ книг} \]
\[ x=\frac{6300\cdot15}{100}=945 \]
Важно: если в записи «6300 − 15%» знак «−» означает вычитание, то так писать нельзя. Нужно найти 15% от 6300, то есть умножить на \(\frac{15}{100}\). Проверка: \(945:6300=0{,}15=15\%\).