Courses – Fakultet tehničkih nauka u Novom Sadu

Subject: Formal mathematical models (17.IAM003)

Native organizations units: Department of Fundamentals Sciences

Type of studies	Title
Undergraduate Academic Studies	Engineering Animation (Godina: 4, Summer)

General information:

Category	Theoretical-methodological
Scientific or art field	Teorijska i primenjena matematika
Interdisciplinary	Yes
ECTS	4

Educational goal:

Introduction to the discrete functions and with their role in object classification, as well as with the abstract representations of computer systems by application of mathematical logics concepts. In order to prepare students for the more complex development of computer software, the concept of algorithm and calculation complexity will be adopted.

Educational outcome:

Acquisition of basic knowledge in the field of object classification, computability and complexity of computability. Ability to predict characteristics and behavior of the system based on the system representation using mathematical concepts.

Course content:

Discrete functions: Boolean functions, partitions, linear and polynomial solving functions, separation limits. Algorithm analysis: Turing machines, recursive functions. Introduction to the automaton theory and formal languages.

Teaching methods:

Lectures and auditory practice. Consultations. During the audio practice contents from the lectures are applied and practiced. Studied algorithms are tested and their applicability is observed and analyzed. During the semester students work on the term paper which is worth 25% of the points. Parts of the course which represent a logical whole can be passed through colloquiums. If the student wins at least 40% of all possible points in each colloquium it is considered that the student passed the written part of the examination. Otherwise, the student has to take the written and oral part of the examination. In the written part of the examination the student may win up to 50% of the points, and in the oral part up to 20% of the points. In order for the student to pass the examination, he/she has to win at least one half of the possible points in the written part of the examination and to show satisfactory knowledge in the oral part of the examination. The course grade is formed based on the points won on the term paper, in the written and oral part of the examination.

Literature:

Authors	Title	Year	Publisher	Language
Madarasz, R., Crvenković, S.	Uvod u teoriju automata i formalnih jezika	1995	PMF, Novi Sad	Serbian language
Janičić, P.	Matematička logika u računarstvu	2009	Matematički fakultet, Beograd	Serbian language
D. Acketa	Odabrana poglavlja teorije prepoznavanja oblika sa primenama	1986		Serbian language