% ================================================== %
% | Eötvös Loránd Tudományegyetem                  | %
% | Informatikai Kar                               | %
% |  Programtervező matematikus                    | %
% |  Nappali tagozat                               | %
% -------------------------------------------------- %
% | Bevezetés a programozásba                      | %
% | [I] első év                                    | %
% | [I] első szemeszter (őszi)                     | %
% | 2004/2005 tanév                                | %
% -------------------------------------------------- %
%  VERSION:  1.0                                     %
%  AUTHOR:   Reviczky Ádám János                     %
% ================================================== %

[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
