„Szoftvertechnológia - Videójegyzet” változatai közötti eltérés

@@ 1 006. sor: / 1 006. sor: @@
 ===== 5. =====
 Algebrai axiómák
-MBR(CRT(),i) = false
-MBR(INS(s,i),j) = If (size(s) < 10 and i == j) true else MBR(s,j) RMV(CRT(),i) = CRT()
-RMV(INS(s,i),j) = If (size(s) < 10 and i != j) INS(RMV((s,j),i) else RMV(s,j) SIZE(CRT()) = 0
-SIZE(INS(s,i)) = If (size(s) < 10 and ~MBR(s,i)) size(s)+1 else SIZE(s)
-//Halmaz, vagyis 1 elem csak egyszer szerepelhet!
+  MBR(CRT(),i) = false
+  MBR(INS(s,i),j) = If (size(s) < 10 and i == j) true else MBR(s,j) RMV(CRT(),i) = CRT()
+  RMV(INS(s,i),j) = If (size(s) < 10 and i != j) INS(RMV((s,j),i) else RMV(s,j) SIZE(CRT()) = 0
+  SIZE(INS(s,i)) = If (size(s) < 10 and ~MBR(s,i)) size(s)+1 else SIZE(s)
+  //Halmaz, vagyis 1 elem csak egyszer szerepelhet!
 == 12. előadás ==