#1 01. 06. 2011 21:20
deklarativni vs. imperativni matematika
cau - neni mi jasne jak k matematice pristupovat imperativne zdali je to vubec mozne - zakladem je popisovat (deklarovat) vlastnosti (matematickych) objektu - existuji popisy metod (napr. vypocet odmocniny x) nicmene co je vlastne matematicka metoda a jak se zapisuje? tak jak to chapu je metoda v podstate vysledek dedukce - lze se na ni zase divat jako na objekt - popsat jeji vlastnosti - jak ale spravne formulovat matematicky ten proces? nejsem matematik ale zajima me to tak se omlouvam vsem matematikum - ani nevim jestli to sem patri ale zajima me to :)
dik
ahgr
Offline
#2 08. 06. 2011 19:12
- check_drummer
- Příspěvky: 5577
- Reputace: 106
Re: deklarativni vs. imperativni matematika
Ahoj, hovoříš o algoritmu nebo máš na mysli něco jiného?
"Máte úhel beta." "No to nemám."
Offline
#3 09. 06. 2011 19:06
Re: deklarativni vs. imperativni matematika
↑ check_drummer:
no jde mi o zobecneni prechodu mezi metodou (dejme tomu algoritmus / dedukce - cokoliv popisujici) a vlastnosti ... neco jako hypoteticka obecna vyhodnocovaci metoda pro pocitacove algebraicke systemy :) metafunkce jak z vlastnosti vyrobit metodu a naopak ... o tomhle ted premyslim a pokud byste meli jakekoliv zdroje ze kterych se da cerpat byl bych vdecny :)
dik
ahgr
Offline
#4 09. 06. 2011 21:02
- check_drummer
- Příspěvky: 5577
- Reputace: 106
Re: deklarativni vs. imperativni matematika
Také by se Tvůj požadavek dal chápat takto: Vlastnosti jsou známá tvrzení a ona metoda je postup odvození nových tvrzení - tj. v podstatě důkaz. V logice se jedná o tzv. odvozovací pravidla, tj. např. z vlastností (platných výroků) typu A, A=>B lze odvodit vlastnost B.
Můžeš prosím udat nějaký konkrétní příklad, abychom věděli, kam máme směřovat?
"Máte úhel beta." "No to nemám."
Offline