NMAT, okruh č. 30

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

Materiály

Použito také ve specializacích

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