Přejít k obsahu


Monadic predicate formulare

Citace: [] BOKR, J., JÁNEŠ, V. Monadic predicate formulare. Acta Electronica et Informatica, 2004, roč. 4, č. 4, s. 37-39. ISSN: 1335-8243
Druh: ČLÁNEK
Jazyk publikace: eng
Anglický název: Monadic predicate formulare
Rok vydání: 2004
Autoři: Josef Bokr , Vlastimil Jáneš
Abstrakt CZ: Článek se zabývá pohodlným určením pravdivostní hodnoty monadické predikátové formule.
Abstrakt EN: It may be easily to fix truthfulness value of monadic predicate formulae on the arbitrary cardinality subject domain. Because is often tested the correctness of statements reasoning, their premises and conclusion can be expressed through in this paper described formulae, it is very suitable to occupy with the monadic predicate formulae.
Klíčová slova

Zpět

Patička