hledat
Rozdíly
Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
|
mgr-szz:in-pos:10-pos [2019/06/10 17:01] lachmanfrantisek zadání |
mgr-szz:in-pos:10-pos [2020/04/12 16:56] |
||
|---|---|---|---|
| Řádek 1: | Řádek 1: | ||
| - | ====== IN-POS 10. Konečné automaty (FA) a logiky nad slovy ====== | ||
| - | |||
| - | ===== Zadání ===== | ||
| - | |||
| - | * Logika 1.řádu (FOL) a monadická logika 2.řádu (MSOL): | ||
| - | * syntax a sémantika FOL a MSOL, | ||
| - | * principy převoditelnosti mezi FA a formulemi MSOL. | ||
| - | * Automaty nad nekonečnými slovy a omega-regulární jazyky. | ||
| - | |||
| - | * IA006 | ||
| - | |||
| - | ===== Vypracování ===== | ||
