Přeskočit na obsah

PL1

Z Wikislovníku

čeština

[editovat]

zkratka

[editovat]
  • iniciálová

význam

[editovat]
  1. predikátová logika 1. řádu
    • Víme, že pro PL1 existují kalkuly, které mají z hlediska automatizace jisté velice pěkné vlastnosti.
Citováno z „https://cs.wiktionary.org/w/index.php?title=PL1&oldid=1022226“