------------------------------
|Bevezetés a programozásba I.|
|2004/2005 őszi szemeszter   |
------------------------------

[VIZSGATEMATIKA]

# Alapfogalmak
# Kiterjesztés
# Specifikáció
# Szekvencia
# Elágazás
# Ciklus
# Elemi programok
# Típus
# Típusspecifikáció
# Egyszerű programozási tételek
# Jelölés


Alapfogalmak
- - - - - - - - - -
  [D]  - állapottér
  [D]  - feladat
  [D]  - program
  [D]  - megoldás


Kiterjesztés
- - - - - - - - - -
  [T]  - feladat és program kiterjesztése
  [T]  - kiterjesztési tételek
  [T]  - megoldás fogalmának kiterjesztése


Specifikáció
- - - - - - - - - -
  [T]  - leggyengébb elõfeltétel
  [T]  - változó
  [T]  - specifikáció tétele


Szekvencia
- - - - - - - - - -
  [D]  - definíció
  [T]  - programfüggvény
  [TB] - levezetési szabály


Elágazás
- - - - - - - - - -
  [D]  - definíció
  [T]  - programfüggvény
  [TB] - levezetési szabály


Ciklus
- - - - - - - - - -
  [D]  - definíció
  [T]  - programfüggvény
  [TB] - levezetési szabály


Elemi programok
- - - - - - - - - -
  [T]  - értékadások


Típus
- - - - - - - - - -
  [T]  - típusspecifikáció
  [T]  - típus
  [T]  - megfelelés


Típusspecifikáció
- - - - - - - - - -
  [T]  - Típusspecifikáció tétele


Egyszerű programozási tételek
- - - - - - - - - -
  [T]  - összegzés
  [T]  - számlálás
  [T]  - maximum keresés
  [T]  - feltételes maximum keresés
  [T]  - lineáris keresések


Jelölés
- - - - - - - - - -
  [D]  : definíció
  [T]  : tétel
  [TB] : tétel bizonyítással
