« (3) Weber, Carl Maria von :: hore :: (4) westernová uzdečka »
Autor: RNDr. Marián Olejár
logika:
Well-formed formula v logike je sekvencia (string, reťazec, výraz, ...) symbolov (znakov, značiek, abecedy, ...) z formálneho jazyka skonštruovaná či zoradená pomocou pravidiel daného jazyka.
Do slovenčiny prekladané "správne - formovaná formula" alebo "dobre - formovaná formula", pričom skratku wff ponecháme. Ak nedôjde k nedorozumeniu, potom stačí povedať formula.
Well-formed formula je gramaticky správne - formovaná veta alebo štrukturovaný predikát umelého jazyka, vytvorená definovanou syntaxou alebo gramatikou, formačnými pravidlami atď.
« (3) Weber, Carl Maria von :: hore :: (4) westernová uzdečka »
Pridané: 06/09/04 Posledná zmena: 13/04/07
Citujte toto encyklopedické heslo ako:
Text: RNDr. Marián Olejár: well-formed formula; encyklopédia www.ys.sk
Odkaz: http://www.ys.sk/heslo/well_formed_formula.php
Verzia pre PC: Encyklopédia YS, well-formed formula
(c) 2007, Marián Olejár, Jr.
All rights reserved.
kontakt: marianolejar (zavinac) yahoo (bodka) com