Log формулы. Определение логарифма, основное логарифмическое тождество