Search
 
 
  Engleski
 
 
 
Open in this window (click to change)
Forum@DeGiorgi: Početna
Forum za podršku nastavi na PMF-MO
Login Registracija FAQ Smajlići Članstvo Pretražnik Forum@DeGiorgi: Početna

Pitanje: Sto je "preneksna normalna forma"?
WWW:

Moja sarma
 
Započnite novu temu   Odgovorite na temu   printer-friendly view    Forum@DeGiorgi: Početna -> Kolegiji 3. godine -> Teorija skupova
Prethodna tema :: Sljedeća tema  
Autor/ica Poruka
Crazylamb1
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 09. 06. 2006. (01:17:33)
Postovi: (12E)16
Spol: muško
Sarma = la pohva - posuda
27 = 38 - 11
Lokacija: Albertane, Mars

PostPostano: 15:39 čet, 22. 6. 2006    Naslov: Pitanje: Sto je "preneksna normalna forma"? Citirajte i odgovorite

Znaci, zanima me sto je to i ako moguce kako se to radi jer imam ispit iz predmeta Matematicka logika i teorija skupova (ne tu na PMF-u, nisam u ZG). Znam da mi to treba za ispit a nigdje da nadjem kako to da radim.

Npr. ima zadatak pise "odrediti preneksnu normalnu formu dane formule" i onda ima formula, npr.
POSTOJI z f(z) i POSTOJI y f(y) : ZA SVAKI g(x) => POSTOJI w (f(w) i g(w)).

Kako se to radi?

Hvala unaprijed!
Znaci, zanima me sto je to i ako moguce kako se to radi jer imam ispit iz predmeta Matematicka logika i teorija skupova (ne tu na PMF-u, nisam u ZG). Znam da mi to treba za ispit a nigdje da nadjem kako to da radim.

Npr. ima zadatak pise "odrediti preneksnu normalnu formu dane formule" i onda ima formula, npr.
POSTOJI z f(z) i POSTOJI y f(y) : ZA SVAKI g(x) => POSTOJI w (f(w) i g(w)).

Kako se to radi?

Hvala unaprijed!


[Vrh]
Korisnički profil Pošaljite privatnu poruku Pošaljite e-mail MSNM
vsego
Site Admin
Site Admin


Pridružen/a: 06. 10. 2002. (22:07:09)
Postovi: (3560)16
Spol: zombi
Sarma = la pohva - posuda
854 = 1068 - 214
Lokacija: /sbin/init

PostPostano: 15:56 čet, 22. 6. 2006    Naslov: Citirajte i odgovorite

"Povadi" sve kvantifikatore ([tt]za svaki[/tt] i [tt]postoji[/tt]) ispred formule. 8) Vise o tome (solidno sazeto):
http://en.wikipedia.org/wiki/Prenex_normal_form
http://mathworld.wolfram.com/PrenexNormalForm.html

8)
"Povadi" sve kvantifikatore (za svaki i postoji) ispred formule. Cool Vise o tome (solidno sazeto):
http://en.wikipedia.org/wiki/Prenex_normal_form
http://mathworld.wolfram.com/PrenexNormalForm.html

Cool



_________________
U pravilu ignoriram pitanja u krivim topicima i kodove koji nisu u [code]...[/code] blokovima.
Takodjer, OBJASNITE sto vas muci! "Sto mi je krivo?", bez opisa u cemu je problem, rijetko ce zadobiti moju paznju.
Drzim prodike
[Vrh]
Korisnički profil Pošaljite privatnu poruku
mdoko
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 30. 11. 2002. (22:17:12)
Postovi: (71A)16
Spol: muško
Sarma = la pohva - posuda
199 = 237 - 38
Lokacija: Heriot-Watt University, Edinburgh

PostPostano: 15:58 čet, 22. 6. 2006    Naslov: Citirajte i odgovorite

[url]http://en.wikipedia.org/wiki/Prenex[/url]
http://en.wikipedia.org/wiki/Prenex



_________________
Extraordinary claims require extraordinary evidence. – Carl Sagan
[Vrh]
Korisnički profil Pošaljite privatnu poruku Posjetite Web stranice
mdoko
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 30. 11. 2002. (22:17:12)
Postovi: (71A)16
Spol: muško
Sarma = la pohva - posuda
199 = 237 - 38
Lokacija: Heriot-Watt University, Edinburgh

PostPostano: 15:59 čet, 22. 6. 2006    Naslov: Citirajte i odgovorite

vsego me pretekao :(
vsego me pretekao Sad



_________________
Extraordinary claims require extraordinary evidence. – Carl Sagan
[Vrh]
Korisnički profil Pošaljite privatnu poruku Posjetite Web stranice
Crazylamb1
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 09. 06. 2006. (01:17:33)
Postovi: (12E)16
Spol: muško
Sarma = la pohva - posuda
27 = 38 - 11
Lokacija: Albertane, Mars

PostPostano: 16:07 čet, 22. 6. 2006    Naslov: Citirajte i odgovorite

Pogledala sam upravo to..ali jedno mi nije jasno..

Kako pise na Wikipediji, nekad se mijenjaju kvantifikatori a nekad ne (u prvom primjeru za svaki je postao postoji a u drugom primjeru ostaje samo za svaki).

Konkretno me interesuje jedan zadatak, malo sam ga pogresno napisala gore. Ja cu stavljati E za postoji i A za za svaki, i ^ za "i" da olaksam notaciju.

( Ez f(z) ^ ( Ey f(y) => Ax g(x) ) ) => Ew ( f(w) ^ g(w) )

MOLIM vas ako ikako znate kako bi se to rijesilo, to bi mi puno pomoglo. Jer nije mi jasno kad ce E postati A (ili obratno) a kad ce zadrzati svoj prvobitni oblik.

HVALA NA LINKOVIMA! :)
Pogledala sam upravo to..ali jedno mi nije jasno..

Kako pise na Wikipediji, nekad se mijenjaju kvantifikatori a nekad ne (u prvom primjeru za svaki je postao postoji a u drugom primjeru ostaje samo za svaki).

Konkretno me interesuje jedan zadatak, malo sam ga pogresno napisala gore. Ja cu stavljati E za postoji i A za za svaki, i ^ za "i" da olaksam notaciju.

( Ez f(z) ^ ( Ey f(y) => Ax g(x) ) ) => Ew ( f(w) ^ g(w) )

MOLIM vas ako ikako znate kako bi se to rijesilo, to bi mi puno pomoglo. Jer nije mi jasno kad ce E postati A (ili obratno) a kad ce zadrzati svoj prvobitni oblik.

HVALA NA LINKOVIMA! Smile


[Vrh]
Korisnički profil Pošaljite privatnu poruku Pošaljite e-mail MSNM
venovako
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 07. 11. 2002. (22:46:38)
Postovi: (2F9)16
Sarma = la pohva - posuda
56 = 65 - 9

PostPostano: 16:19 čet, 22. 6. 2006    Naslov: Citirajte i odgovorite

Skripta "Matematicka logika 1" od prof. Vukovica bila bi dobar start, kad bi je mogla nekako nabaviti...
Ako imas koga u ZG da ti je posalje (ili skenira + maila nekoliko relevantnih stranica), super, ako ne, ukljuci mastu [size=8]sapienti sat[/size] ;)
Skripta "Matematicka logika 1" od prof. Vukovica bila bi dobar start, kad bi je mogla nekako nabaviti...
Ako imas koga u ZG da ti je posalje (ili skenira + maila nekoliko relevantnih stranica), super, ako ne, ukljuci mastu sapienti sat Wink


[Vrh]
Korisnički profil Pošaljite privatnu poruku
vsego
Site Admin
Site Admin


Pridružen/a: 06. 10. 2002. (22:07:09)
Postovi: (3560)16
Spol: zombi
Sarma = la pohva - posuda
854 = 1068 - 214
Lokacija: /sbin/init

PostPostano: 16:24 čet, 22. 6. 2006    Naslov: Citirajte i odgovorite

Iskreno, malo sam to pozaboravljao, pa se ne usudim na pamet. :oops: Evo ti receptura s primjerom [url=http://www.cas.mcmaster.ca/~wmfarmer/CAS-701-02/contributions/PNF.pdf]ovdje[/url] (PDF, 20kB). 8)
Iskreno, malo sam to pozaboravljao, pa se ne usudim na pamet. Embarassed Evo ti receptura s primjerom ovdje (PDF, 20kB). Cool



_________________
U pravilu ignoriram pitanja u krivim topicima i kodove koji nisu u [code]...[/code] blokovima.
Takodjer, OBJASNITE sto vas muci! "Sto mi je krivo?", bez opisa u cemu je problem, rijetko ce zadobiti moju paznju.
Drzim prodike
[Vrh]
Korisnički profil Pošaljite privatnu poruku
Prethodni postovi:   
Započnite novu temu   Odgovorite na temu   printer-friendly view    Forum@DeGiorgi: Početna -> Kolegiji 3. godine -> Teorija skupova Vremenska zona: GMT + 01:00.
Stranica 1 / 1.

 
Forum(o)Bir:  
Ne možete otvarati nove teme.
Ne možete odgovarati na postove.
Ne možete uređivati Vaše postove.
Ne možete izbrisati Vaše postove.
Ne možete glasovati u anketama.
You can attach files in this forum
You can download files in this forum


Powered by phpBB © 2001, 2002 phpBB Group
Theme created by Vjacheslav Trushkin
HR (Cro) by Ančica Sečan