Práce na stejné téma (mají shodná klíčová slova):

kalkul

Klíčová slova abecedně | Klíčová slova dle četnosti

« 1 2 3 » (celkem 21 prací)
Kalkul na časových škálách a jeho využití v ekonomii
 (Adéla Krátká)

2017, Diplomová práce, Přírodovědecká fakulta / Masarykova univerzita

https://is.muni.cz/th/iskj2/ | Matematika / Ekonomie Aplikovaná matematika pro víceoborové studium | Práce na příbuzné téma

Gentzenův důkazový kalkul
 (Halina Kajzarová)

2015, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

http://hdl.handle.net/10084/108654 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma

Gentzenův důkazový kalkul
 (Jiří Spáčil)

2017, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

http://hdl.handle.net/10084/119025 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma

Vizualizace výrazů procesní algebry pi-kalkul
 (Dagmar Prokopová)

2017, Diplomová práce, Vysoké učení technické v Brně

http://theses.cz/id//dczjr1// | Informační technologie / | Práce na příbuzné téma

Úvod do kalkulu na časových škálách
 (Kristína Rovňaníková)

2021, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita

https://is.muni.cz/th/gt67s/ | Matematika / Finanční a pojistná matematika | Práce na příbuzné téma

Použití kombinátorového kalkulu pro výuku programování
 (František SOJKA)

2023, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI

http://theses.cz/id//9oxgl7// | Matematika pro vzdělávání / Matematika pro vzdělávání / Informatika pro vzdělávání | Práce na příbuzné téma

Just-in-time kompilace závisle typovaného lambda kalkulu
 (Jakub Zárybnický)

2021, Diplomová práce, Vysoké učení technické v Brně

http://theses.cz/id//htaixj// | Informační technologie a umělá inteligence / | Práce na příbuzné téma

Vizualizácia zlomkového kalkulu
 (Marek Karch)

2017, Bakalářská práce, Fakulta aplikované informatiky / Univerzita Tomáše Bati ve Zlíně

http://theses.cz/id//xkg0u5// | Inženýrská informatika / Informační a řídicí technologie | Práce na příbuzné téma

Základy zlomkového kalkulu na časových škálách
 (Matej Dolník)

2015, Bakalářská práce, Vysoké učení technické v Brně

http://theses.cz/id//021h18// | Aplikované vědy v inženýrství / | Práce na příbuzné téma

Využití zlomkového kalkulu v teorii řízení
 (Daniel Kiša)

2018, Bakalářská práce, Vysoké učení technické v Brně

http://theses.cz/id//fzobdj// | Aplikované vědy v inženýrství / | Práce na příbuzné téma

« 1 2 3 » (celkem 21 prací)