Subject

Mathematical Logic for Computer Science

Course Title

Mathematical Logic for Computer Science
Mathematical Logic for Computer Science

Code

m23_w_019

Study Programme

—

Organizer of the study programme (unit, institute, department or division)

Faculty of Computer Science and Engineering

Degree level (first, second, third cycle)

Second cycle

Academic year / semester

9 / Winter

Number of ECTS credits

Teacher

Alexandra Popovska Mitrović, Natasha Ilievska

Prerequisites for enrolling in the course

—

10.

Objectives of the course programme (competences)

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

11.

Course content

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

12.

Learning methods

Lectures, projects, discussions and workshops

13.

Total available time

6 ECTS x 30 hours = 180 hours

14.

Distribution of available time

60 + — + 45 + 45 + 30 = 180 hours

15.

Forms of teaching activities

15.1.	Lectures - theoretical instruction	60 hours
15.2.	Exercises (laboratory, auditory), seminars, teamwork	— hours

16.

Other forms of activities

16.1.	Project assignments	45 hours
16.2.	Independent assignments	45 hours
16.3.	Home study	30 hours

17.

Assessment method

17.1.	Tests	40 points
17.2.	Seminar paper / project (presentation: written and oral)	45 points
17.3.	Activities and learning	10 points
17.4.	Final exam	0 points

18.

Grading criteria (points / grade)

up to 50 points	5 (five) (F)
from 51 to 60 points	6 (six) (E)
from 61 to 70 points	7 (seven) (D)
from 71 to 80 points	8 (eight) (C)
from 81 to 90 points	9 (nine) (B)
from 91 to 100 points	10 (ten) (A)

19.

Requirement for obtaining a signature and taking the final exam

Completed activities 15, 16

20.

Language of instruction

Macedonian and English

21.

Method for monitoring the quality of teaching

Internal evaluation and survey mechanism

22.

Literature

22.1.	Required literature 1. M. Ben-Ari \| Mathematical Logic for Computer Science \| Springer \| 2012 2.
22.2.	Additional literature No. Author Title Publisher Year