Matematicka logika (informacija)

[Gost]

Može li netko tko je bio na predavanjima u petak reći dokle smo stigli i koje gradivo ulazi u kolokvij? Hvala

[štangica]

na stranici profesora imaš sve prezentacije koje su obrađene na predavanjima i to ti sve ulazi u kolokvij...mislim da smo došli do kraja skripte...možda nismo tipa zadnjih 5-10 stranica obradili...uglavnom usporedi si sa prezentacijama šta ti je zadnje...

[Ivecus]

[Tygy]

jel još vrijedi da se treći blic moze pisat u utorak?

[eta]

Kada se piše 3. bilc u grupi N-Ž ? u cetvrtak na vježbama ili je termin promijenjen?

[Gost]

S obzirom da je tako bilo do prije prošle godine, ako asistenti ovo čitaju, molin (vjerojatno u ime veliko broja studenata) da se u kolokvij stave 2 lakše prirodne dedukcije, nego jedna teza.
S obzirom da je profesor iz logike stavia kolokvij iz ML i stat isti dan, bilo bi u redu da nam se bar nekako izađe u susret.

[Atomised]

[Gost]

Ja onu od prošle godine ne znam rijesit?
Ako ti nije problem jel mi možeš napisat rjesenje?

[GCOX]

Eh mene zanima da li je dopusteno kod dokazivanja (neke tvrdnje) glavnim testom prvo formulu pretvorit u prenexnu normalnu formu pa onda ic na glavni test???
cini mi se da je takvin nacinon olaksano rjesavanje (pod uvjetom da se zna pretvarat u PNF)

[Tomy007]

Kako da riješim ove dvije prirodne dedukcije:

1) iz (P->Q)->P slijedi P (4. zadatak iz 2008.)

2) iz praznog skupa slijedi (P->Q) V (Q->P) (3. zad pod b iz 2009)

Kako da dokažem da formula nije valjana ali je istinita na svim {R}-strukturama (to je 6. zadatak iz 2009.)

[Atomised]

[Charmed]

Rješavam kolokvij iz 2008, 5. zadatak, i sad u jednom koraku imam P(x,x) netočan - što se s tim radi točno? Mislim kako se gleda? Pošto se za to ne uvode niti varijable, niti se testira...u knjizi nema riješenog takvog primjera, a mi sa asistentom Iljazovićem nismo također radili takav zadatak...(nadam se da takvo nešto neće doći u kolokviju...)

[Tomy007]

[dosed_girl]

jel ima neko ovdje ko bi znao dokazati barem jednu tvrdnju od onih 16 iz leme sa zadnjeg predavanja (lema o pravilima prijelaza za kvantifikatore) ?

profesor je rekao da bi to lako moglo doći u kolokviju u teoretskom zadatku koji nosi 4 boda, a ja, koju god sam tvrdnju išla dokazat sam zapela

ako neko uči po skripti ta se lema nalazi na 146. strani (lema 2.29)

fala!

_________________
a part of me gets sick / a part of me gets sore

[Gost]

jel zna netko sta moze doc od teorije iz one zadnje cjeline koju smo radili (racun teorija prvog reda) skroz zadnji sat? to smo skroz brzo prosli, a nema toga malo

[dosed_girl]

onih zadnjih par slajdova s predavanja (skica dokaza) - to sigurno neće doći jer nismo niti radili.
dokaz teorema 10 i korolara 1 isto sigurno neće doći.

to je sve čeg se ja sjećam da je prof rekao da sigurno neće doći...

_________________
a part of me gets sick / a part of me gets sore

[Gost]

za 3 zadatak pd b u kolokviju
http://web.math.hr/~veky/B/ML.k2z.09-02-03.pdf

zanima me mogu li ja izvest P->Q i onda samo stavit introdukciju disjunkcije za (Q->P) i dobijen trazeno??

ja dobijem P->Q i stavin
-----------
(p->Q) V (Q->P)

[Charmed]

Da li mi netko može reći da li je ovo dobro? (Nekako imam dojam da nije...)

[Sphiro]

Jesmo mi uopće na vj radili preneksne forme, tj može li na to doć na kolokviju???

[Kika123]

nismo na vježbama, prof je pokazivao na predavanjima...i reko je kao da će to biti u kolokviju