Математична логіка. Математична індукція.
Істинність висловлень. Побудова ДНФ та КНФ формул. Доведення тотожностей та кратності виразів заданим числам методом математичної індукції