Number of the records: 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 
subject heading
Number of the records: 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 |
subject heading