hledat
Rozdíly
Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
| Obě strany předchozí revize Předchozí verze Následující verze | Předchozí verze | ||
|
mgr-szz:in-pos:10-pos [2019/06/15 09:00] lachmanfrantisek |
mgr-szz:in-pos:10-pos [2020/04/12 16:56] (aktuální) |
||
|---|---|---|---|
| Řádek 111: | Řádek 111: | ||
| * **"Čistá" MSOL** je ekvivalentní **MSOL**. | * **"Čistá" MSOL** je ekvivalentní **MSOL**. | ||
| * Pro zápis čisté MSOL v MSOL máme makra pro syntaxi, která v MSOL není. | * Pro zápis čisté MSOL v MSOL máme makra pro syntaxi, která v MSOL není. | ||
| - | * Pro zápis MSOL v čísté MSOL nahradíme všechny prvořádové proměnné <math>x</math> druhořádovou proměnnou <math>S_x</math>. | + | * Pro zápis MSOL v čísté MSOL nahradíme všechny prvořádové proměnné <math>x</math> druhořádovou proměnnou <math>S_x</math> a přidáme <math>\wedge Sng(S_x)</math>. |
| * 1. zakódujeme valuace **MSOL** | * 1. zakódujeme valuace **MSOL** | ||
