Kurzy

Zaměříme se na sadu praktických nástrojů a postupů, které můžete využít při výuce i v každodenním životě, např. v oblastech kyberbezpečnosti, umělé inteligence, efektivním učení se a práce s pamětí, práce s poznámkami a informacemi, psaním vlastních skriptů, a dalšími. Konkrétní obsah upravíme na míru Vašim přáním.

• nástroje v kyberbezpečnosti a soukromí (2h)
• nástroje v umělé inteligenci (2h)
• nástroje pro produktivitu a práci s informacemi (2h)
• programátorské nástroje (1h)
• pedagogické nástroje (1h)

Seznámíme se s jazkem Lean (https://lean-lang.org/), pomocí kterého budeme učit počítač automaticky kontrolovat matematické důkazy (a občas s nimi i přicházet). Budeme prakticky řešit zábavné problémy a prozkoumáme, jaké přínosy má tento směr pro pedagogiku, výzkum, i hlubší vhledy do matematiky. Jedná se o poměrně náročné téma, které nejspíš nepůjde v ZŠ a SŠ hodinách využít přímo, znalost jeho principu však výrazně prohlubuje formální myšlení, ke kterému pak lze vést i mladé žáky.

• motivace, filozofie a stručná historie počítačové formalizace matematických důkazů (1h)
• formální budování přirozených čísel a jejich vlastností v jazyce Lean (6h)
• vyhlídky do budoucna, zajímavé projekty, interakce s umělou inteligencí (1h)