( viraghj | 2018. 09. 25., k – 19:32 )

Azon értékek amikről írsz, azok nincsenek benne a függvény értékkészletében (input),

pontosabban az értelmezési tartományában

...Ezen túl viszont már nincs igazad, mert a parciális függvény esetén van olyan input érték, amihez nincs output érték rendelve.

hát ezt nem is merném vitatni :-)

Csak arra próbáltam rámutatni, hogy messze nem triviális kérdés az, hogy egy parciális függvény hol van értelmezve és hol nincs. Ez általában nem intézhető el triviális/egyszerű kivételkezeléssel. És nem is csupán a függvény képletén múlik, hanem a gépi aritmetikán és a standard függvények kiszámításának ezoterikus részletein.

Például hol van értelmezve

0) x -> x^2 egész x argumentumokra? (hint: mikor csordul túl x)

1) x -> sqrt(x^2) egész x argumentumokra?

2) x -> sin(exp(x)) lebegőpontos ("valós") x argumentumokra (lásd korábbi példák)

és ezek még csak triviális/egyszerű képletekkel megadott függvények.