Vpis v prvi letnik.
Računalniški praktikum
2018/2019
Program:
Univerzitetni študijski program 1. stopnje Fizika
Smer:
Meteorologija
Letnik:
1 letnik
Semester:
prvi ali drugi
Vrsta:
obvezni
ECTS:
3
Nosilec predmeta:
Ure na teden – 1. ali 2. semester:
Predavanja
0
Seminar
0
Vaje
2
Laboratorij
2
Vsebina
Računsko okolje na fakulteti (elektronska pošta, spletna učilnica in ostale spletne storitve, programska oprema za študente, dostop do računalniških laboratorijev).
Osnove operacijskih sistemov: datotečni sistemi, varnostne kopije, omrežja, računalniška varnost.
Pojem algoritma in algoritmičnega reševanja nalog. Osnove strukturiranega programiranja. Osnove znanstvenega računanja.
Temeljni literatura in viri
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.
Cilji in kompetence
Študent pridobi osnovno znanje o uporabi računalnikov in spozna osnovne tehnike programiranja.
Predvideni študijski rezultati
Znanje in razumevanje: Znanje iz osnov programiranja.
Uporaba: Osnovna računalniška pismenost je nepogrešljiva za uspešen študij. Znanje pridobljeno pri tem predmetu bo študent uporabljal v celotnem teku študija.
Refleksija: Brez osnovne računalniške pismenosti je moderen študij nemogoč. Sposobnost programiranja omogoča uporabniku višji nivo nadzora nad računalnikom in mu omogoča reševanje problemov, ki jih z običajnimi aplikacijami ne more rešiti.
Prenosljive spretnosti - niso vezane le na en predmet: Ta predmet je osnova za vse predmete, ki zahtevajo uporabo računalnikov in znanje programiranja (drugi računalniški in numerični predmeti).
Metode poučevanja in učenja
vaje
domače naloge
konzultacije
Načini ocenjevanja
Pisni izpit.
(ocene: 5 (negativno), 6-10 (pozitivno), ob upoštevanju Statuta UL)
Reference nosilca
· 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.
