Matematicka logika (informacija)

[frutabella]

HVALA VAM PUNO!

[frutabella]

https://docs.google.com/spreadsheet/pub?hl=en_US&hl=en_US&key=0ArlWKZO8hXUGdGZGRlc0OEZTaXVpY1A5ME9YWUExZWc&single=true&gid=5&output=html

Da li to znaci da grupa asistenta Iljazovica jos nije ispravljena, ja sam uvjerena da sam dobro rijesila prva dva zadatka 3.skolske zadace, a imam 0 bodova, a vidim da i vecina drugih ima 0, nadam se da je to u pitanju.

[Gost]

i ja se nadam tomu, al sam se isto nadala da ćemo saznati svoje rezultate prije kolokvija da znamo koliko nam bodova treba...al očito nema potrebe

[buzov5]

Do kud je bio prvi kolokvij?
tj od kud pocinje gradivo koje ulazi u drugi?

_________________
tko je ikada naučio od poraza?

[frutabella]

Od prirodne dedukcije dedukcije, s tim da smo uradili jos 7 teorijskih zadataka (s dokazima), prije dedukcije.

[frutabella]

Ako je netko rjesavao kolokvij 2010., molila bih da provjerimo rjesenja 3. i 4. zadatka:


3.zad: Formula nije valjana.
M={a, b, c, d}
fi(R)= { (b,a), (b,b) }
fi(P)={}

4.zad: Formula je ispunjiva.

M={a,b,c,d,e}
fi(R)={ (a,b), (e,d)}
fi(P)={}

Added after 14 minutes:

Usput da provjerim samo, ispit je sutra u 12h jel tako? (kao prosli put)

[Tygy]

3. nje valjana, al ostatak mi je sumljiv
di si ti toliko novih elemenata uvodio/la?????

[frutabella]

Krenemo od toga da je sve laz, to kondicional dijeli na

1. prvu polovicu (s kvatifikatorom POSTOJI) TRUE (ovdje uvodim a)
2. druga polovica (s kvant. SVAKI i POSTOJI) LAZ (ovdje uvodim b)

3. raspis prve polovice s uvedenim a TRUE
4. raspis druge polovice s uvedenim b (ostaje kvantifikator POSTOJI) LAZ

(testiram 4.redak s a i b)
TU DOBIJEM 4 KONACNE FORMULE: P(a,a) LAZ
P(b,b) LAZ
R(b,a) ISTINA
R(b,b) ISTINA
GRANAMO: raspis 3. retka (jer je TRUE kondicional)

PRVA GRANA: kontradikcija

DRUGA GRANA: u ovoj grani imamo BIKONDICIONAL


GRANANJE: 1.grana (uvodim c) KONTRADIKCIJA
2.grana (uvodim d) i testiram za a,b,d


I sad mislim da znam gdje grijesim, ako smo u ovoj prvoj grani uveli c i dosli smo do kontradikcije, onda taj uvedeni c nije element nosaca M?

Odnosno, clanovi od M su oni uvedeni elementi koje smo uveli SAMO U TOJ CITAVOJ GRANI?

Ako da, onda je M={ a, b, d}

[Tygy]

jao... ja sam kriva...
ok ti je zadatak...
malo sam pobrkala pravila
i to samo u tom zadatku... inače to ne radim hehe
aj idem riješit 4.ti pa javim svoje rješenje

[piccola]

4. je dobar, bar je i meni takvo rješenje

btw. da,kolokvij je u 12h

[frutabella]

I btw, provjerila sam ono svoje pitanje, istina je.

U skup M uvodimo elemente koji su SAMO u toj grani, u kojoj nije doslo do kontradikcije.


Hajde molim te vidi, 5.zad iz 2009.

Katastrofis...puno raspisivanja, duga jedna klobasa, i na kraju jedno grananje koje se brzo rijesi i dolazim do rjesenja da FORMULA NIJE ISPUNJIVA.

Added after 5 minutes:

Da li se 6.zadatak isto glavnim testom rjesava? To da nije valjana sigurno dokazem glavnim testom, dobit cemo jednu granu koja je istinita.

A da je istinita na svim konacnim R- strukrutama, da li to znaci da su sve kombinacije (uvedenih elemenata) istinite?

Npr, ako smo uveli elemente a,b,c onda R(a,b), R(b,a), R(a,c), R(c,a), R(b,c), R(c,a) su TRUE.

Added after 11 minutes:

Rjesavajuci zadatak glavnim testom dolazim do zakljucka da bi ovo zadnje znacilo, da je istinita na svim konacnim R-strukturama, ako je

R(a,a), R(b,b) (bez kombinacija) -----> TRUE

[Tygy]

da, 5 iz 2009 nije ispunjiva
a za 6 ne znam...
znam pokazat da nije valjana...
kaj znači uopće dodatak istinita na svim {r} strukturama...

[Gost]

hoćemo li i mi u drugoj grupi uskoro dobiti rezultate školskih zadaća???
i možda zna tko kad su rezultati kolokvija, ne sjećam se dal je pisalo na kolokviju...

[Gost]

možda zna netko kad će rezultati?

[moni_poni]

sutra u 12h

[Gost]

hoće rezultati biti i na netu?

[ja666]

kako funkcionira popravni kolokvij? koliko bodova ima? koliko moramo skupit da bi smijeli pristupit usmenom? kad će biti?

[moni_poni]

Znam samo da će bit u srijedu, 1.2.

[Gost]

nadam se da vrijedi ovo što tu piše
http://web.math.pmf.unizg.hr/~vukovic/dodiplomska_nastava.htm

[Gost]

ima netko primjer popravnog kolokvija?