V této práci studujeme tableaux kalkul a podobné metody. Nejprve zavádíme obvyklé pojmy a poté představujeme tableaux kalkul pro logiku prvního řádu. Dále představujeme automatický dokazovač vět autorů Beckert a Possega ...

Nazev prace: Model tesne vazby a jeho aplikacc na molekularni eloktroniku a trans- port, v mezoskopiekyoh systemech Autur: Jan Prachaf Katedra (ustav): Ustav tooroticko fyziky Vedouci bakalafske pniee: RNUr. Martin Oizek, ...