Aktuální informace pro letní semestr 2023/24 najdete na https://d3s.mff.cuni.cz/cz/teaching/nprg031/.