Počet záznamů: 1
rozhodnutelnost
Věcné téma rozhodnutelnost Viz též Gödelovy věty matematická logika Propojení decidability Konspekt 510 - Obecné úvahy o matematice Databáze Soubor věcných témat předmětové heslo
Počet záznamů: 1
Věcné téma | rozhodnutelnost |
---|---|
Viz též | Gödelovy věty |
matematická logika | |
Propojení | decidability |
Konspekt | 510 - Obecné úvahy o matematice |
Databáze | Soubor věcných témat |
předmětové heslo