Korisnički Kontrolni Panel
Pogledajte svoj profil
Pogledajte svoje postove
ČPP
Prijavite se

Matematički forum na kojem možete da diskutujete o raznim matematičkim oblastima, pomognete drugima oko rešavanja zadataka, a i da dobijete pomoć kada vam zatreba


















Index stranica RAZNO MATEMATIČKI SOFTVER

Ispitivanje osobina relacije

Ispitivanje osobina relacije

Postod Daniel » Petak, 17. Avgust 2018, 15: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
I do not fear death. I had been dead for billions and billions of years before I was born, and had not suffered the slightest inconvenience from it. – Mark Twain
Korisnikov avatar
Daniel  OFFLINE
Administrator
 
Postovi: 7290
Lokacija: Beograd
Zahvalio se: 3784 puta
Pohvaljen: 3951 puta

Sharuj ovu temu na:

Share on Facebook Facebook Share on Twitter Twitter Share on MySpace MySpace Share on Google+ Google+

Re: Ispitivanje osobina relacije

Postod maja2062 » Nedelja, 19. Avgust 2018, 00:07

Nije user friendly. :)
Trol u najavi
Trol u najavi
 
Postovi: 6
Zahvalio se: 2 puta
Pohvaljen: 0 puta

Re: Ispitivanje osobina relacije

Postod Daniel » Sreda, 22. Avgust 2018, 00:15

Update:
Dodô sam deo za ispitivanje relacija poretka, tj. za prikazivanje:
  • minimalnih elemenata;
  • maximalnih elemenata;
  • najmanjeg elementa;
  • najvećeg elementa.
Primer 1
Primer 2
Primer 3
I do not fear death. I had been dead for billions and billions of years before I was born, and had not suffered the slightest inconvenience from it. – Mark Twain
Korisnikov avatar
Daniel  OFFLINE
Administrator
 
Postovi: 7290
Lokacija: Beograd
Zahvalio se: 3784 puta
Pohvaljen: 3951 puta

  • +2

Re: Ispitivanje osobina relacije

Postod Daniel » Petak, 24. Avgust 2018, 22:52

U novoj verziji, osim nekoliko vizuelnih izmena, dodao sam i određivanje sledećih osobina relacije:
  • linearna relacija – [inlmath](\forall x,y\in X)(x\rho y\;\lor\;y\rho x)[/inlmath]
  • irefleksivna relacija – [inlmath](\forall x\in X)\lnot(x\rho x)[/inlmath]
  • relacija linearnog poretka – akko je refleksivna, antisimetrična, tranzitivna i linearna
  • relacija strogog poretka – akko je irefleksivna i tranzitivna
Budući da su za neki početni nivo bitne samo refleksivnost, (anti)simetričnost i tranzitivnost, a da bi ove „naprednije“ osobine mogle smanjivati preglednost onima kojima nisu potrebne, dodao sam i opciju izbora između osnovnog prikaza (samo R, S, AS, T) i potpunog prikaza (sve osobine relacije, zajedno s gorenabrojanima).

Osnovni prikaz
Potpuni prikaz
I do not fear death. I had been dead for billions and billions of years before I was born, and had not suffered the slightest inconvenience from it. – Mark Twain
Korisnikov avatar
Daniel  OFFLINE
Administrator
 
Postovi: 7290
Lokacija: Beograd
Zahvalio se: 3784 puta
Pohvaljen: 3951 puta


Povratak na MATEMATIČKI SOFTVER

Ko je OnLine

Korisnici koji su trenutno na forumu: Nema registrovanih korisnika i 0 gostiju


Index stranicaTimObriši sve kolačiće boarda
Danas je Sreda, 26. Septembar 2018, 09:36 • Sva vremena su u UTC + 1 sat [ DST ]
Pokreće ga phpBB® Forum Software © phpBB Group
Prevod – www.CyberCom.rs