Логические модели и задачи: Методики и примеры