Змістовий модуль 2. Використання інструментів математичної логіки в питаннях формулювання теорем та їх доведення
Section outline
-
-
Опрацювати статтю. Знайти власні приклади реалізації запропонованих в ній порад
-
Підготуватися до аналізу та обговорення статті. Створити власні приклади застосування запропонованих в статті методик
-