Matematicka logika (informacija)

[RonnieColeman]

Što je danas ujutro rađeno na predavanjima, dokud dođoste

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

[insane_raver]

[RonnieColeman]

Dakle niste daleko dospjeli, propozicija tvrdi da je skup svih riječi konačnog/prebrojivog alfabeta prebrojiv.
Ako se radi o toj propoziciji što ste radili dotad - samo pričali?

Jeste li s profesorom sklopili dogovor o početku nastave u 8:15 ili 8:30 ili slično vrijeme?

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

[Tygy]

hoće li ovi slajdovi s predavanja osvanuti na netu? ...ili su osvanuli, a ja ih ne vidim nigdje...

[RonnieColeman]

Vjerojatno hoće ali ne sasvim brzo, naime profesor je u 11 mjesecu prošle godine izdao knjigu MATEMATIČKA LOGIKA pa će vjerojatno pričekati još malo da nekolicina kupi knjigu.

Na stranicama profesora zasad nema slideova:
http://web.math.hr/~vukovic/dodiplomska_nastava.htm

Btw, dokud ste danas došli?

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

[muttley]

Da li ja ne vidim dobro ili je nestao link za skriptu na veky-jevoj stranici?

[Atomised]

Nije do profesora ili asistenta nego do izdavača knjige, barem je tako bilo prošle godine.

[insane_raver]

[Charmed]

Ima skripte od lani na rapidshare-u za skinuti

[finalni]

Budući da nema više nastave iz metaheuristika, demonstrature su odsad utorkom od 16 do 18, čekam ispred oglasne ploče prvih 15 minuta oba sata (nakon tog sam u praktikumu 2, bar ovaj prvi sat), a ako vam taj termin ne odgovara, javite se na mail (nadzaga na studentu) pa se možemo dogovoriti za neki drugi

_________________
Nikola Adžaga
Građevinski fakultet, Sveučilište u Zagrebu

[Zvjezdica]

Do kuda smo danas stigli sa predavanjima i da li je profesor rekao nešto posebno vezano za kolokvij? Hvala!

[frances]

Nije bilo profesora, mijenjao ga je asistent Iljazovic. Zadnji je bio primjer primjene tm o kompakrnosti na grupe. Nije spominjao kolokvij.

[Tygy]

propustila sam podatak...kad će bit rezultati iz blica?
i, hoće li ovo od jučer s predavanja ući u kolokvij?

[insane_raver]

blitz kod asistenta Čačića će biti ili preko vikenda, ili do kolokvija, kak je on prenio.

[nike]

Može li netko objasnit zadatke iu kolokvija 2009 po rednim brojem 2,,4,5?

http://121083850337004081-a-1802744773732722657-s-sites.googlegroups.com/site/mathnastava/home/matematicka-logika/proslogodisnjikolokviji/ML.k1z.09-11-03.pdf?attachauth=ANoY7covPAYDbbX9ASR52lbJ28u81y8JP4HEaQbCZsVQfm4i3KZhiEYF6QD2RAgEK2Nqdzz9IoWanMm_Osi2kuaOFqaXj9xzBVpEU90z8fjyLvtJVLIbOZ7v84HiKHMhF1A5rR1WlFUQ9jutCIsTrhZZhIsLGBmr2yA6K7oJrbVVFaDc8YEBFNSKq2CU5v0QJOUyg805r-WiUI5NCiyWbtgkwWjW7X2F7lmZB2pKATv0odegnqKYefWWEXS-zLFJ8AfDFVuHuHXIvwioykQFTxTkdOhOPln4Rg%3D%3D&attredirects=0

Zadatak dva smo radili sličan na vježbama i išao sam analogno kao u njemu,al kad dolazim pred kraj neznam kaj dalje..Kaj okvirno treba napravit?

[Tygy]

što se tiče drugog zadatka, poprilično je drukčiji od onog na vježbama....
vježbe: postoji li n tako da za svaki F postoji KNF td.....
kolokvij: postoji li n tako da svaka F ima DNF td ....
ja bi rekla da je trik pitanje jer valjana formula nema DNF , s minimalno jednim literalom u elem. konjukciji (n>0) i to je već kontraprimjer što god se dalje tražilo...
dakako, ako sam krivo shvatila, rado bi da me netko ispravi

[frances]

krivo. valjana formula ima DNF(npr. P ili -P), ali nema savrsenu DNF.
i zadatak je posve analogan onome s vjezbi. samo treba postupak provjeravati na F oblika P1 i P2 i... i Pn i Pn+1. umjesto N interpretacije uzeti J itd. takodjer se dobije da ne postoji.

edit:
@nike: za 4. zadatak trebas napraviti semanticku tablicu.
za DNF uzimas retke u kojima je ispalo 1 i tu negiras one var. kod kojih je 0
za KNF uzimas retke gdje je 0 i negiras one var.koje su 1
posto nema to raspisano, a neda mi se opet, imas na profesorovim slajdovima primjer dobro objasnjen

[Tygy]

to mi u 2 ujutro nije palo na pamet....

[nike]

Kako zadnji zadatak? jel to treba riješit indukcijom po složenosti?
Ako bi netko mogao napiat barem početak ...

[Tomy007]

Može li mi samo netko objasniti jedan korak u dokazu teorema dedukcije. Promatramo kada je Formula G nastala uporabom modus ponensa iz formula Fi i Fj. Ne shvačam kako se može uzeti da je npr. Fi=Fj --> G , zbog čega mi to smijemo?