Vliv výpočetní techniky na rozvoj matematiky a přípravu budoucích učitelů matematiky

Abstrakt

Historický přehled využívání IT ve výzkumu a výuce matematiky.

Klíčová slova

• Information theory
• automated proofs
• computers at school