Subject
Основи на теоријата на компјутерските науки
| 1. | Наслов на наставниот предмет |
Основи на теоријата на компјутерските науки Basics of theory of computing |
||||||||||||
| 2. | Код | F23L3S039 | ||||||||||||
| 3. | Студиска програма | Компјутерски науки | ||||||||||||
| 4. | Организатор на студиската програма (единица, односно институт, катедра, оддел) | Факултет за информатички науки и компјутерско инженерство | ||||||||||||
| 5. | Степен (прв, втор, трет циклус) | Прв циклус | ||||||||||||
| 6. | Академска година / семестар | 6 / Летен | ||||||||||||
| 7. | Број на ЕКТС кредити | 6 | ||||||||||||
| 8. | Наставник | Марија Михова, Миле Јованов | ||||||||||||
| 9. | Предуслови за запишување на предметот | Дискретна математика или Дискретни структури 2 или Математика 2 или Избрани теми од математика | ||||||||||||
| 10. | Цели на предметната програма (компетенции) | На овој курс ќе стекнете основно разбирање за класичните модели кои се користат во основата на компјутерските науки за анализа на пресметковните процеси, вклучувајќи конечни автомати, граматики и Тјурингови машини. Овие модели може да се користат за да се одговори на прашања како што се кои проблеми може да се решат со компјутер и дали има некои проблеми кои се суштински потешки за решавање од другите. | ||||||||||||
| 11. | Содржина на предметната програма | 1. Основни концепти за јазици, граматики и автомати 2. Регуларни изрази и регуларни јазици 3. Детерминистички конечни автомат 4. Недетерминистички конечни автомати, Еквиваленција меѓу детерминистички и недетерминистички конечни автомати и редукција на број на состојби. 5. Својства на регуларните јазиции лема за пумпање кај регуларни јазици. 6. Контекстно слободни јазици 7. Push-down автомати 8. Врска меѓу контекстно слободни јазици и Push-down автомати 9. Лема за пумпање кај конекстно слободни јазици и затварач. 10. Тјурингови машини. 11. Хиерархија кај јазици (рекурзивнијазици, контекстно сензитивни...) 12. Вовед во компјутерска комплексност (П, НП) 13. Пресметливост. |
||||||||||||
| 12. | Методи на учење | Предавања со користење на презентации, интерактивни предавања, вежби (користење на опрема и софтверски пакети), тимска работа, пример случаи, поканети гости предавачи, самостојна изработка и одбрана на проектна задача и семинарска работа. | ||||||||||||
| 13. | Вкупен расположив фонд на време | 6 ЕКТС x 30 часа = 180 часа | ||||||||||||
| 14. | Распределба на расположивото време | 30 + 45 + 15 + 15 + 75 = 180 часа | ||||||||||||
| 15. | Форми на наставните активности |
|
||||||||||||
| 16. | Други форми на активности |
|
||||||||||||
| 17. | Начин на оценување |
|
||||||||||||
| 18. | Критериуми за оценување (бодови/ оценка) |
|
||||||||||||
| 19. | Услов за потпис и полагање на завршен испит | Реализирани активности 15.2 и 16.1 | ||||||||||||
| 20. | Јазик на кој се изведува наставата | Македонски и англиски | ||||||||||||
| 21. | Метод на следење на квалитетот на наставата | механизам на интерна евалуација и анкети | ||||||||||||
| 22. | Литература |
|
