Odlučivost (čvor)
Odlučivost ima formalno značenje u teoriji rekurzije, teoriji formalnih jezika, te matematičkoj logici i može se odnositi na:
- Odlučiv jezik, u formalnim jezicima.
- Odlučivost (logika), u matematičkoj logici.
- Gödelov teorem nepotpunosti, teorem o neodlučivosti jezika koji se sastoje od "istinitosnih iskaza" u matematičkoj logici.
- Rekurzivan skup, u teoriji rekurzije.
Također pogledajte[uredi | uredi izvor]
Ovaj članak je čvor za pojašnjenje pojmova sličnih nazivu ovog članka.
Ako ste ovdje dospjeli putem unutrašnjeg linka, link koji vodi ovamo preusmjerite na tačan članak.
Ako ste ovdje dospjeli putem unutrašnjeg linka, link koji vodi ovamo preusmjerite na tačan članak.