Division of Mathematical Logic and Computer Science

The Division of Computer Science was founded in 2011. Its general objective is to follow all relevant trends within ICT, software engineering, and computer science. Special emphasis is put on studying those parts of computer science that are closely related to mathematics.

The Division members are engaged in various research projects, thus reaching top-level competences in the following disciplines: discrete optimization, robust optimization, design and analysis of algorithms, distributed algorithms, meta-heuristics, data structures, database systems, formal methods in software engineering, computability, computational complexity, machine learning, automated translation, didactics of teaching computer science, etc.

Within their teaching activities, the Division members have designed and realized many computer-science courses on undergraduate, graduate, and postgraduate level. Special attention is given to continuous improvement of two graduate university studies, which are held by the Department of Mathematics and are focused on computer science. Those two studies are called Computer Science and Mathematics, and Mathematics and Computer Science Education, respectively.

Additional activities of the Division are: organizing a Seminar on Theoretical Computer science within the Croatian Doctoral Program in Mathematics, and stimulating the development of ICT infrastructure within the Department of Mathematics.

DIVISION OFMATHEMATICAL LOGIC AND COMPUTER SCIENCE

Employees
Courses

Full Professor

Aleksandra Čižmešija, Full Professor, PhD Email 228 (2. kat) (01) 4605 746
Robert Manger, Full Professor, PhD Email 232 +38514605750
Mladen Vuković, Full Professor, PhD Email A308 +385 1 460 5899

Associate Professor

Matej Mihelčić, Associate Professor, PhD Email 226 5744

Assistant Professor

Vedran Čačić, Assistant Professor, PhD Email A306 5897
Marko Horvat, Assistant Professor, PhD Email A306 5897

Senior Lecturer

Goran Igaly, Senior Lecturer, PhD Email 226 460 5744

Senior Assistant

Sebastijan Horvat, PhD Email A306/III 5897

Assistant

Helena Marciuš, mag. inf. et math. Email 310

Title	Semester	Program
Applied object-oriented programming	1, 2, 3, 4	graduate	Applied object-oriented programming Engleski jezik: Semestri nastave: 1, 2, 3, 4 Dodatne informacije
Applied programming	2	undergraduate	Applied programming Engleski jezik: Semestri nastave: 2 Dodatne informacije
Applied programming	4	undergraduate	Applied programming Engleski jezik: Semestri nastave: 4 Dodatne informacije
Applied programming	1, 2	graduate	Applied programming Engleski jezik: Semestri nastave: 1, 2 Dodatne informacije
Assessment in mathematics education	3	graduate	Assessment in mathematics education Engleski jezik: Semestri nastave: 3 Dodatne informacije
Assessment in mathematics education	3	graduate	Assessment in mathematics education Engleski jezik: Semestri nastave: 3 Dodatne informacije
Calculation models	1	graduate	Calculation models Engleski jezik: Semestri nastave: 1 Dodatne informacije
Complexity theory	1, 2, 3, 4	graduate	Complexity theory Engleski jezik: Semestri nastave: 1, 2, 3, 4 Dodatne informacije
Computability	1, 2, 3, 4	graduate	Computability Engleski jezik: Semestri nastave: 1, 2, 3, 4 Dodatne informacije
Computer architecture	3, 4, 5, 6	undergraduate	Computer architecture Engleski jezik: Semestri nastave: 3, 4, 5, 6 Dodatne informacije
Computer architecture	3, 4	graduate	Computer architecture Engleski jezik: Semestri nastave: 3, 4 Dodatne informacije
Computer architecture	1	graduate	Computer architecture Engleski jezik: Semestri nastave: 1 Dodatne informacije
Computer networks	3, 4, 5, 6	undergraduate	Computer networks Engleski jezik: Semestri nastave: 3, 4, 5, 6 Dodatne informacije
Computer networks	1	graduate	Computer networks Engleski jezik: Semestri nastave: 1 Dodatne informacije
Computer networks	3, 4	graduate	Computer networks Engleski jezik: Semestri nastave: 3, 4 Dodatne informacije
Computer Structure	3	integrated undergraduate and graduate	Computer Structure Engleski jezik: Semestri nastave: 3 Dodatne informacije
Computing lab 1	1	undergraduate	Computing lab 1 Engleski jezik: Semestri nastave: 1 Dodatne informacije
Computing lab 1	4	undergraduate	Computing lab 1 Engleski jezik: Semestri nastave: 4 Dodatne informacije
Computing lab 1	1	undergraduate	Computing lab 1 Engleski jezik: Semestri nastave: 1 Dodatne informacije
Computing lab 2	2	undergraduate	Computing lab 2 Engleski jezik: Semestri nastave: 2 Dodatne informacije
Computing lab 2	2	undergraduate	Computing lab 2 Engleski jezik: Semestri nastave: 2 Dodatne informacije
Database systems	5, 6	undergraduate	Database systems Engleski jezik: Semestri nastave: 5, 6 Dodatne informacije
Database systems	3, 4, 5, 6	undergraduate	Database systems Engleski jezik: Semestri nastave: 3, 4, 5, 6 Dodatne informacije
Database systems	2	graduate	Database systems Engleski jezik: Semestri nastave: 2 Dodatne informacije
Database systems	1, 2	graduate	Database systems Engleski jezik: Semestri nastave: 1, 2 Dodatne informacije
Database systems	2, 3, 4	graduate	Database systems Engleski jezik: Semestri nastave: 2, 3, 4 Dodatne informacije
Data engineering	3, 4	graduate	Data engineering Engleski jezik: Semestri nastave: 3, 4 Dodatne informacije
Data engineering	1, 2, 3, 4	graduate	Data engineering Engleski jezik: Semestri nastave: 1, 2, 3, 4 Dodatne informacije
Data mining and knowledge discovery	1, 2, 3, 4	graduate	Data mining and knowledge discovery Engleski jezik: Semestri nastave: 1, 2, 3, 4 Dodatne informacije
Data mining and knowledge discovery	2, 3, 4	graduate	Data mining and knowledge discovery Engleski jezik: Semestri nastave: 2, 3, 4 Dodatne informacije
Data mining and knowledge discovery	1, 2, 3, 4	graduate	Data mining and knowledge discovery Engleski jezik: Semestri nastave: 1, 2, 3, 4 Dodatne informacije
Data structures and algorithms	3	undergraduate	Data structures and algorithms Engleski jezik: Semestri nastave: 3 Dodatne informacije
Data structures and algorithms	5, 6	undergraduate	Data structures and algorithms Engleski jezik: Semestri nastave: 5, 6 Dodatne informacije
Data structures and algorithms	3, 4	graduate	Data structures and algorithms Engleski jezik: Semestri nastave: 3, 4 Dodatne informacije
Distributed processes	1, 2, 3, 4	graduate	Distributed processes Engleski jezik: Semestri nastave: 1, 2, 3, 4 Dodatne informacije
Information security	1, 2, 3, 4	graduate	Information security Engleski jezik: Semestri nastave: 1, 2, 3, 4 Dodatne informacije
Introduction to programming	1	undergraduate	Introduction to programming Engleski jezik: Semestri nastave: 1 Dodatne informacije
Introduction to programming	3	undergraduate	Introduction to programming Engleski jezik: Semestri nastave: 3 Dodatne informacije
Master's thesis	4	graduate	Master's thesis Engleski jezik: Semestri nastave: 4 Dodatne informacije
Master's thesis	4	graduate	Master's thesis Engleski jezik: Semestri nastave: 4 Dodatne informacije
Master's thesis	4	graduate	Master's thesis Engleski jezik: Semestri nastave: 4 Dodatne informacije
Master's thesis	4	graduate	Master's thesis Engleski jezik: Semestri nastave: 4 Dodatne informacije
Master's thesis	4	graduate	Master's thesis Engleski jezik: Semestri nastave: 4 Dodatne informacije
Master's thesis	4	graduate	Master's thesis Engleski jezik: Semestri nastave: 4 Dodatne informacije
Mathematical logic	5, 6	undergraduate	Mathematical logic Engleski jezik: Semestri nastave: 5, 6 Dodatne informacije
Mathematical logic	1, 2	graduate	Mathematical logic Engleski jezik: Semestri nastave: 1, 2 Dodatne informacije
Mathematical logic	3, 4	graduate	Mathematical logic Engleski jezik: Semestri nastave: 3, 4 Dodatne informacije
Mathematical logic	1, 2	graduate	Mathematical logic Engleski jezik: Semestri nastave: 1, 2 Dodatne informacije
Mathematical logic	1, 2, 3, 4	graduate	Mathematical logic Engleski jezik: Semestri nastave: 1, 2, 3, 4 Dodatne informacije
Mathematics teaching practice in middle school	3	graduate	Mathematics teaching practice in middle school Engleski jezik: Semestri nastave: 3 Dodatne informacije
Mathematics teaching practice in middle school	9	integrated undergraduate and graduate	Mathematics teaching practice in middle school Engleski jezik: Semestri nastave: 9 Dodatne informacije
Mathematics teaching practice in middle school	3	graduate	Mathematics teaching practice in middle school Engleski jezik: Semestri nastave: 3 Dodatne informacije
Mathematics teaching practice in secondary school	4	graduate	Mathematics teaching practice in secondary school Engleski jezik: Semestri nastave: 4 Dodatne informacije
Mathematics teaching practice in secondary school	4	graduate	Mathematics teaching practice in secondary school Engleski jezik: Semestri nastave: 4 Dodatne informacije
Mathematics teaching practice in secondary school	10	integrated undergraduate and graduate	Mathematics teaching practice in secondary school Engleski jezik: Semestri nastave: 10 Dodatne informacije
Methods of teaching computer science 1	3	graduate	Methods of teaching computer science 1 Engleski jezik: Semestri nastave: 3 Dodatne informacije
Methods of teaching computer science 2	4	graduate	Methods of teaching computer science 2 Engleski jezik: Semestri nastave: 4 Dodatne informacije
Methods of teaching mathematics 3	3	graduate	Methods of teaching mathematics 3 Engleski jezik: Semestri nastave: 3 Dodatne informacije
Methods of teaching mathematics 3	3	graduate	Methods of teaching mathematics 3 Engleski jezik: Semestri nastave: 3 Dodatne informacije
Methods of teaching mathematics 3	9	integrated undergraduate and graduate	Methods of teaching mathematics 3 Engleski jezik: Semestri nastave: 9 Dodatne informacije
Methods of teaching mathematics 4	4	graduate	Methods of teaching mathematics 4 Engleski jezik: Semestri nastave: 4 Dodatne informacije
Methods of teaching mathematics 4	4	graduate	Methods of teaching mathematics 4 Engleski jezik: Semestri nastave: 4 Dodatne informacije
Methods of teaching mathematics 4	10	integrated undergraduate and graduate	Methods of teaching mathematics 4 Engleski jezik: Semestri nastave: 10 Dodatne informacije
Modal logic	1, 2, 3, 4	graduate	Modal logic Engleski jezik: Semestri nastave: 1, 2, 3, 4 Dodatne informacije
Multimedia systems	3, 4	graduate	Multimedia systems Engleski jezik: Semestri nastave: 3, 4 Dodatne informacije
Practical interpretation of the program	1, 2, 3, 4	graduate	Practical interpretation of the program Engleski jezik: Semestri nastave: 1, 2, 3, 4 Dodatne informacije
Programming languages and equipment for teaching programming in school	3, 4	graduate	Programming languages and equipment for teaching programming in school Engleski jezik: Semestri nastave: 3, 4 Dodatne informacije
Set theory	5	undergraduate	Set theory Engleski jezik: Semestri nastave: 5 Dodatne informacije
Set theory	1, 2	graduate	Set theory Engleski jezik: Semestri nastave: 1, 2 Dodatne informacije
Set theory	3, 4	graduate	Set theory Engleski jezik: Semestri nastave: 3, 4 Dodatne informacije
Set theory	7	integrated undergraduate and graduate	Set theory Engleski jezik: Semestri nastave: 7 Dodatne informacije
Software engineering	1	graduate	Software engineering Engleski jezik: Semestri nastave: 1 Dodatne informacije

Search