Основним призначенням інтегрованого програмного середовища «МатЛог» є підтримка процесу оволодіння навчальним матеріалом з курсу “Математична логіка” .
Використання системи «МатЛог» дозволяє проводити як лекційні, так і практичні та контрольні частини курсу. Підтримується процес самостійного вивчення дисципліни, надаючи студентам всі нормативні й дидактичні матеріали.
|