Specializační okruh

Nerozhodnutelnost (problém zastavení TS, princip diagonalizace a redukce).

Materiály

Výskyt ve specializacích

• NSPE – Zpracování zvuku, řeči a přirozeného jazyka, č. 25, RD13/2026
• NCPS – Kyberfyzikální systémy, č. 25, RD13/2026
• NNET – Počítačové sítě, č. 25, RD13/2026
• NMAL – Strojové učení, č. 25, RD13/2026
• NSEN – Softwarové inženýrství, č. 25, RD13/2026
• NBIO – Bioinformatika a biocomputing, č. 25, RD13/2026
• NVIZ – Počítačové vidění, č. 25, RD13/2026
• NISD – Informační systémy a databáze, č. 25, RD13/2026
• NSEC – Kybernetická bezpečnost, č. 29, RD13/2026
• NISY – Inteligentní systémy, č. 30, RD13/2026
• NEMB – Vestavěné systémy, č. 30, RD13/2026
• NGRI – Počítačová grafika a interakce, č. 30, RD13/2026
• NHPC – Superpočítání, č. 30, RD13/2026
• NMAT – Matematické metody, č. 30, RD13/2026
• NVER – Verifikace a testování software, č. 30, RD13/2026
• NIDE – Inteligentní zařízení, č. 59, RD13/2026
• NADE – Vývoj aplikací, č. 59, RD13/2026