Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_xtt_rif:rif_minicases:rbmv [2008/04/26 13:31] miw aktualizacja |
pl:miw:miw08_xtt_rif:rif_minicases:rbmv [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| <code xml> | <code xml> | ||
| - | <Group> | + | <Group xmlns="http://www.w3.org/2007/rif#"> |
| <sentence> | <sentence> | ||
| <Forall> | <Forall> | ||
| Linia 16: | Linia 16: | ||
| <op><Const type="rif:local">var:nrfail</Const></op> | <op><Const type="rif:local">var:nrfail</Const></op> | ||
| <arg> | <arg> | ||
| - | <Atom> | + | <Expr> |
| <op><Const type="rif:local">fn:count</Const></op> | <op><Const type="rif:local">fn:count</Const></op> | ||
| <arg><Var>grade</Var></arg> | <arg><Var>grade</Var></arg> | ||
| - | </Atom> | + | </Expr> |
| </arg> | </arg> | ||
| </Atom> | </Atom> | ||
| Linia 28: | Linia 28: | ||
| </sentence> | </sentence> | ||
| <sentence> | <sentence> | ||
| - | <formula> | ||
| <Implies> | <Implies> | ||
| <if> | <if> | ||
| Linia 43: | Linia 42: | ||
| <op><Const type="rif:iri">fn:run-two</Const></op> | <op><Const type="rif:iri">fn:run-two</Const></op> | ||
| <arg> | <arg> | ||
| - | <Atom> | + | <Expr> |
| <op><Const type="rif:iri">grmean</Const></op> | <op><Const type="rif:iri">grmean</Const></op> | ||
| <arg> | <arg> | ||
| - | <Atom> | + | <Expr> |
| <op><Const type="rif:iri">fn:mean</Const></op> | <op><Const type="rif:iri">fn:mean</Const></op> | ||
| <arg><Var>grade</Var></arg> | <arg><Var>grade</Var></arg> | ||
| - | </Atom> | + | </Expr> |
| </arg> | </arg> | ||
| - | </Atom> | + | </Expr> |
| </arg> | </arg> | ||
| <arg> | <arg> | ||
| - | <Atom> | + | <Expr> |
| <op><Const type="rif:iri">nrgrades</Const></op> | <op><Const type="rif:iri">nrgrades</Const></op> | ||
| <arg> | <arg> | ||
| - | <Atom> | + | <Expr> |
| <op><Const type="rif:iri">fn:count</Const></op> | <op><Const type="rif:iri">fn:count</Const></op> | ||
| <arg><Var>grade</Var></arg> | <arg><Var>grade</Var></arg> | ||
| - | </Atom> | + | </Expr> |
| </arg> | </arg> | ||
| - | </Atom> | + | </Expr> |
| </arg> | </arg> | ||
| </Atom> | </Atom> | ||
| </then> | </then> | ||
| </Implies> | </Implies> | ||
| - | </formula> | ||
| </sentence> | </sentence> | ||
| </Group> | </Group> | ||
| </code> | </code> | ||
| [[pl:miw:miw08_xtt_rif:rif_minicases|Powrót]] | [[pl:miw:miw08_xtt_rif:rif_minicases|Powrót]] | ||
