Infinitesimální kalkulus funkcí více proměnných

• Název práce v češtině: Infinitesimální kalkulus funkcí více proměnných
• Název v anglickém jazyce: Differential Calculus of Functions of Several Variables
• Klíčová slova: Vopěnkova alternativní teorie množin a polomnožin, monáda, věta o implicitní funkci, věta o inverzním zobrazení
• Klíčová slova anglicky: Vopěnka's alternative set theory, monad, implicit function theorem, inverse function theorem
• Akademický rok vypsání: 2011/2012
• Typ práce: diplomová práce
• Jazyk práce: čeština
• Ústav: Katedra teoretické informatiky a matematické logiky (32-KTIML)
• Vedoucí / školitel: doc. RNDr. Josef Mlček, CSc.
• Řešitel: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 01.11.2011
• Datum zadání: 01.11.2011
• Datum potvrzení stud. oddělením: 07.12.2011
• Datum a čas obhajoby: 15.06.2016 00:00
• Datum odevzdání elektronické podoby: 13.05.2016
• Datum odevzdání tištěné podoby: 13.05.2016
• Datum proběhlé obhajoby: 15.06.2016
• Oponenti: RNDr. Bohuslav Balcar, DrSc.
• Konzultanti: prof. RNDr. Petr Vopěnka, DrSc.

Zásady pro vypracování

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.

Seznam odborné literatury

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