Miroslav Ćirić - Teaching

Miroslav Ćirić - Teaching

Bachelor Degree Courses:

Discrete Structures
Study programs: Computer Science, Mathematics;
Semester: 1; Lectures per week: 2 hours; Status: compulsory;
Teacher: Miroslav Ćirić
Brief content: Basic propositional logic, basic predicate logic, proof techniques, sets,
relations, functions, basics of counting.
Design and Analysis of Algorithms
Study program: Computer Science;
Semester: 3; Lectures per week: 3 hours; Status: compulsory;
Teacher: Miroslav Ćirić
Brief content: Algorithms with numbers, divide-and-conquer algorithms, graph algorithms
(DFS, BFS, shortest paths), greedy algorithms, dynamic programming, linear programming,
NP-complete problems.
History and Philosophy of Mathematics
Study program: Mathematics;
Semester: 6; Lectures per week: 3 hours; Status: elective;
Teacher: Miroslav Ćirić
Brief content: Periods in history of mathematics: birth of mathematics, elementary
mathematics, mathematics of variables,contemporary mathematics, history of geometry,
algebra, mathematical analysis,and computer science, scientific theories, deductive
and inductive methods, language of science and mathematics, deductive theories,
meaning of terms and axioms, formalized theories, problems of philosophy of mathematics,
realism (platonism), Kant's conceptualism, nominalism, logicism, Brouwer's intuitionism,
Hilbert's formalism, Gödel's incompleteness theorems, contemporary views of mathematics.

Master Degree Courses:

None, in this moment.

PhD Degree Courses:

Methodology of Scientific Research
Study programs: Mathematics, Computer Science;
Semester: 1; Lectures per week: 2 hours; Status: compulsory;
Teacher: Miroslav Ćirić
Brief content:
Formal Languages, Automata and Computability
Study programs: Computer Science, Mathematics;
Semester: 1; Lectures per week: 4 hours; Status: elective;
Teachers: Jelena Ignjatović, Miroslav Ćirić
Brief content:
Fuzzy Sets and Systems
Study programs: Computer Science, Mathematics;
Semester: 2; Lectures per week: 4 hours; Status: elective;
Teachers: Jelena Ignjatović, Miroslav Ćirić
Brief content:
Theory of Semigroups and Semirings
Study programs: Mathematics, Computer Science;
Semester: 2; Lectures per week: 4 hours; Status: elective;
Teacher: Miroslav Ćirić
Brief content:
Algebraic and Combinatorial Methods for Information Processing
Study program: Computer Science;
Semester: 3; Lectures per week: 4 hours; Status: elective;
Teachers: Jelena Ignjatović, Miroslav Ćirić
Brief content:
Selected Topics in Algebra
Study programs: Mathematics, Computer Science;
Semester: 3; Lectures per week: 4 hours; Status: elective;
Teachers: Snežana Ilić, Miroslav Ćirić
Brief content:
Natural Computing
Study program: Computer Science;
Semester: 4; Lectures per week: 4 hours; Status: elective;
Teachers: Miroslav Ćirić, Jelena Ignjatović
Brief content:
Quantum Informatics and Quantum Computing
Study program: Computer Science;
Semester: 4; Lectures per week: 4 hours; Status: elective;
Teachers: Miroslav Ćirić, Jelena Ignjatović
Brief content: