180 likes | 361 Views
Szimmetrikus Programozás, AZ ALAPOK. TDK vagy Szakdolgozat Téma 2004.12.19. Készítette: Kusper Gábor Minden jog fenntartva!. Programnyelvek Osztályozása. Program: Valós világban felmerülő problémára keresi a választ. A problémát modellezni kell (Mit?), majd megoldani (Hogyan?).
E N D
Szimmetrikus Programozás,AZ ALAPOK TDK vagy Szakdolgozat Téma 2004.12.19. Készítette: Kusper Gábor Minden jog fenntartva!
Programnyelvek Osztályozása • Program: Valós világban felmerülő problémára keresi a választ. • A problémát modellezni kell (Mit?), majd megoldani (Hogyan?). • Imperatív Programozási Nyelvek • Hangsúly: Hogyan? • Deklaratív Programozási Nyelvek • Hangsúly: Mit?
Deklaratív Programozási Nyelvek • Logikai • Alapegység: Predikátum • Pl.: Prolog • Funkcionális • Alapegység: Függvény • Pl.: SML, Lisp, Clean
Deklaratív nyelvek jellemzői • Alapegység erős kifejező eszköz. • Matematikai alapokon nyugszik. • Mintaillesztés. • Mellékhatás kerülése.
Lehetséges új deklaratív nyelvet alkotni? • Erős kifejező eszközt kell találni! • Matematikailag megalapozottnak kell lennie. • Mintaillesztés támogatása előny. • Mellékhatás kerülése automatikusan adódik a deklaratív megközelítésből.
Új Deklaratív Irány Szimmetrikus Programozás
Szimmetria! Mert • Erős kifejező eszköz: • Ami szimmetrikus, az szép. • Az aszimmetrikus arc szép. • Tulajdonságokat gyakran szimmetriával fogalmazunk meg. • Matematikai alapok: Geometria. • Mintaillesztés: A szimmetria alapja a motívum. Azt tükrözzük, forgatjuk, stb…
Szimmetrikus Entitások a Matematikában és a Természetben • Pascal Háromszög • Fraktálok • Falevél • Hópehely
Minta • A szimmetrikus program alapegysége a minta. • A minta lehet: • Szimbólum, Jel, Ábra (A). • Szimmetria alkalmazása mintára (AA). • A minta definíciója rekurzív! • A minta fogalma a term fogalmának felel meg.
Szimmetria • A szimmetria lehet: • Klasszikus geometriai szimmetriák: • Eltolás, forgatás, tükrözés. • Bármely függvény felfogható szimmetriaként: • 2+2=4 : 2 és 2 + szimmetriában áll a 4-gyel. • A szimmetria fogalma a függvény fogalmának felel meg.
Sorminta • A sorminta lehet: • Egy minta. • Véges sok mintából álló sorozat. • Végtelen sok mintából álló sorozat. • A minták közt szimmetria áll. • A sorminta fogalma a program fogalmának felel meg. • A program eredménye a sorminta utolsó mintája • A sorminta is minta.
A Pascal Háromszög Programja 1 0 | | +
A Program Futása 0 1 0 0 | 0 + + + | + 0 0 0 1 1 0 0 0 0 + + + +
A Program Futása 0 1 1 0 0 + + + + 1 1 0 0 1 2 0 0 0 + + + +
A Program Futása 0 1 2 1 0 + + + + 1 1 3 2 3 0 1 0 0 + + + +
A Program Futása 0 1 3 3 1 + + + + 4 4 1 3 0 1 6 3 1 + + + +
Egyéb példa programok • peldaprog1_pascalharomszog.xls • peldaprog2_szumma.xls
Vége! Ha szeretné ezt a témát választani TDK vagy Szakdolgozati témaként, kérem, írjon levelet email címemre: gkusper@aries.ektf.hu