Программа дисциплины
Логическое программирование (Дисциплины (модули) )
| Нагрузка по семестрам | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Семестр | Кредитов | Часов всего | Лекций | Практических занятий | Лабораторных | Часов в активной форме | Часов консультаций | Часов самостоятельной работы | Виды самостоятельной работы | Отчетность |
| 8 | 0 | 0 | 2 | 0 | 0 | |||||
| 9 | 3 | 108 | 0 | 0 | 0 | 0 | ДЗ | |||
| Перечень формируемых компетенций |
|---|
| ПК2. осваивать методики использования программных средств для решения практических задач |
| ПК10. сопрягать аппаратные и программные средства в составе информационных и автоматизированных систем |
| Перечень формируемых компетенций НГТУ |
|---|
| . Способность владеть базовыми знаниями в области информатики, владеть навыками использования программных средств и работы в компьютерных сетях, умением создавать базы данных и использовать ресурсы Интернета, уметь работать с информацией из различных источников для решения профессиональных и социальных задач и сознавать опасности и угрозы, возникающие в этом процессе, соблюдать основные требования информационной безопасности |
| ОПК.4. сопрягать аппаратные и программные средства в составе информационных и автоматизированных систем |
| СК.9. владеть методами и средствами искусственного интеллекта |
| Перечень формируемых знаний и умений НГТУ |
|---|
| ОПК.4.З-1.7. знает современные технические и программные средства взаимодействия с ЭВМ, технологию разработки алгоритмов и программ, методы отладки и решения задач на ЭВМ в различных режимах |
| СК.9.З-1.2. знает логическую парадигму программирования |
| У. владеет декларативным подходом к программированию |
| У. умеет использовать специализированные программные средства при решении профессиональных задач |