Программа дисциплины
Логическое программирование (Дисциплины (модули) )
Скачать рабочую программу| Нагрузка по семестрам | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Семестр | Кредитов | Часов всего | Лекций | Практических занятий | Лабораторных | Часов в активной форме | Часов консультаций | Часов самостоятельной работы | Виды самостоятельной работы | Отчетность |
| 5 | 3 | 108 | 18 | 0 | 18 | 0 | ДЗ | |||
| Перечень формируемых компетенций |
|---|
| ПК19. знание математических основ информатики как науки (ПK-19) |
| ПК27. знание основных концептуальных положений функционального, логического, объектно-ориентированного и визуального программирования, методов, способов и средств разработки программ в рамках этих направлений (ПK-27) |
| ПК28. знание методов программирования и производства программного продукта, принципы построения, структуры и приёмы работы с инструментальными средствами, поддерживающими создание программного обеспечения (ПK-28) |
| Перечень формируемых компетенций НГТУ |
|---|
| СК.19. знание математических основ информатики как науки (ПK-19) |
| СК.27. знание основных концептуальных положений функционального, логического, объектно-ориентированного и визуального программирования, методов, способов и средств разработки программ в рамках этих направлений (ПK-27) |
| СК.28. знание методов программирования и производства программного продукта, принципы построения, структуры и приёмы работы с инструментальными средствами, поддерживающими создание программного обеспечения (ПK-28) |
| Перечень формируемых знаний и умений НГТУ |
|---|
| СК.19.З-1.39. Знать основные особенности логического и функционального подхода к разработке программного обеспечения |
| СК.19.У40. Уметь использовать методы логического программирования при проекти-ровании прикладного программного обеспечения |
| СК.19.У41. Владеть профессиональными навыками проектирования прикладного про-граммного обеспечения в области ло-гического программирования |
| СК.27.З-1.6. Знать современные способы и средства работы с информацией для изучения основных конструкций современных языков логического программиро-вания |
| СК.27.У6. Уметь работать с информацией из различных источников для решения задач с применением логического и функционального подходов к программированию |
| СК.27.У7. Владеть современными методами расширения и углубления своего научного мировоззрения компьютерной обработки информации в области про-граммирования |
| СК.28.З-1.6. Знать методы проектирования и про-изводства программного продукта, со-временные языки программирования, инструментальные средства, пакеты программ, поддерживающими созда-ние программного обеспечения |
| СК.28.У11. Уметь применять в профессиональной деятельности современные языки ло-гического программирования, инстру-ментальными средствами, пакеты про-грамм, поддерживающими создание программного обеспечения |
| СК.28.У12. Владеть приемами работы с инстру-ментальными средствами, поддержи-вающими создание программного обеспечения в области логического программирования |