Рассматриваются вопросы изучения студентами методов искусственного интеллекта и их применения для решения задач анализа цифровых устройств. В частности, решается задача логического моделировании цифровых схем с использованием логического программирования. Приводятся результаты экспериментального исследования разработанных программных средств.