Serĉrezultoj
Salti al navigilo
Salti al serĉilo
Trovitaj laŭ titolo
- En [[pruvoteorio]] kaj [[matematika logiko]], la '''sekvaĵa kalkulo''' estas larĝe sciata konkluda sistemo por [[predikata logiko]] (kaj [[prop (Formala) pruvo en ĉi tiu kalkulo estas vico de [[sekvaĵo]]j, kie ĉiu de la eroj estas derivebla de aro de se ...13 KB (2 216 vortoj) - 03:26, 22 feb. 2025
- ...[funkcionalo (matematiko)|funkcionaloj]] same kiel ordinara [[infinitezima kalkulo]] rilatas al [[funkcio (matematiko)|funkcioj]]. ...''x<sub>2</sub>''. Ĉi tio estas speciala okazo de la [[fundamenta lemo de kalkulo de variadoj]]: ...12 KB (2 064 vortoj) - 20:27, 10 dec. 2023
- ...ko]], '''plurvariabla kalkulo''' estas vastigaĵo de [[infinitezima kalkulo|kalkulo]] de unu [[variablo]] al kelkaj [[nedependa variablo|nedependaj variabloj]] ...iderata kiel [[vektoro]]. [[Vektora kalkulo]] estas branĉo de plurvariabla kalkulo kiu konsideras okazon ĉe kiu ne nur argumento sed ankaŭ valoro de la funkci ...8 KB (1 121 vortoj) - 17:31, 20 sep. 2024
- ...ektora kalkulo''' aŭ '''vektora analitiko''' estas kampo de [[multvariabla kalkulo]] de [[matematiko]] koncernanta multvariablajn [[reela nombro|reelajn]] [[v Vektora kalkulo koncernas [[skalara kampo|skalarajn kampojn]], kiuj asocias [[skalaro]]n al ...6 KB (843 vortoj) - 17:11, 25 maj. 2024
- ...o]] kaj [[komputoscienco]], '''Lambda-kalkulo''', ankaŭ skribata kiel '''λ-kalkulo''', estas [[formalismo|formalisma sistemo]] por esplori difinon de [[funkci ...de Curry-Howard]]. Tamen, kiel naiva bazo de matematiko, netipigita lambda-kalkulo ne povas eviti [[aroteorio|aroteoriajn]] paradoksojn (vidu, ekzemple, [[par ...37 KB (5 623 vortoj) - 10:39, 30 nov. 2024
- Jenaj operacioj estas gravaj en [[vektora kalkulo]]: * [[Vektora kalkulo]] ...2 KB (276 vortoj) - 17:34, 9 mar. 2013
- ...rava sekvo de ĉi tiu teoremo, kelkfoje nomata la dua fundamenta teoremo de kalkulo, estas ke oni povas uzi la [[malderivaĵo]]n de funkcio por kalkuli ĝian int ...a okazo de teoremo de Stokes sed tamen ĝeneraligo de fundamenta teoremo de kalkulo. ...2 KB (273 vortoj) - 18:24, 24 jan. 2025
- La ''pura'' maltiphava [[lambda kalkulo]] ne estas forte normiga. Konsideru la termon <math>\lambda x . x x x</math ...bdan kalkulon]], la [[sistemo F|sistemon F]] de Jean-Yves Girard, kaj la [[kalkulo de konstruoj|kalkulon de konstruoj]] de Thierry Coquand, havas la '''normal ...2 KB (356 vortoj) - 17:34, 9 mar. 2013
Trovitaj laŭ enhavo
- ...rava sekvo de ĉi tiu teoremo, kelkfoje nomata la dua fundamenta teoremo de kalkulo, estas ke oni povas uzi la [[malderivaĵo]]n de funkcio por kalkuli ĝian int ...a okazo de teoremo de Stokes sed tamen ĝeneraligo de fundamenta teoremo de kalkulo. ...2 KB (273 vortoj) - 18:24, 24 jan. 2025
- La ''pura'' maltiphava [[lambda kalkulo]] ne estas forte normiga. Konsideru la termon <math>\lambda x . x x x</math ...bdan kalkulon]], la [[sistemo F|sistemon F]] de Jean-Yves Girard, kaj la [[kalkulo de konstruoj|kalkulon de konstruoj]] de Thierry Coquand, havas la '''normal ...2 KB (356 vortoj) - 17:34, 9 mar. 2013
- pro la [[Fundamenta teoremo de kalkulo|fundamenta teoremo de kalkulo]], kaj denove pro la fundamenta teoremo de kalkulo. Anstataŭigante ekvaciojn (2), (3), kaj (4) en ekvacion (1) oni ricevas la ...2 KB (266 vortoj) - 12:27, 10 okt. 2021
- == Kalkulo == ...1 KB (202 vortoj) - 09:00, 18 nov. 2024
- == Kalkulo == ...1 KB (196 vortoj) - 21:16, 20 aŭg. 2023
- == Infinitezima kalkulo == Por formala difino de ''tangento'' oni bezonas la [[Infinitezima kalkulo|infiniteziman kalkulon]] pri [[derivebleco|derivebla]] [[kurbo]]. ...2 KB (293 vortoj) - 16:58, 25 nov. 2023
- == Kalkulo == ...1 KB (232 vortoj) - 04:17, 17 apr. 2024
- En [[Kalkulo|kalkulo]], '''parametra derivaĵo''' estas [[Derivaĵo (matematiko)|derivaĵo]] kiu es [[Kategorio:Diferenciala kalkulo]] ...2 KB (326 vortoj) - 09:00, 18 nov. 2024
- En [[matematiko]], la '''gradienta teoremo''' aŭ la '''fundamenta teoremo de kalkulo por kurbaj integraloj''' statas ke [[kurba integralo]] tra [[gradiento (mat Ĝi estas ĝeneraligo de la [[fundamenta teoremo de kalkulo]] al ĉiu [[kurbo]] anstataŭ de nur parto de la [[reela linio]]. ...2 KB (303 vortoj) - 10:55, 19 mar. 2013
- Jenaj operacioj estas gravaj en [[vektora kalkulo]]: * [[Vektora kalkulo]] ...2 KB (276 vortoj) - 17:34, 9 mar. 2013
- ...damentaj propraĵoj de [[derivaĵo (matematiko)|derivaĵo]] en [[diferenciala kalkulo]]. Ĝi sekvas de la [[suma regulo en diferencialado]] kaj de la [[konstanta [[Kategorio:Diferenciala kalkulo]] ...1 KB (198 vortoj) - 10:10, 23 dec. 2015
- === Kalkulo === ...2 KB (321 vortoj) - 15:57, 2 jan. 2025
- '''Integralo''' estas unu el la ĉefaj konceptoj de [[kalkulo]]. Ĝi estas la [[areo]] inter la [[grafikaĵo]] de [[funkcio]] kaj la x-[[ak ...[[derivaĵo (matematiko)|derivaĵo]], kiel diras la [[Fundamenta teoremo de kalkulo]]. Tio signifas ke se oni kalkulas la derivaĵon de integralo, la rezulto es ...4 KB (554 vortoj) - 12:37, 13 feb. 2025
- [[Kategorio:Diferenciala kalkulo]] ...353 bajtoj (51 vortoj) - 17:36, 9 mar. 2013
- ...atiko]], la '''dua parta derivaĵa provo''' estas maniero en [[multvariebla kalkulo]] por kontroli ĉu [[krita punkto]] ''(x, y)'' estas [[loka minimumo]], [[lo [[Kategorio:Kalkulo]] ...2 KB (294 vortoj) - 05:02, 17 mar. 2013
- ...ko]], '''plurvariabla kalkulo''' estas vastigaĵo de [[infinitezima kalkulo|kalkulo]] de unu [[variablo]] al kelkaj [[nedependa variablo|nedependaj variabloj]] ...iderata kiel [[vektoro]]. [[Vektora kalkulo]] estas branĉo de plurvariabla kalkulo kiu konsideras okazon ĉe kiu ne nur argumento sed ankaŭ valoro de la funkci ...8 KB (1 121 vortoj) - 17:31, 20 sep. 2024
- ...ektora kalkulo''' aŭ '''vektora analitiko''' estas kampo de [[multvariabla kalkulo]] de [[matematiko]] koncernanta multvariablajn [[reela nombro|reelajn]] [[v Vektora kalkulo koncernas [[skalara kampo|skalarajn kampojn]], kiuj asocias [[skalaro]]n al ...6 KB (843 vortoj) - 17:11, 25 maj. 2024
- ...de [[diferenciala formo]], kiu ĝeneraligas kelkajn teoremojn de [[vektora kalkulo]]. ...oremo povas esti konsiderata kiel ĝeneraligo de la [[fundamenta teoremo de kalkulo]]; kaj la lasta ja sekvas facile de la antaŭa. ...4 KB (644 vortoj) - 22:43, 10 feb. 2020
- En [[matematiko]], tie en [[diferenciala kalkulo]], '''tuteca derivaĵo''' de [[funkcio (matematiko)|funkcio]] ''f'' de kelka ...r unu de ĉiuj variabloj - la aliaj estas supozitaj konstantaj. Kontraŭe en kalkulo de la tuteca derivaĵo, oni ne antaŭjuĝas, ke la aliaj argumentoj estas kons ...4 KB (642 vortoj) - 21:33, 12 nov. 2024
- Laŭ la [[fundamenta teoremo de infinitezima kalkulo]], la nedifinita [[integralo]] de funkcio f ĉiam estas unu el la malderivaĵ [[Kategorio:Kalkulo]] ...3 KB (604 vortoj) - 11:58, 25 nov. 2024