| slovo | definícia |
formalism
(encz) | formalism,formalismus n: luke |
Formalism
(gcide) | Formalism \Form"al*ism\ (f[^o]rm"al*[i^]z'm), n.
The practice or the doctrine of strict adherence to, or
dependence on, external forms, esp. in matters of religion.
[1913 Webster]
Official formalism. --Sir H.
Rawlinson.
[1913 Webster] |
formalism
(wn) | formalism
n 1: the doctrine that formal structure rather than content is
what should be represented [ant: imitation]
2: (philosophy) the philosophical theory that formal (logical or
mathematical) statements have no meaning but that its symbols
(regarded as physical entities) exhibit a form that has
useful applications
3: the practice of scrupulous adherence to prescribed or
external forms |
| | podobné slovo | definícia |
formalism
(encz) | formalism,formalismus n: luke |
formalismus
(czen) | formalismus,formalismn: luke |
formalism
(wn) | formalism
n 1: the doctrine that formal structure rather than content is
what should be represented [ant: imitation]
2: (philosophy) the philosophical theory that formal (logical or
mathematical) statements have no meaning but that its symbols
(regarded as physical entities) exhibit a form that has
useful applications
3: the practice of scrupulous adherence to prescribed or
external forms |
bird-meertens formalism
(foldoc) | Bird-Meertens Formalism
BMF
Squiggol
(BMF) (Or "Squiggol") A calculus for
derivation of functional programs from a specification. It
consists of a set of higher-order functions that operate on
lists including map, fold, scan, filter, inits, tails,
cross product and function composition.
["A Calculus of Functions for Program Derivation", R.S. Bird,
in Res Topics in Fnl Prog, D. Turner ed, A-W 1990].
["The Squiggolist", ed Johan Jeuring, published irregularly by
CWI Amsterdam].
(1995-05-01)
|
|