1. gyakorlat

Email:

Követelmények

Gyakorlati jegy: négy zárthelyi és a nagy beadandó jegyeinek átlaga

Típusértékek: a típussal jellemzett adat lehetséges értékei

Típusműveletek: A típusérték-halmazon értelmezett, típusértékekre megfogalmazott feladatok

Típus-reprezentáció: típusértéket helyettesítő elemek

Típus-implementáció: Típusműveleteket megoldó programok

Típus invariáns - Az értékek helyetessítő elemek, és azok megszorításai

Invariáns nem változik

Ábrázolás két egész szám hányadosaként: \(\frac{x}{y}\)

Nullával nem lehet osztani \(\Rightarrow y \neq 0\)

\(x, y \in \Z\)

Invariáns: \(y \neq 0\)

Alkalmas egy rendszer vagy folyamat viselkedésének és struktúrájának vizuális megjelenítésére
2 fő csoportra oszthatók: strukturális diagramokra és működési diagramokra

Konstruktor: Minden osztálynak van Konstruktor

Függvény vs. metódus

A függvény mindenfélét "intézhet"
Egy metódus mindig az osztály ügyeit "intézi" (az osztály adattagjait használja)