- Rozhodovací procedury a SAT/SMT řešičeNAIL094 | Matematicko-fyzikální fakulta
- Rozhodovací procedury a verifikaceNAIX094 | Matematicko-fyzikální fakulta
- Aposteriorní numerická analýza metodou vyvážených tokůNMNV464 | Matematicko-fyzikální fakulta
- Aplikovaná výpočetní technika +1GAF131 | Farmaceutická fakulta v Hradci Králové
- Strojové učení a uvažováníNMMB562 | Matematicko-fyzikální fakulta
- Výpočetní technika +1GB211 | Farmaceutická fakulta v Hradci Králové
- Numerické modelování v HG IMG451C35 | Přírodovědecká fakulta
- Analýza programů a verifikace kódu +1NSWI132 | Matematicko-fyzikální fakulta
- Řídké matice v numerické matematiceNMNV533 | Matematicko-fyzikální fakulta
- Logika v informaticeNMAI067 | Matematicko-fyzikální fakulta
- Metody logického programováníNAIL022 | Matematicko-fyzikální fakulta
- Financial Modelling Using MS Excel and VBAJEM128 | Fakulta sociálních věd
- Moderní počítačová fyzika INEVF160 | Matematicko-fyzikální fakulta
- Sedlobodové úlohy a jejich řešeníNMMO537 | Matematicko-fyzikální fakulta
- Metody HG průzkumuMG451P32 | Přírodovědecká fakulta
