gabboraron/logika_es_szamitaselmelet

Turing gépek | 1-szalagos - k-szalagos | NTG | Látló | számosság | Cantor tétel | R | RE | Rice | POST | ítéletkalkulus | logika | elsőrendű logika | bonyolultságelmélet | P | NP | C teljesség | Cook-Levin | kSAT | 3SAT | HORNSAT | 3 színezhetőség | 2 színezhetőség | Klikk | lefogó ponthalmaz | független ponthalmaz | Hamilton út | Hamilton kör | utazóügynök | NP | cOC | coNP | offline Turing gép | tárígény | tárbonyolultság | ELÉR | Savitch | NL | L | Hierarchia tétel | R

MPL-2.0