od Osiris » 19. 6. 2008 09:58
Návštěvník píše:Hm. A nemohl bys odpovedet nejak tak, abych z toho taky neco mel?
Co jineho je jeste relevantni ve vztahu k Stepankovym prednaskam? A odkud ses ucil temporalni logiku?
Pochop, ze mi nejde o to tomu nejak extra navic rozumet, ale udelat zkousku
Temporální logika se zatím nezkoušela, ale je ve Štěpánkových slidech. Je dobré se naučit důkazy, občas tam jsou. Dále je dobré vypracovávat si ty staré písemky, příklady jsou velmi podobné. Já se na to učil asi 3 dny a dostal jsem za 2. Důležité je také umět dokazovat v predikátové logice (třeba něco dokázat z Peannové aritmetiky).
[quote="Návštěvník"]Hm. A nemohl bys odpovedet nejak tak, abych z toho taky neco mel?
Co jineho je jeste relevantni ve vztahu k Stepankovym prednaskam? A odkud ses ucil temporalni logiku?
Pochop, ze mi nejde o to tomu nejak extra navic rozumet, ale udelat zkousku :)[/quote]
Temporální logika se zatím nezkoušela, ale je ve Štěpánkových slidech. Je dobré se naučit důkazy, občas tam jsou. Dále je dobré vypracovávat si ty staré písemky, příklady jsou velmi podobné. Já se na to učil asi 3 dny a dostal jsem za 2. Důležité je také umět dokazovat v predikátové logice (třeba něco dokázat z Peannové aritmetiky).