andrejbauer / ucbenik-logika-in-mnozice

Učbenik za predmet Logika in množice na Fakulteti za matematiko in fiziko, Univerza v Ljubljani

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Učbenik in zapiski "Logika in množice"

Učbenik za predmet Logika in množice, 1. letnik matematike na Fakulteti za matematiko in fiziko, Univerza v Ljublani.

Struktura repozitorija:

  • zapiski -- zapiski s predavanj, ki jih postopoma pretapljamo iz Markdown v LaTeX
  • ucbenik -- izvorna koda za učbenik, ki se bo nekega dne združil z zapiski

Licenca

(c) 2017 Andrej Bauer in Davorin Lešnik

To delo je izdano pod licenco CC BY-NC-ND 4.0.

About

Učbenik za predmet Logika in množice na Fakulteti za matematiko in fiziko, Univerza v Ljubljani


Languages

Language:TeX 99.7%Language:Makefile 0.1%Language:Agda 0.1%Language:Shell 0.0%Language:Emacs Lisp 0.0%