Matija Pretnar

Matija Pretnar

Fakulteta za matematiko in fiziko
Jadranska 21, SI-1000 Ljubljana
tel: +386 1 4766 668
matija.pretnar@fmf.uni-lj.si
@matijapretnar
GitHub

Research

I study formalization, implementation, and semantics of programming languages. My current research is focused on algebraic effects and their handlers.

Poučevanje

Zaposlen sem na Fakulteti za matematiko in fiziko, kjer poučujem večinoma računalniške predmete.


Sestavljanje izpitnih pol

Da bi olajšal sestavljanje izpitnih pol, sem pripravil LaTeXovski paket, ki veliko večino dela postori sam. Vse, kar morate podati, so podatki o izpitu (ime, datum, navodila in učilnico) ter naloge.

Paket nato avtomatsko oblikuje glavo izpita, sedežni red, polja za ime, vpisno številko in točke ter podobno. Poleg tega vam omogoča, da za vsak izpit pripravite tako verzijo za reševanje na polo kot verzijo za objavo v arhivu.

vzorec.pdf
PDF z vzorčnim izpitom
vzorec-arhiv.pdf
PDF z istim izpitom, le pripravljenim za objavo v arhivu
izpit.zip
Datoteka s paketom ter vzorčnim izpitom

Če želite starejšo različico paketa, poglejte na GitHub.


Generiranje nalog

Spodnji program za dani seznam študentov omogoča generiranje naključnih nalog ter njihovih rešitev. Program sprejme:

  1. seznam nalog (vsaka je opisana s programom v Mathematici),
  2. vzorčno datoteko (ponavadi v LaTeXu) in
  3. seznam študentov,

nato pa ustvari posamezne datoteke z nalogami in skupno datoteko z rešitvami. Naloge niso čisto naključne, saj vam program za istega študenta vedno vrne enako nalogo. To vam omogoča, da naloge naknadno popravljate, ne da bi se vam pri tem v celoti spremenile.

generiranje-nalog.zip
Datoteka s programom ter vzorcem

Če želite starejšo različico programa, poglejte na GitHub.