Infinitesimální kalkulus funkcí více proměnných
| Thesis title in Czech: | Infinitesimální kalkulus funkcí více proměnných |
|---|---|
| Thesis title in English: | Differential Calculus of Functions of Several Variables |
| Key words: | Vopěnkova alternativní teorie množin a polomnožin, monáda, věta o implicitní funkci, věta o inverzním zobrazení |
| English key words: | Vopěnka's alternative set theory, monad, implicit function theorem, inverse function theorem |
| Academic year of topic announcement: | 2011/2012 |
| Thesis type: | diploma thesis |
| Thesis language: | čeština |
| Department: | Department of Theoretical Computer Science and Mathematical Logic (32-KTIML) |
| Supervisor: | doc. RNDr. Josef Mlček, CSc. |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 01.11.2011 |
| Date of assignment: | 01.11.2011 |
| Confirmed by Study dept. on: | 07.12.2011 |
| Date and time of defence: | 15.06.2016 00:00 |
| Date of electronic submission: | 13.05.2016 |
| Date of submission of printed version: | 13.05.2016 |
| Date of proceeded defence: | 15.06.2016 |
| Opponents: | RNDr. Bohuslav Balcar, DrSc. |
| Advisors: | prof. RNDr. Petr Vopěnka, DrSc. |
| Guidelines |
| Cílem práce je na půdorysu alternativní teorie množin vypracovat infinitesimální kalkulus funkcí více proměnných leibnizovského stylu.
Východiskem práce je literatura uvedená v seznamu odborné literatury a dále kniha prof. Vopěnky Úvod do alternativní teorie množin, která vyjde koncem roku 2011. |
| References |
| Vopěnka P., Úvod do matematiky v alternatívnej teórii množín, Alfa, Bratislava 1989
Vopěnka P., Calculus infinitesimalis. Pars prima, Úvod do diferenciálního počtu reálných funkcí jedné proměnné, Kanina, Plzeň 2010 Vopěnka P., Calculus infinitesimalis. Pars secunda, Integrál reálné funkce jedné proměnné, Kanina, Plzeň 2011 |