Hledat
Zobrazují se záznamy 1-1 z 1
Alternative mathematical notation and its applications in calculus
Alternativní matematická notace a její aplikace v kalkulu
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Pick, Luboš
Datum publikování: 2012
Datum obhajoby: 21. 06. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce zkoumá možnosti formalizace klasických pojmů matematické analýzy bez použití proměnných. Za tímto účelem vytváří nový matematický "jazyk", jenž je schopen popsat všechny klasické výpočty v matematické analýze (přesněji ...
We explore the possibility of formalizing classical notions in calculus without using the notion of variable. We provide a new mathematical 'language' capable of performing all classical computations (namely computing ...
We explore the possibility of formalizing classical notions in calculus without using the notion of variable. We provide a new mathematical 'language' capable of performing all classical computations (namely computing ...