od Semai » 11. 1. 2014 23:42
Dnešní písemka:
Na ústním jsou docela hodní, já měl definovat tablo důkaz formule
v teorii T ve výrokové logice a všechny pojmy k tomu, tj. co je tablo, jak se projevuje že to je v teorii, ... . A jako důkaz jsem měl, že každý tablo důkaz je konečný.
Dnešní písemka:
[img]http://imagizer.imageshack.us/v2/800x600q90/36/ckyy.jpg[/img]
Na ústním jsou docela hodní, já měl definovat tablo důkaz formule [latex]\varphi[/latex] v teorii T ve výrokové logice a všechny pojmy k tomu, tj. co je tablo, jak se projevuje že to je v teorii, ... . A jako důkaz jsem měl, že každý tablo důkaz je konečný.