Prethodna tema :: Sljedeća tema |
Autor/ica |
Poruka |
Phoenix Forumaš(ica)
Pridružen/a: 15. 05. 2010. (18:46:07) Postovi: (164)16
Sarma: -
|
|
[Vrh] |
|
Megy Poe Forumaš(ica)
Pridružen/a: 05. 11. 2009. (23:14:52) Postovi: (122)16
|
|
[Vrh] |
|
fireball Forumaš(ica)
Pridružen/a: 07. 10. 2005. (18:49:17) Postovi: (4AB)16
Spol:
Lokacija: s rukom u vatri i nogom u grobu
|
|
[Vrh] |
|
fireball Forumaš(ica)
Pridružen/a: 07. 10. 2005. (18:49:17) Postovi: (4AB)16
Spol:
Lokacija: s rukom u vatri i nogom u grobu
|
|
[Vrh] |
|
kobila krsto Forumaš(ica)
Pridružen/a: 02. 07. 2009. (16:55:08) Postovi: (6A)16
|
|
[Vrh] |
|
fireball Forumaš(ica)
Pridružen/a: 07. 10. 2005. (18:49:17) Postovi: (4AB)16
Spol:
Lokacija: s rukom u vatri i nogom u grobu
|
|
[Vrh] |
|
PNF Gost
|
Postano: 22:32 sri, 29. 1. 2014 Naslov: preneksna normalna forma... |
|
|
Moze li pomoc sa rjesavanjem PNF, točnije nije mi jasno kada mjenjamo vraijable a kada nije potrebno...
npr ovaj primjer...
(∀x∃yR(x,y)∧∃y∀xP(y,z))→∃x∀yQ(x,y))
ili
(∃x∀yA(x,y)∧∃B(x))→∀zC(z)
:oops:
hvala
Moze li pomoc sa rjesavanjem PNF, točnije nije mi jasno kada mjenjamo vraijable a kada nije potrebno...
npr ovaj primjer...
(∀x∃yR(x,y)∧∃y∀xP(y,z))→∃x∀yQ(x,y))
ili
(∃x∀yA(x,y)∧∃B(x))→∀zC(z)
hvala
|
|
[Vrh] |
|
yellow submarine Forumaš(ica)
Pridružen/a: 01. 10. 2010. (19:28:03) Postovi: (34)16
Spol:
|
|
[Vrh] |
|
Megy Poe Forumaš(ica)
Pridružen/a: 05. 11. 2009. (23:14:52) Postovi: (122)16
|
|
[Vrh] |
|
fireball Forumaš(ica)
Pridružen/a: 07. 10. 2005. (18:49:17) Postovi: (4AB)16
Spol:
Lokacija: s rukom u vatri i nogom u grobu
|
|
[Vrh] |
|
Megy Poe Forumaš(ica)
Pridružen/a: 05. 11. 2009. (23:14:52) Postovi: (122)16
|
Postano: 20:35 sri, 5. 2. 2014 Naslov: |
|
|
[quote="fireball"][quote="Megy Poe"][quote="yellow submarine"]Ako netko nije znao- na vratima od profesorovog kabineta je popis za termine usmenih.
Ponuđeni termini su ovaj četvrtak i petak, te ponedjeljak idući tjedan.
S tim da su svi termini u ponedjeljak već zauzeti.
:?[/quote]
Wow, pa kaj su uvidi već bili nekad?[/quote]
jup, jucer nakon objave rezultata u 104, a papir stoji na vratima od prekjucer ako se ne varam[/quote]
Baš lijepo kaj su to stavili na internet, ko da studenti svaki dan paradiraju po fakultetu.
fireball (napisa): | Megy Poe (napisa): | yellow submarine (napisa): | Ako netko nije znao- na vratima od profesorovog kabineta je popis za termine usmenih.
Ponuđeni termini su ovaj četvrtak i petak, te ponedjeljak idući tjedan.
S tim da su svi termini u ponedjeljak već zauzeti.
|
Wow, pa kaj su uvidi već bili nekad? |
jup, jucer nakon objave rezultata u 104, a papir stoji na vratima od prekjucer ako se ne varam |
Baš lijepo kaj su to stavili na internet, ko da studenti svaki dan paradiraju po fakultetu.
|
|
[Vrh] |
|
fireball Forumaš(ica)
Pridružen/a: 07. 10. 2005. (18:49:17) Postovi: (4AB)16
Spol:
Lokacija: s rukom u vatri i nogom u grobu
|
|
[Vrh] |
|
Gost
|
|
[Vrh] |
|
aptx Forumaš(ica)
Pridružen/a: 11. 01. 2013. (00:15:01) Postovi: (15)16
|
|
[Vrh] |
|
fireball Forumaš(ica)
Pridružen/a: 07. 10. 2005. (18:49:17) Postovi: (4AB)16
Spol:
Lokacija: s rukom u vatri i nogom u grobu
|
|
[Vrh] |
|
Gost
|
|
[Vrh] |
|
fireball Forumaš(ica)
Pridružen/a: 07. 10. 2005. (18:49:17) Postovi: (4AB)16
Spol:
Lokacija: s rukom u vatri i nogom u grobu
|
Postano: 0:40 uto, 11. 2. 2014 Naslov: |
|
|
[quote="Anonymous"]Jel ima netko neka saznanja o izgledu popravnog kolokvija? Teorija, zadaci, bodovi, jel je za očekivat šablonske zadatke i tako to? :D[/quote]
20 bodova teorija, 40 zadaci (8 zadataka), kao trebalo bi biti knf-dnf, dedukcija, glavni test za log sudova, glavni test za log prvog reda, nesto sa karakteristicnim skupovima, nesto sa tm o kompaktnosti, nesto sa modelima, nesto sa slozenosti formula. e sad, sta ce od toga (i u kojoj kolicini) biti neznam (mislim, to je cijelo gradivo na kraju krajeva), ali takav odg ne iznenaduje jer nam ipak asistenti nesmiju reci zadatke, pa daju poprilicno politicki orjentirane odgovore na pitanje 'sto ce biti u kolokviju' :)
sudeci prema proslogodisnjim popravnim ne mogu doci do zakljucka o kolicini odredenog tipa zadatka (sablonski vs 'teorijski') jer ima svacega, jedino sto znam je da ce biti 20+40 podjela po bodovima
Anonymous (napisa): | Jel ima netko neka saznanja o izgledu popravnog kolokvija? Teorija, zadaci, bodovi, jel je za očekivat šablonske zadatke i tako to? |
20 bodova teorija, 40 zadaci (8 zadataka), kao trebalo bi biti knf-dnf, dedukcija, glavni test za log sudova, glavni test za log prvog reda, nesto sa karakteristicnim skupovima, nesto sa tm o kompaktnosti, nesto sa modelima, nesto sa slozenosti formula. e sad, sta ce od toga (i u kojoj kolicini) biti neznam (mislim, to je cijelo gradivo na kraju krajeva), ali takav odg ne iznenaduje jer nam ipak asistenti nesmiju reci zadatke, pa daju poprilicno politicki orjentirane odgovore na pitanje 'sto ce biti u kolokviju'
sudeci prema proslogodisnjim popravnim ne mogu doci do zakljucka o kolicini odredenog tipa zadatka (sablonski vs 'teorijski') jer ima svacega, jedino sto znam je da ce biti 20+40 podjela po bodovima
|
|
[Vrh] |
|
A_je_to Forumaš(ica)
Pridružen/a: 19. 02. 2009. (16:51:22) Postovi: (6D)16
Spol:
|
|
[Vrh] |
|
fireball Forumaš(ica)
Pridružen/a: 07. 10. 2005. (18:49:17) Postovi: (4AB)16
Spol:
Lokacija: s rukom u vatri i nogom u grobu
|
|
[Vrh] |
|
fireball Forumaš(ica)
Pridružen/a: 07. 10. 2005. (18:49:17) Postovi: (4AB)16
Spol:
Lokacija: s rukom u vatri i nogom u grobu
|
|
[Vrh] |
|
|