Domů
Náhodně
Přihlášení
Nastavení
Sponzorství
O Wikislovníku
Vyloučení odpovědnosti
Hledat
PL1
Jazyk
Sledovat
Editovat
čeština
editovat
zkratka
editovat
iniciálová
význam
editovat
predikátová logika
1.
řádu
Víme, že pro PL1 existují kalkuly, které mají z hlediska automatizace jisté velice pěkné vlastnosti.