Programozás módszertani alapjai I.

2019. szeptemberétől a "Programozás módszertani alapjai 1." tárgy új néven és megújult tartalommal várja az érdeklődőket: Programozáselmélet

Előadás:

• (2017-2018/2. félév) szerda 8:15-9:45, Déli Tömb 0-821 Bolyai János terem

Irodalom:

• Fóthi Ákos: Bevezetés a programozáshoz. ELTE Eötvös kiadó, 2007.

Segédanyagok:

• Feladatsor (ps|pdf)
• Könyv (pdf)

Fogadóóra:

Vizsga:

• A vizsga szóbeli vizsga.
• A vizsgázás előfeltétele a legalább elégséges gyakorlati jegy megléte.
• A vizsgára a Neptun rendszeren keresztül kell jelentkezni.
• Az igazolatlan hiányzás, halasztás, fel- és lejelentkezés fogalma, a vizsgázási lehetőségek száma megegyezik a Hallgatói követelményrendszerben (különösen a 71.§ és 72.§ pontokban) írtakkal, az ott leírt szabályok természetesen érvényesek a vizsgára.
• A vizsga kezdetekor minden vizsgázónak jelen kell lennie. A vizsgázók egyszerre kezdik el kidolgozni a kapott kérdéseket. A vizsgázó felelete után kaphat további kidolgozandó kérdéseket is.
• A vizsgán tollra és üres papírra van szükség. A vizsgán semmiféle más segédeszköz nem használható. Ceruzával írni tilos.
• A vizsgán mindeki több, különböző témával kapcsolatos, kisebb-nagyobb kérdést kap (definíció, tétel, bizonyítás, feladat stb.). A tételjegyzékben szereplő definíciók, tételek hibátlan felírása elengedhetetlenül szükséges, de természetesen nem elégséges feltétele a sikeres vizsgának.
• A vizsgára való felkészüléshez segítséget nyújt a fenti könyv.

Tételjegyzék:

• "Piros keretes tételek":
  specifikáció tétele
  típusspecifikáció tétele
  levezetési szabályok (szekvencia, elágazás és ciklus levezetési szabálya)
• Definíciók, tételek
  1. Alapfogalmak I.: függvény, őskép, szigorú kompozíció, reláció leszűkítése, feltételes reláció, lezárt, korlátos lezárt, igazsághalmaz
  2. Alapfogalmak II.: direktszorzat, állapottér, feladat, program, programfüggvény, megoldás, feladat szigorítása
  3. A megoldás fogalmának általánosításai, reláció szerinti megoldás tétele
  4. Specifikáció: leggyengébb előfeltétel és tulajdonságai, specifikáció tétele, feladat "jó" specifikációja, változó
  5. Feladat és program kiterjesztése, bővített identitás, vetítéstartás, félkiterjesztés, kiterjesztési tételek
  6. Programkonstrukciók: szekvencia, elágazás, ciklus (definíciójuk, programfüggvényeik, levezetési szabályaik)
  7. Elemi programok (definiciójuk, leggyengébb előfeltételük)
  8. Típus, típusspecifikáció, megfelelés, típusspecifikáció tétele
• Megjegyzés: természetesen nem lehet a specifikáció tételét úgy tudni, hogy a vizsgázó nem ismeri a paramétertér fogalmát; nem lehet arról beszélni hogy a típus megfelel a típusspecifikációnak ha a vizsgázó nem tudja mit jelent a ρ-n keresztüli megoldás, stb.
• A felsorolt fogalmakhoz tartozó tételek.