napamatam vsetko, ale aspon nieco
priklady:
- karnaughova mapa
- rezolucna metoda
- skolemovsky variant
- predikatovy jazyk prepisat do "ludskej reci"
...
teoria:
- daco o dokazani, ze T|= alfa a aj uviest na priklade
- tranzitivnost len uz neviem ci vo vyrokovej alebo predikatovej
- jazyk vyrokovej logiky
...
este nieco bolo, ale nebolo to tazke takze pohoda .... viac menej to co na zapocte
btw: ja som mal s Myskovou
priklady:
- karnaughova mapa
- rezolucna metoda
- skolemovsky variant
- predikatovy jazyk prepisat do "ludskej reci"
...
teoria:
- daco o dokazani, ze T|= alfa a aj uviest na priklade
- tranzitivnost len uz neviem ci vo vyrokovej alebo predikatovej
- jazyk vyrokovej logiky
...
este nieco bolo, ale nebolo to tazke takze pohoda .... viac menej to co na zapocte
btw: ja som mal s Myskovou