Bulínova skripta z NAIL062 VaPL – vylepšená verze

PDF dostupné na Matfyz Wiki.

Změny

• Odstraněna nadbytečná kapitola Úvod do logiky
• Přidány seznamy definic a vět
• Možnost exportu do A5

Vše v /lecture/skripta/.

Kompilace

pdflatex skripta.tex && pdflatex skripta.tex

Pokud náhodou potřebujete seznam literatury (obsahující jednu knihu): bibtex skripta

Export A5

Vhodné do čtečky. Místy špatně vyrenderované. PDF na Matfyz Wiki.

skripta.tex:

- \documentclass[11pt,a4paper]{report}
+ \documentclass[11pt,a5paper]{report}

hlavicka.tex:

-\usepackage{a4wide}
+\usepackage[top=0.7in,bottom=0.7in,left=0.6in,right=0.6in]{geometry}

Meme