Računalniške delavnice na Fakulteti za matematiko in fizikohttps://progklub.si/workshops/2026-05-03T13:51:04+02:00https://progklub.si/favicons/favicon-256x256.pnghttps://progklub.si/favicons/favicon-256x256.pngProgramerski klub FMFHugohttps://progklub.si/workshops/tekmovalno-programiranje/2026-03-07T21:42:27+01:002026-05-03T13:51:04+02:00

<p>S Programerskim klubom FMF bomo v sredo, 15. 10. 2025 ob 16:00 v P.01 izvedli delavnico tekmovalnega programiranja. Delavnica je primerna predvsem za začetnike. Delali bomo v Pythonu, kjer se bomo spoznali z osnovnimi koncepti programiranja in reševanja nalog na sistemu Putka.</p>

<p>S Programerskim klubom FMF bomo v sredo, 15. 10. 2025 ob 16:00 v P.01 izvedli delavnico tekmovalnega programiranja. Delavnica je primerna predvsem za začetnike. Delali bomo v Pythonu, kjer se bomo spoznali z osnovnimi koncepti programiranja in reševanja nalog na sistemu Putka.</p>https://progklub.si/workshops/uvod-v-nix/2026-03-07T14:06:56+01:002026-05-03T13:51:04+02:00

<p>Nix je hkrati paketni upravljalec za sisteme podobne Unixu in hkrati orodje za deklarativno upravljanje teh sistemov. To nam omogoča reševanje problemov kot so težave z verzijskimi konflikti paketov, rešuje nas pred t.i. &ldquo;dependency hell&rdquo; in omogoča učinkovito upravljanje stanja večih računalnikov hkrati. Zastonj dobimo še način povrnitve stanja sistema, kar bistveno zmanjša možnosti nepopravljivih napak.</p> <p>To počnemo s pisanjem programov v jeziku Nix. V prvi delavnici si bomo pogledali par primerov uporabe na operacijskem sistemu NixOS ter osnove konfiguracije in kaj sploh pomeni deklarativno upravljanje.</p>

<p>Nix je hkrati paketni upravljalec za sisteme podobne Unixu in hkrati orodje za deklarativno upravljanje teh sistemov. To nam omogoča reševanje problemov kot so težave z verzijskimi konflikti paketov, rešuje nas pred t.i. &ldquo;dependency hell&rdquo; in omogoča učinkovito upravljanje stanja večih računalnikov hkrati. Zastonj dobimo še način povrnitve stanja sistema, kar bistveno zmanjša možnosti nepopravljivih napak.</p> <p>To počnemo s pisanjem programov v jeziku Nix. V prvi delavnici si bomo pogledali par primerov uporabe na operacijskem sistemu NixOS ter osnove konfiguracije in kaj sploh pomeni deklarativno upravljanje.</p> <p>Prva delavnica bo demonstrativnega namena, primerna za vse z osnovnim znanjem Unix/Linux sistemov, tako da ni potrebe po nameščeni programski opremi. Nadobudneži si lahko Nix (ali NixOS) namestijo tukaj.</p> <p>Načrtovan je še drugi del delavnice, kjer bomo bolj natančno spoznali delovanje nixovih sistemov in programskega jezika.</p>https://progklub.si/workshops/alloy/2026-03-07T21:44:41+01:002026-05-03T13:51:04+02:00

<p>S Programerskim klubom FMF bomo v sredo, 12. 11. 2025 ob 16:00 v P.01 izvedli računalniško delavnico. Z modeliranjem programov in protokolov lahko bolje razumemo njihovo delovanje, preverimo njihovo pravilnost ter odkrijemo subtilne napake. Odlično orodje za to je Alloy Analyzer, ki poleg elegantnega in preprostega jezika za modeliranje in preverjanje pravilnosti omogoča tudi vizualizacijo možnih stanj in izvajanj programja.</p> <p>Prva delavnica se bo začela s splošnim uvodom v modeliranje programja, nadaljevala se bo z osnovami Alloya in končala z nekaj izzivi na platformi Alloy4fun. Predhodna namestitev Alloy Analyzerja ni potrebna.</p>

<p>S Programerskim klubom FMF bomo v sredo, 12. 11. 2025 ob 16:00 v P.01 izvedli računalniško delavnico. Z modeliranjem programov in protokolov lahko bolje razumemo njihovo delovanje, preverimo njihovo pravilnost ter odkrijemo subtilne napake. Odlično orodje za to je Alloy Analyzer, ki poleg elegantnega in preprostega jezika za modeliranje in preverjanje pravilnosti omogoča tudi vizualizacijo možnih stanj in izvajanj programja.</p> <p>Prva delavnica se bo začela s splošnim uvodom v modeliranje programja, nadaljevala se bo z osnovami Alloya in končala z nekaj izzivi na platformi Alloy4fun. Predhodna namestitev Alloy Analyzerja ni potrebna.</p> <p>Za udeležbo ni potrebno predznanje programiranja, le osnovno poznavanje logike.</p>https://progklub.si/workshops/kriptografija/2026-03-07T21:48:02+01:002026-05-03T13:51:04+02:00

<p>Na Programerskem klubu FMF v sodelovanju z društvom <a href="https://dragonsec.si/" target="_blank" rel="noopener">DragonSec SI</a> pripravljamo računalniško delavnico o kibernetski varnosti in kriptografskih metodah za reševanje resničnih izzivov. Delavnica bo v ponedeljek, 9. 3. ob 16:00 v P.01.</p> <p>Na začetku bomo poslušali kratko predavanje o osnovah kriptografije, nato pa se bomo preizkusili v reševanju praktičnih nalog, kjer v Pythonu pišemo programe za iskanje skritih zastavic v šifriranih sporočilih. Računalniška delavnica je primerna za začetnike, potrebno je zgolj osnovno znanje Pythona.</p>

<figure><img src="https://progklub.si/workshops/kriptografija/images/delavnica.jpg" alt="Kriptografska delavnica na Programerskem klubu FMF" /></figure> <p>Na Programerskem klubu FMF v sodelovanju z društvom <a href="https://dragonsec.si/" target="_blank" rel="noopener">DragonSec SI</a> pripravljamo računalniško delavnico o kibernetski varnosti in kriptografskih metodah za reševanje resničnih izzivov. Delavnica bo v ponedeljek, 9. 3. ob 16:00 v P.01.</p> <p>Na začetku bomo poslušali kratko predavanje o osnovah kriptografije, nato pa se bomo preizkusili v reševanju praktičnih nalog, kjer v Pythonu pišemo programe za iskanje skritih zastavic v šifriranih sporočilih. Računalniška delavnica je primerna za začetnike, potrebno je zgolj osnovno znanje Pythona.</p> <figure class="max-width-500"><img src="https://progklub.si/workshops/kriptografija/images/plakat.png" alt="Plakat za kriptografsko delavnico"> </figure> https://progklub.si/workshops/dafny/2026-04-29T15:09:43+02:002026-05-03T13:51:04+02:00

<p>Programerski klub vabi na delavnico dokazovanja pravilnosti programov. Pri tej delavnici se bomo spoznali s programskim jezikom Dafny, ki omogoča interaktivno dokazovanje pravilnosti funkcijske, proceduralne in objektno usmerjene kode.</p> <p>Na prenosnih računalnikih je priporočena predhodna namestitev razširitve <a href="https://marketplace.visualstudio.com/items?itemName=dafny-lang.ide-vscode" target="_blank" rel="noopener">Dafny VS Code</a>. Prav tako pa lahko uporabite računalnike iz računalniške učilnice. Potrebno je osnovno razumevanje programiranja in dokazovanja.</p> <figure class="max-width-500"><img src="https://progklub.si/workshops/dafny/images/plakat.png" alt="Plakat za Dafny delavnico"> </figure>

<p>Programerski klub vabi na delavnico dokazovanja pravilnosti programov. Pri tej delavnici se bomo spoznali s programskim jezikom Dafny, ki omogoča interaktivno dokazovanje pravilnosti funkcijske, proceduralne in objektno usmerjene kode.</p> <p>Na prenosnih računalnikih je priporočena predhodna namestitev razširitve <a href="https://marketplace.visualstudio.com/items?itemName=dafny-lang.ide-vscode" target="_blank" rel="noopener">Dafny VS Code</a>. Prav tako pa lahko uporabite računalnike iz računalniške učilnice. Potrebno je osnovno razumevanje programiranja in dokazovanja.</p> <figure class="max-width-500"><img src="https://progklub.si/workshops/dafny/images/plakat.png" alt="Plakat za Dafny delavnico"> </figure> https://progklub.si/workshops/emaxxing/2026-04-17T16:22:33+02:002026-05-03T13:51:04+02:00

<p>Klasična Emacs fora je, da je le-ta dober operacijski sistem, a da mu manjka le dober urejevalnik teksta. V delavnici bomo videli, da je prvi del šale resničen, drugi pa neresničen.</p> <p>Za razliko od Unix sistemov, ki so grajeni okoli cevovodov (pipes) in povezujejo programe na nivoju vhodov in izhodov, lispov model temelji na konstantnem in kibernetičnem dostopu do vseh funkcij programov, njihove izvorne kode in vse dokumentacije. GNU Emacs je zgrajen na istem modelu.</p>

<figure><img src="https://progklub.si/workshops/emaxxing/images/delavnica.jpg" alt="Emaxxing delavnica na Programerskem klubu FMF" /></figure> <p>Klasična Emacs fora je, da je le-ta dober operacijski sistem, a da mu manjka le dober urejevalnik teksta. V delavnici bomo videli, da je prvi del šale resničen, drugi pa neresničen.</p> <p>Za razliko od Unix sistemov, ki so grajeni okoli cevovodov (pipes) in povezujejo programe na nivoju vhodov in izhodov, lispov model temelji na konstantnem in kibernetičnem dostopu do vseh funkcij programov, njihove izvorne kode in vse dokumentacije. GNU Emacs je zgrajen na istem modelu.</p> <p>Videli bomo tudi, da je Emacs več kot zmogljiv urejevalnik teksta, tako s svojimi vgrajenimi funkcijami, kot z vsemi možnimi paketi, ki ga izboljšajo. Kot majhno posledico bomo videli, da je Emacs najboljša implementacija modalnega urejevalnika (neo)vi(m).</p> <p>Delavnica je primerna za začetnike in bo primarno vsebovala stvari, ki bi si jih vsak Emacs uporabnik želel vedeti ob začetku (in jih ponavadi izve šele po nekaj letih). Tisti, ki želijo sodelovati, naj si namestijo Emacs verzijo vsaj 30 ter sistem Git (za kloniranje datotek za delavnico).</p> <figure class="max-width-500"><img src="https://progklub.si/workshops/emaxxing/images/plakat.png" alt="Plakat za Emaxxing delavnico"> </figure>