Logika

[Charmed]

Jel tko rješavao zadatke iz zadaća od lani?
Ako je,jel bi bio tako dobar i stavio rješenja na net....
Hvala!

[RonnieColeman]

Piše li se danas kratki test na vježbama i jeli termin u 15:15 ili neko drugo vrijeme? (nisam bio na prošlim)

_________________
...He never had looked less like captain of any-thing, even his own soul.

[kika]

Da li mi moze netko reci do kud smo stigli na predavanjima iz logike?

Unaprijed hvala

[CrniVG]

Riješili smo Preneksnu normalnu formu, stali smo na računu teorija prvog reda.... ostale su nam uglavnom samo neke formalnosti riješit iz toga i teorem potpunosti.

_________________
69 - jedini prost broj koji ima više od dva djelitelja

[mini]

ja bih molila, ako ima koja dobra duša sa skenerom, da skenira vježbe od zadnja dva puta . otišla sam kući, a zaboravila to fotokopirat
unaprijed hvala

[fffffffuuuuuu]

Pozdrav,

Znam da nije pristojno tek tako anonimno doci na forum na kojem nisi aktivan, ali....
Naime ja imam par pitanja, a uslijed cinjenicnog stanja da nisam bio na zadnjem (i jos mnogo njih prije kolokvija xD) predavanju mene zanima sto ce biti na ovoj 3. skolskoj zadaci tj. izgleda da bi trebao biti glavni test za logiku prvog reda, a ja ovdje ( http://web.math.hr/~veky/B/ ) jednostavno nisam nasao primjer trece zadace ili sam vrlo vjerojatno corav.
Osam toga nisam skuzio nakon nekih 15-tak minuta gledanja kako rijesiti u sustavu prirodne dedukcije izvod za !P -> (QvR) |- (PvQ) v R
Jedina ideja koja mi pada jest da pretpostavim !P, ali onda ne mogu nikako to zatvoriti pa sad ako je netko dovoljno dobar da mi objasni gdje grijesim

Fala lijepa i dobro jutro

[ivo34]

[**dreamer**]

@ffffuuuu: sto se tice 3. blica ne znam ti nista... al brijem da ce biti samo glavni test. To se pise na zadnjim vjezbama, jel?

Sto se tice zadatka.. nesto sam pokusavala pomocu 3. trika i dobila sam sto se trazi, al mi je nekak cudno... tj. nisam ziher da valja...

[/code]

_________________
You may say that I’m dreamer but I’m not the only one

[komaPMF]

zar nije greška gore desno kod eliminacije disjunkcije dok se iz QVR dobije Q ?

_________________
Granice mogućega možemo odrediti samo onda ako ih prijeđemo odlaskom u nemoguće

[insane_raver]

pozdrav
dal negdje se mogu vidjeti rezultati svih zadaća?
Da li je treća već ispravljena?

Hvala!

[lyra]

za one koji su bili na zadnjem predavanju - jel profesor možda rekao otprilike šta bi od teorije moglo doć na kolokviju? hoće biti i dokaza (i jel spomenuo neki koji bi se mogao pojaviti)?

btw, insane_raver, ovdje su ti rezultati prve dvije zadaće, a bit će valjda i rezultati treće, jednog dana

_________________
- Hey, Rachel, how many hipsters does it take to screw in a lightbulb?
- Gee, Jess, how many?
- You don't KNOW?

[Jaja]

zna li tko što smo točno obradili iz skripte? Što točno ulazi u kolokvij? Je li profesor spominjao kad bi bili usmeni? Je li usmeni obavezan ili postoji mogućnost podjele ocjena na temelju bodova?

_________________
Don't worry, be happy!

[Charmed]

Da, jel zna netko do kud smo došli sa predavanjima...Hvala!

[kyra29]

jel mozda profesor sta spomenuo na predavanju dal je bitan (za kolokvij,teorija) dio neklasicne logike sudova? (kripkeov ovkir itd.)

[BitterSweet]

rezultati su počeli stizati tj ispravljeni su 3. i 4. zadatak

_________________
"Give me sweet lies, and keep your bitter truths." ~ Tyrion Lannister

[**dreamer**]

stigli svi rezultati.
da li netko zna kada su zalbe i popravni?
i da li ima neki uvijet za popravni?

_________________
You may say that I’m dreamer but I’m not the only one

[vini]

UVJET ZA POPRAVNI: 10 bodova ukupno na oba redovna kolokvija i školskim zadaćama

Kad su zalbe: nemam pojma

[Jaja]

zna li tko kad bi trebali biti usmeni i hoće li biti neki popis na profesorovim vratima da se zapisemo?

_________________
Don't worry, be happy!

[komaPMF]

žalbe su sutra u 10h

_________________
Granice mogućega možemo odrediti samo onda ako ih prijeđemo odlaskom u nemoguće

[Gost]

Kad je popravni?