Subject

Математичка логика за компјутерски науки

Наслов на наставниот предмет

Математичка логика за компјутерски науки
Mathematical Logic for Computer Science

Код

m23_w_019

Студиска програма

—

Организатор на студиската програма (единица, односно институт, катедра, оддел)

Факултет за информатички науки и компјутерско инженерство

Степен (прв, втор, трет циклус)

Втор циклус

Академска година / семестар

9 / Зимски

Број на ЕКТС кредити

Наставник

Александра Поповска Митровиќ, Наташа Илиевска

Предуслови за запишување на предметот

—

10.

Цели на предметната програма (компетенции)

Осозавање на поими и својства на исказното и предикатското логичко сметање и нивната примена во компјутерските науки

11.

Содржина на предметната програма

Исказно сметање: Булови операции и интерпретации, исказни формули, логички еквиваленции и замени, семантички табели, дедуктивни докази, резолуции, Генценов и Хилбертов систем
Предикатско сметање: релации, предикатни формули, интерпретации, логички еквиваленции и замени, семантички табели, дедуктивни форми, функции и терми
Резолуциско и логичко програмирање: основна резолуција, замена, унификација, општа резолуција, логичко програмирање
Темпорална логика.

12.

Методи на учење

Предавања, проекти, дискусии, работилници

13.

Вкупен расположив фонд на време

6 ЕКТС x 30 часа = 180 часа

14.

Распределба на расположивото време

60 + — + 45 + 45 + 30 = 180 часа

15.

Форми на наставните активности

15.1.	Предавања - теоретска настава	60 часови
15.2.	Вежби (лабораториски, аудиториски), семинари, тимска работа	— часови

16.

Други форми на активности

16.1.	Проектни задачи	45 часови
16.2.	Самостојни задачи	45 часови
16.3.	Домашно учење	30 часови

17.

Начин на оценување

17.1.	Тестови	40 бодови
17.2.	Семинарска работа / проект ( презентација: писмена и усна)	45 бодови
17.3.	Активности и учење	10 бодови
17.4.	Завршен испит	0 бодови

18.

Критериуми за оценување (бодови/ оценка)

до 50 бода	5 (пет) (F)
од 51 до 60 бода	6 (шест) (E)
од 61 до 70 бода	7 (седум) (D)
од 71 до 80 бода	8 (осум) (C)
од 81 до 90 бода	9 (девет) (B)
од 91 до 100 бода	10 (десет) (A)

19.

Услов за потпис и полагање на завршен испит

Реализирани активности 15, 16

20.

Јазик на кој се изведува наставата

Македонски и англиски

21.

Метод на следење на квалитетот на наставата

Механизам на интерна евалуација и анкети

22.

Литература

22.1.	Задолжителна литература 1. M. Ben-Ari \| Mathematical Logic for Computer Science \| Springer \| 2012 2.
22.2.	Дополнителна литература Ред.бр. Автор Наслов Издавач Година