Notazione Kappa-f/Struttura condizionale

Wikibooks, manuali e libri di testo liberi.

Una struttura di rilevante importanza è quella condizionale.

Si supponga di voler creare una funzione che restituisca il valore assoluto di un numero k. La funzione deve restituire:

  • se x > 0, k stesso
  • se x < 0, -k (k cambiato di segno)

La struttura condizionale nella notazione Kappa-f è la seguente:

Condizione \to Istruzione

Dove l'istruzione può anche essere un blocco. Se l'istruzione restituisce un valore alla funzione, la freccia sarà seguita dai due punti:

Condizione \to: Valore

Secondo queste regole, la funzione con sequenze Abs(k), valore assoluto di k sarà:


Abs(k) = \begin{cases} k > 0 \to: k \\ k < 0 \to: -k \end{cases}

[modifica] Esempi di funzioni con sequenze monadiche

[modifica] Funzione signum


Sgn(n) = \begin{cases} n < 0 \to: -1 \\ n = 0 \to: 0 \\ n > 0 \to: 1\end{cases}

[modifica] Gradino di Heavside


Hev(n) = \begin{cases} n < 0 \to: 0 \\ n = 0 \to: {1 \over 2} \\ n > 0 \to: 1 \end{cases}

Strumenti personali