% -------------------------------------------------- %
%  EÖTVÖS LORÁND TUDOMÁNYEGYETEM                     %
%  INFORMATIKAI KAR ~ PROGRAMTERVEZŐ MATEMATIKUS     %
%  Bevezetés a programozásba (1)                     %
%  2004/2005                                         %
% .................................................. %
%  Authors: Reviczky Ádám János                      %
% -------------------------------------------------- %

VIZSGATEMATIKA

# ALAPFOGALMAK
  [Definíció] - állapottér
  [Definíció] - feladat
  [Definíció] - program
  [Definíció] - megoldás
# KITERJESZTÉS
  [Tétel] - feladat és program kiterjesztése
  [Tétel] - kiterjesztési tételek
  [Tétel] - megoldás fogalmának kiterjesztése
# SPECIFIKÁCIÓ
  [Tétel] - leggyengébb elõfeltétel
  [Tétel] - változó
  [Tétel] - specifikáció tétele
# SZEKVENCIA
  [Definíció] - definíció
  [Tétel] - programfüggvény
  [Tétel bizonyítással] - levezetési szabály
# ELÁGAZÁS
  [Definíció] - definíció
  [Tétel] - programfüggvény
  [Tétel bizonyítással] - levezetési szabály
# CIKLUS
  [Definíció] - definíció
  [Tétel] - programfüggvény
  [Tétel bizonyítással] - levezetési szabály
# ELEMI PROGRAMOK
  [Tétel] - értékadások
# TÍPUS
  [Tétel] - típusspecifikáció
  [Tétel] - típus
  [Tétel] - megfelelés
# TÍPUSSPECIFIKÁCIÓ
  [Tétel] - Típusspecifikáció tétele
# EGYSZERŰ PROGRAMOZÁSI TÉTELEK
  [Tétel] - összegzés
  [Tétel] - számlálás
  [Tétel] - maximum keresés
  [Tétel] - feltételes maximum keresés
  [Tétel] - lineáris keresések
