| Tantárgy neve: Programozás-elmélet |
Tantárgy Neptun kódja: Nappali: GEMAK233-B Tárgyfelelős intézet: MAT - Matematikai Intézet |
| Tantárgyelem: A | |
| Tárgyfelelős: Dr. Házy Attila - egyetemi docens | |
| Közreműködő oktató(k): | |
| Javasolt félév: 3 | Előfeltétel:GEMAN116-B |
| Óraszám/hét: Előadás (nappali): 2 | Számonkérés módja: kollokvium |
| Kreditpont: 3 | Munkarend: Nappali |
| Tantárgy feladata és célja: A programozási alapok elméleti kiterjesztése, modellek és algoritmusok fejlesztése, használata Tudás: Ismeri és érti az analízis, valószínűségszámítás, lineáris algebra, operációkutatás, statisztika, illetve a számítástudomány alapvető fogalmait és összefüggéseit, valamint az alkalmazási területekhez kapcsolódó rutinszerű problémák formális modelljeit. Ismeri a programozással összefüggésben az alapvető programozási struktúrákat, a szoftverfejlesztés módszertanát és a fontosabb programozási környezeteket. Képesség: Képes az üzleti és informatikai szakemberekkel együttműködve, a leghatékonyabb IT-megoldások felhasználásával gazdasági problémák megoldási változatainak elkészítésére, informatikai támogatás, fejlesztés kezdeményezésére, végrehajtására. Attitűd: Fontosnak tartja az informatikai szakmai eredmények közvetítését szakmai és az alkalmazási területe egyéb képviselői számára. Törekszik a folyamatos szakmai képzésre és általános önképzésre. Autonomia és felelősség: Feladatvégzéskor szakmai szempontok érvényesítése mellett önálló véleménye van az informatikai rendszerek gazdasági, társadalmi, és biztonsági hatásaival, vonzataival kapcsolatosan. | |
| Tárgy tematikus leírása: Alapfogalmak, relációk, függvények, sorozatok. Feladat, program, programfügg-vény, megoldás, kiterjesztés. Típusspecifikáció, típus, megfelelés. Leggyengébb előfeltétel, specifikáció tétele. Programkonstrukciók, levezetési szabályok. Elemi programok. Típus-konstrukciók. Nevezetes típusok. A programozási feladat. Levezetés, visszavezetés, transzformációk. Programok különböző formái, kódolás. Programhelyesség. | |
| Félévközi számonkérés módja és az aláírás megszerzésének feltétele (Nappali): 2 db zárthelyi dolgozat legalább elégséges szintű megírása. Az elégséges szint a pontok 50%-át jelenti. | |
| Félévközi számonkérés módja és az aláírás megszerzésének feltétele (Levelező): | |
| Gyakorlati jegy / kollokvium teljesítésének módja, értékelése (Nappali): A kollokvium írásbeli, amely elméleti kérdéseket (definíciók, tételek) tartalmaznak, valamint egy gyakorlati példát. Az elégséges szinthez a pontok 50%-át kell elérni. A közepeshez 65%, a jóhoz 75%, a jeleshez 85%-ot kell teljesíteni. | |
| Gyakorlati jegy / kollokvium teljesítésének módja, értékelése (Levelező): | |
| Kötelező irodalom: 1. Fóthi Ákos: Bevezetés a programozásba, Tankönyvkiadó, Budapest, 1984 2. Galántai Aurél: Bevezetés a programozáselméletbe, elektronikus jegyzet 3. 4. 5. | |
| Ajánlott irodalom: 1. Fóthi Ákos, Steingart Ferenc: Programozási módszertan, kézirat, ELTE, 1999 2.Z. Manna: Programozáselmélet, Műszaki Könyvkiadó, 1981 3.Szlávi P. - Zsakó L.: Módszeres programozás, ELTE TTK Informatikai Tanszékcsoport, mikrológia sorozat, 18, 19, Budapest, 1996 4. . Eric C.R. Hehner: A Practical Theory of Programming, elektronikus jegyzet, http://www.cs.toronto.edu/~hehner/aPToP/aPToP.pdf 5. | |