Odlučiv (razdvojba)
Izvor: Wikipedija
Riječ odlučiv ima formalno značenje u teoriji izračunljivosti, teoriji formalnih jezika, te matematičkoj logici.
- vidi odlučiv skup za značenje u teoriji izračunljivosti (povijesno zvanoj teorija rekurzije)
- vidi odlučiv jezik za ekvivalent u formalnim jezicima.
- vidi odlučivost (logika) za ekvivalent u matematičkoj logici.
- vidi Gödelov teorem nepotpunosti za teorem o neodlučivosti jezika koji se sastoje od "istinitosnih iskaza" u matematičkoj logici.
[uredi] Vidi i
![]() |
Ovo je razdvojbena stranica. Ona pomaže u orijentaciji tako da popisuje sve stranice koje dijele isti naslov. Ako vas je poveznica iz nekog članka poslala ovamo, možda biste željeli vratiti se i ispraviti je da pokazuje izravno na željenu stranicu. |