|
ECTS:
|
3
|
Lecturers in charge:
|
Prof. dr. sc.
Nikola Bogunović
|
Lecturers:
|
Prof. dr. sc.
Marin Golub - Lectures
|
Take exam:
|
Studomat
|
English level:
1,0,0
|
All teaching activities will be held in Croatian. However, foreign students in mixed groups will have the opportunity to attend additional office hours with the lecturer and teaching assistants in English to help master the course materials. Additionally, the lecturer will refer foreign students to the corresponding literature in English, as well as give them the possibility of taking the associated exams in English.
|
|
Load:
|
| Lecture type | Total |
| Lectures |
15 |
| Laboratory exercises |
30 |
* Load is given in academic hour (1 academic hour = 45 minutes)
|
Description:
|
This course contains laboratory exercises of theoretical courses and some specialization courses, as well as contemporary skills with various programming and other tools. The laboratory assignments are grouped in two areas designed to complement the material covered in lectures. The laboratory practice covers hands-on experience in: (A) Application of formal methods to verification of typical program sections, digital hardware, and critical operating systems synchronization and communication protocols, (B) experimenting with communication, scheduling and security issues in operating systems, (C) solving problems and constructing of algorithms in machine learning.
|
Literature:
|
- Vježbenica za laboratorij računarske znanosti; N.Bogunović, M.Golub, I.Grudenić, A.Jović; FER; 2006
- Logic in Computer Science; M. Huth, M. Ryan; Cambridge University Press; 2004; ISBN: 052154310
- Operacijski sustavi; Budin, L.; Golub, M; Jakobovic, D., Jelenkovic, L; Element, Zagreb; 2010; ISBN: 978-953-197-610-7
- Applied Cryptography; B. Schneier; J. Wiley & Sons; 1996; ISBN: 0-471-11709-9
|
|
2. semester
|
Full time study
course for
profile
Computer Science
|
|
