Homepage of Tomáš Brázdil

Antonin Kucera
RNDr. Tomáš Brázdil, Ph.D.

Department of Computer Science
Faculty of Informatics
Masaryk University
Brno, Czech Republic

Email: xbrazdil (for the rest see bottom of this page)

Research

Ph.D. thesis

Download: (PDF) (PS) (ERRATA)


Awards & Fellowships

Publications


Memberships


Past Master Students



Teaching (czech)

Matematicka logika - cviceni
Predikatova logika (last update: 22.12.2005, 11:15) ps file
Vyrokova logika (last update: 2.1.2006, 11:16) ps file


Personal

I like windsurfing
I like music (in Czech)

"at" fi.muni.cz