Výukový text
Úvod do informatiky (pdf verze) strukturovaným matematickým přístupem seznamuje čtenáře s formálními oblastmi důležitými pro úspěšné studium informatiky a je navíc doplněn řadou
interaktivních cvičení v IS MU. Obsahově pokrývá především základy matematického vyjadřování, teorie množin a relací, výrokové logiky a formalizace algoritmů. Tento text je využívám v předmětu FI: IB000 Úvod do informatiky vyučovaném v podzimním semestru.