Kapittel 13 – Førsteordens språk / Prefiks-, infiks- og postfiksnotasjon

Prefiks-, infiks- og postfiksnotasjon

Hva syns du om denne videoen?
(Én stjerne er dårligst, tre stjerner er middels og fem stjerner er best.)
(Hvordan kan denne videoen bli bedre?)

Test deg selv

$((x, y)+, z)+$

Er den sammensatte termen over der $+$ er et funksjonssymbol og $x$, $y$
og $z$ er variabler, skrevet med prefiks-, infiks- eller postfiksnotasjon?

Når vi så på tallteorispråket med signatur $\langle 0; s, +; = \rangle$ så vi for eksempel på termen som $s(0) + s(s(0))$. Her brukte vi prefiksnotasjon for funksjonssymbolet $s$ med aritet $1$ og infiksnotasjon for funksjonssymbolet $+$ med aritet $2$.