Ispitivanje osobina relacije
Poslato: Petak, 17. Avgust 2018, 14:42
Dosad smo imali na forumu zadatke u kojima se za određene elemente skupa i zadate relacije tražilo da se ispitaju osobine relacije – refleksivnost, (anti)simetričnost, tranzitivnost.
Pre desetak dana dođoh na ideju da bi bilo dobro imati jedno online programče u kojem bi korisnik mogao da unosi elemente i formira uređene parove koji predstavljaju relaciju, a da mu se zatim prikaže za svaku od traženih osobina relacije da li je ispunjena ili ne. Na ovaj način, korisnik može isprobavati s dodavanjima i uklanjanjima elemenata skupa ili uređenih parova, posmatrajući na koji način se time menjaju određene osobine relacije, što bi mu moglo na praktičnim primerima približiti pojmove refleksivnosti, (anti)simetričnosti i tranzitivnosti, i olakšati učenje.
Program sam danas priveo kraju, tako da je još uvek u „beta-fazi“ i testiram ga na eventualne bagove. Tako da, ako i vi uočite neki, molim vas, prijavljujte – pomoglo bi mi.
Link programa
Evo i nekih karakterističnih primera:
Jeste S, nije ni R ni A ni T
Jeste R, A, T, nije S
Jeste i R i S i A i T (pošto je relacija ekvivalencije, prikazuje i klase ekvivalencije)
Jeste R, S, T (relacija ekvivalencije), a nije A
Puna relacija
Relacija ekvivalencije s pet klasa ekvivalencije
Pre desetak dana dođoh na ideju da bi bilo dobro imati jedno online programče u kojem bi korisnik mogao da unosi elemente i formira uređene parove koji predstavljaju relaciju, a da mu se zatim prikaže za svaku od traženih osobina relacije da li je ispunjena ili ne. Na ovaj način, korisnik može isprobavati s dodavanjima i uklanjanjima elemenata skupa ili uređenih parova, posmatrajući na koji način se time menjaju određene osobine relacije, što bi mu moglo na praktičnim primerima približiti pojmove refleksivnosti, (anti)simetričnosti i tranzitivnosti, i olakšati učenje.
Program sam danas priveo kraju, tako da je još uvek u „beta-fazi“ i testiram ga na eventualne bagove. Tako da, ako i vi uočite neki, molim vas, prijavljujte – pomoglo bi mi.
Link programa
Evo i nekih karakterističnih primera:
Jeste S, nije ni R ni A ni T
Jeste R, A, T, nije S
Jeste i R i S i A i T (pošto je relacija ekvivalencije, prikazuje i klase ekvivalencije)
Jeste R, S, T (relacija ekvivalencije), a nije A
Puna relacija
Relacija ekvivalencije s pet klasa ekvivalencije