Překlad "linear logic" do čeština
lineární logika je překlad "linear logic“ do čeština.
linear logic
noun
gramatika
( logic) A logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both "additive" and "multiplicative" versions of the typical binary connectives and truth constants; and which has a pair of modal, "exponential" operators for resource management, to help make up for the loss of the two structural rules.
-
lineární logika
-
Zobrazit algoritmicky generované překlady
Automatické překlady " linear logic " do čeština
-
Glosbe Translate
-
Google Translate
Přidejte příklad
Přidat