Search
Now showing items 1-1 of 1
Alternative mathematical notation and its applications in calculus
Alternativní matematická notace a její aplikace v kalkulu
bachelor thesis (DEFENDED)
Advisor: Pick, Luboš
Date Issued: 2012
Date of defense: 21. 06. 2012
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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 ...