Enrolment in the first year of study.
Computer laboratory
Computing environment at the faculty (electronic mail, online courses and other services, software available to students, accessing computer labs).
Basics of operating systems: file systems, backups, networking, computer secuirty.
The concept of algorithm and algorithmic problem solving. Basic of structured programming. Basics of scientific computing.
Martin Juvan, Matjaž Zaveršnik, C naj bo, DMFA - založništvo, Ljubljana, 1999.
Matija Lokar, Prvi koraki v programski jezik C, DMFA - založništvo, Ljubljana, 2000.
Brian W. Kernighan, Dennis M. Ritchie, The C Programming Language, second edition (ANSI C), Prentice Hall, 1989.
Brian W. Kernighan, Dennis M. Ritchie, Programski jezik C, Založba FER, Ljubljana, 1994.
Samuel P. Harbison III, Guy L. Steele Jr., C - A Reference Manual, fifth edition, Prentice Hall, 2002.
Dan Gookin, C for Dummies, Wiley, 2004.
Student acquires basic knowledge of using computers and learn about basic programming techniques.
Knowledge and understanding: Knowledge of the basics of programming.
Application: Basic computer literacy is indispensable to successful study. Knowledge gained from this course will be used throughout the study.
Reflection: Without basic computer literacy a modern study is impossible. Ability of programming allows the user a higher level of control over the computer and allows him to solve the problems that cannot be solved by the usual applications.
Transferable skills: This course is the basis for all courses that require the use of computers and programming skills (other computer and numerical courses).
lab work
homework assigments
consultations
Written exam
grading: 5 (fail), 6-10 (pass) (according to the Statute of UL)
· A. Bauer, C. A. Stone: RZ: a tool for bringing constructive and computable
mathematics closer to programming practice. Journal of Logic and Computation,
2009, vol. 19, no. 1, str. 17-43.
· A. Bauer, E. Clarke, X. Zhao: Analytica — An Experiment in Combining Theorem
Proving and Symbolic Computation. Journal of Automated Reasoning, Vol. 21, no. 3
(1998) 295-325.
· A. Bauer, M. Petkovšek: Multibasic and mixed hypergeometric Gosper-type
algorithms. Journal of Symbolic Computation, Vol. 28 (1999) 711-736.