Tak tohle je suverénní týpek. Možná ne nejlepší učitel na UTI, ale je dosti v pohodě. Výuku během semestru moc moc nestíhal, ale to asi nikdo a navíc UTI je především samostudium.
Jediný normální člověk z party logiků, metalista a nejlepší cvičící na matematickou logiku. Na cvičeních všechno stihl dobře vysvětlit a s námi vypočíst i za hodinu, místo tří, to bych zdechl. V kritických písemkách body najít "chce" takže obrovské plus. Kamarádský přístup, tykání, prostě pohoda. Ochotně poradí, maily píše, domluva super.
Určitě doporučuju.
Studenti se seznámí se základy výrokové a predikátové logiky. Probereme pojem přímého a nepřímého důkazu a základní metody pro důkaz logické pravdivosti a platnosti úsudku. Dále se studenti seznámí...