[es] - [Pitanje] Oznake, kvantifikatori

Sonec

Član broj: 284879
Poruke: 892

+332 Profil

^{08.01.2012. u 22:03 - pre 162 meseci}

Mozda je tema bespotrebna, al ipak, neka, bolje da pitam ovako nego pojedine clanove preko PM.
Moj profesor Algebre 1 Zarko Mijajlovic koristi neke rekao bih drugacije "kvantifikatore" (mada, vise podsecaju na logicke veznike), tacnije, umesto kvantifikatora

on koristi

, a umesto

on pise

, evo, da ilustrujem primerom:
evo kako bi npr. glasila Lema o ostatku

, sto bi se citalo: za svaki ceo broj x i za svaki ceo broj m razlicit od nule postoje celi brojevi q i r takvi da vazi....
Ako jos npr. znamo u kojem se skupu nalaze sve promenljive koje ucestvuju, onda se samo pisu one ispod "kvantifikatora", bez

, npr.

(a znamo da su x i y iz Z)
Mislim da je jasno znacenje ovih "znakova", u mnogome me podsecaju (ja verujem i da to jeste jedan od razloga) na logicke veznije

(moraju svi da ispunjavaju) i

(ne moraju svi).
Koju su danas vise u upotrebi kvantifikatori (u Algebri i Logici), msm da su

, al da pitam ipak. I ako mozete da mi nesto vise kazete o ovim "kvantifikatorima" koje sam ja naveo da profesor koristi, ko ih je prvi poceo da koristi, dobro, ne mora bas ko je prvi, al od kada se oni koriste i slicno.
Dok sam trazio

kodove za ove kvantifikatore, sreo sam jos dva

. Ako moze neko da mi kaze njihovo znacenje. Mislim da sam

sreo kod definisanja pojma Bipartitivnog grafa, al ne mogu sad da garantujem.

I da, cisto jos jedna informacija, ne moze da skodi, nama je profesor (gore spomenuti) rekao da nije bas najtacnije kada se npr. napise neki izraz, pa se onda stavi npr.

. Da tako mnogi pisu, al da ne bi trebalo, jer kvantifikator

ovde se vezuje za

, al onda mora da to stoji, pa onda da se otvori zagrada gde se ponovo pojavljuje x....Umesto toga, nama je profesor u tim situacijama pisao (kvantifikator) recimo: za svako

Nemojte me hvatati za Lemu koju sam naveo, mozda sam neke detalje izostavio, al nije to sustina pitanja.

Leonardo da Vinči

Nema istine u onim naukama u kojima se matematika ne primenjuje.

Milorad Stevanović

Bog postoji zato sto je matematika neprotivurečna.

Odgovor na temu

darkosos
Darko Šoš
Beograd

Član broj: 5053
Poruke: 1131
*.ptt.rs.

+64 Profil

Re: [Pitanje] Oznake, kvantifikatori

^{09.01.2012. u 07:56 - pre 162 meseci}

Moram priznati da prvi put vidim te oznake, mada je pomenuti profesor i meni drzao logiku. Ali nekako se prirodno namece interpretacija razvijanja logickog znaka, npr:

kao disjunkcija izraza u zagradi po svim celim brojevima q i r, nesto kao

itd, ko zeli moze da nastavi :)

Odgovor na temu

Nedeljko
Nedeljko Stefanović

Član broj: 314
Poruke: 8704
*.3gnet.mts.telekom.rs.

+2801 Profil

Re: [Pitanje] Oznake, kvantifikatori

^{09.01.2012. u 08:12 - pre 162 meseci}

Pisanje

nije pravilno, već

. Stvar je u tome da formula može biti proizvoljno složena, sa više kvantora koji ne moraju biti svi na početku i da moraju postojati pravila formiranja formula.

Što se tiče oznaka koje navodiš, njihova upotreba je potpuno opravdana kada treba navesti formulu koja je konjunkcija ili disjunkcija više formula. Tako je recimo pravilnije napisati

, nego

da čitalac ne bi pogađao šta treba da stoji na mestu tru tačkice. Sa druge strane, zapis

ne predstavlja iskaznu formulu, a zapis

ne predstavlja predikatsku formulu prvog reda, već formulu iz infinitarnih logika sa beskonačnim konjunkcijama.

Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.

Odgovor na temu

Sonec

Član broj: 284879
Poruke: 892

+332 Profil

Re: [Pitanje] Oznake, kvantifikatori

^{11.01.2012. u 17:53 - pre 161 meseci}

Da, Nedeljko, slazem se da je pogodnije ovako zapisati kada treba navesti formulu koja je konjunkcija ili disjunkcija vise formula. Al profesor ne koristi ove oznake kod takvih formula, jer ih mi i ne radimo na Algebri 1, vec njima zamenjuje kvantifikatore

. Mozda sam ja naveo los primer, al eto, danas sam pazljivo slusao sta profesor kaze kada napise takav znak, i on ih izgovara kao kvantifikatore.

Verujem Darko, a tako sam ih i ja shvatio, da se na taj nacin raspisuje neka formula koja je data :)

Leonardo da Vinči

Nema istine u onim naukama u kojima se matematika ne primenjuje.

Milorad Stevanović

Bog postoji zato sto je matematika neprotivurečna.

Odgovor na temu

Nedeljko
Nedeljko Stefanović

Član broj: 314
Poruke: 8704
*.3gnet.mts.telekom.rs.

+2801 Profil

Re: [Pitanje] Oznake, kvantifikatori

^{11.01.2012. u 19:36 - pre 161 meseci}

Ako tako piše baš kvantifikatore, a ne iskazne formule finitarne i infinitarne, onda je to njegov lični fazon i ne treba oko toga da se uzbuđuješ.

Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.

Odgovor na temu

Sonec

Član broj: 284879
Poruke: 892

+332 Profil

Re: [Pitanje] Oznake, kvantifikatori

^{11.01.2012. u 19:57 - pre 161 meseci}

Da, bas tako pise kvantifikatore.

Verovatno jeste njegov fazon kao sto kazes, al on nam je vec vise puta napominjao neke finese oko zapisivanja, i uvek pazi kako se izrazava, vodi racuna, pa sam pomislio da se tako mozda pise u naucnom svetu, il negde van, mada mi je bilo cudno.

Leonardo da Vinči

Nema istine u onim naukama u kojima se matematika ne primenjuje.

Milorad Stevanović

Bog postoji zato sto je matematika neprotivurečna.

Odgovor na temu

petarm
Petar Mali
Zrenjanin

Član broj: 20220
Poruke: 1879
*.mediaworksit.net.

+33 Profil

Re: [Pitanje] Oznake, kvantifikatori

^{11.01.2012. u 21:39 - pre 161 meseci}

A zasto njega direktno to nisi pitao?

http://www.svijetfizike.com/

Odgovor na temu

Sonec

Član broj: 284879
Poruke: 892

+332 Profil

Re: [Pitanje] Oznake, kvantifikatori

^{11.01.2012. u 21:49 - pre 161 meseci}

Zato sto nisam hteo da mu dosadjujem. On nam je ispricao dosta mimo predmeta, ne mora jos meni posebno da objasnjava. A i nisam tip koji smara profesore i asistente, cutim i radim.

Leonardo da Vinči

Nema istine u onim naukama u kojima se matematika ne primenjuje.

Milorad Stevanović

Bog postoji zato sto je matematika neprotivurečna.

Odgovor na temu

Nedeljko
Nedeljko Stefanović

Član broj: 314
Poruke: 8704
*.3gnet.mts.telekom.rs.

+2801 Profil

Re: [Pitanje] Oznake, kvantifikatori

^{11.01.2012. u 23:54 - pre 161 meseci}

Vrlo pogrešno! Profesori i asistenti kod nas imaju ogroman problem kod prenošenja znanja na studente sa tim što studenti ćute i ne pitaju, pa predavač nema nikakvu povratnu informaciju o njihovom znanju do pismenog ispita, kada je kasno. U Americi je potpuno uobičajeno da se studenti javljaju i bez ikakvog kompleksa postavljaju svakakva pitanja, pa i ona "najgluplja", ali ovo nije Amerika, nego Srbija i takve stvari je praktično nemoguće iskoreniti, čak i kod onih studenata kao što si ti, koji žele nešto da nauče, a ne samo da otaljaju studije.

Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.

Odgovor na temu

Sonec

Član broj: 284879
Poruke: 892

+332 Profil

Re: [Pitanje] Oznake, kvantifikatori

^{11.01.2012. u 23:59 - pre 161 meseci}

Ne, nisam o tome mislio, mislio sam na drugu vrstu smaranja. Ja licno uvek pitam kada mi nesto nije jasno. Al da pitam zasto je tamo P, a nije B, a moze i P i B, to sigurno necu. Postoje takvi ljudi kod nas, i oni nisu bas na dobrom glasu. Treba znati kad pitati, a ne samo da nesto pitas da bi pitao.

Leonardo da Vinči

Nema istine u onim naukama u kojima se matematika ne primenjuje.

Milorad Stevanović

Bog postoji zato sto je matematika neprotivurečna.

Odgovor na temu

Sonec

Član broj: 284879
Poruke: 892

+332 Profil

Re: [Pitanje] Oznake, kvantifikatori

^{01.03.2012. u 20:54 - pre 160 meseci}

Danas sam imao usmeni iz Algebre 1 i pitao sam profesora za gore spomenute "kvantifikatore". On mi je rekao da to nisu neki njegovi simboli, vec da se oni koriste u logici i algebri, i da ih on koristi jer su zgodni za zapis. Kao primer naveo mi je knjigu

K.Kuratowski, A.Mostowski, Set theory, PWN, Warszawa, 1976.

Malo sam izguglao i nasao sam spomenutu knjigu i zaista je tako.

Leonardo da Vinči

Nema istine u onim naukama u kojima se matematika ne primenjuje.

Milorad Stevanović

Bog postoji zato sto je matematika neprotivurečna.

Odgovor na temu