Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
У якості застосування математичної логіки розглянуто методи доведень теорем: пряме міркування, обернене міркування, доведення від супротивного та метод математичної індукції.
