#computervidenskab

Vi har 2 tegn med hashtagget

aksiom

0  
Et aksiom er en grundantagelse, der antages at være sand, og som ligger til grund for et større system af sætninger. I et sådant logisk system har man altså et sæt aksiomer, man ikke beviser, men bruger som det fundamentale grundlag til at bevise andre sætninger i teorien.
#computervidenskab

atomar

0  
Anvendelse inden for computervidenskab. En udtryk/udsagn som ikke kan reducere yderligere.
#computervidenskab #logik