Vlákno názorů k článku Programovací jazyk F#: proměnné, funkce a datové typy od Calculon - “tím, že má typ unit jedinou hodnotu vlastně...

“tím, že má typ unit jedinou hodnotu vlastně říkáme, že tato hodnota nenese žádnou informaci (když je pravděpodobnost, že z komunikačního kanálu získám ve 100% stejný symbol, jeho informační hodnota je 0 bitů).”

Viz také vzoreček pro entropii: -p log p

log_2 :)

Tak log je při základu dva, přirozený je ln.

neni log při základu 10? I když to je jedno, prostě se to kdyžtak podělí o nějakou tu log-based pišvajcovu konstantu

Závisí na kontextu :) Pro matematika jo, computer scientist tíhne ke dvojce. My máme na univerzitě u logaritmů v různých materiálech různé konvence, podle mě je jasné jen “ln”.

U entropie to je asi fuk, ta fyzikální má svoje jednotky (J/K) a jinak tam je nějaký součinitel, jak píšeš.

Boltzmann má na náhrobku log, myšlen ale jako ln. Lepší se vždy ujistit, co ten symbol znamená, tak to je.

https://en.wikipedia.org/wiki/Boltzmann%27s_entropy_formula

14. 9. 2023, 20:17 editováno autorem komentáře

IMHO v podstatě je to jedno, protože jdou zvolit jednotky shannon, nat nebo i hartley (jestli si to dobře pamatuju). Shannon je prakticky nejlepší, protože numericky odpovídá bitu/bitům, ale klidně to můžeme počítat v natech, tedy přirozeným logaritmem.

tyjo já ho tam chtěl přidat, ale potom jsem to při finálním čtení přeskočil, to se omlouvám

IMHO je to lepší bez něj, jen by to mátlo :)