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

Izračunljivost
Idite na 1, 2, 3  Sljedeće
Moja sarma
 
Započnite novu temu   Odgovorite na temu   printer-friendly view    Forum@DeGiorgi: Početna -> Kolegiji siročići (oni koji nemaju svoj podforum) -> Računarski kolegiji
Prethodna tema :: Sljedeća tema  
Autor/ica Poruka
mona
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 27. 05. 2010. (14:16:12)
Postovi: (43)16
Sarma = la pohva - posuda
= 7 - 2

PostPostano: 15:58 čet, 31. 3. 2011    Naslov: Izračunljivost Citirajte i odgovorite

Što sve treba reći u definiciji klase primitivno rekurzivnih funkcija??
Samo izreći definiciju 4. iz predavanja ili treba još nešto dodatno definirati??
:?
Što sve treba reći u definiciji klase primitivno rekurzivnih funkcija??
Samo izreći definiciju 4. iz predavanja ili treba još nešto dodatno definirati??
Confused


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


Pridružen/a: 24. 09. 2009. (17:13:58)
Postovi: (27)16
Sarma = la pohva - posuda
= 2 - 0

PostPostano: 13:22 sri, 6. 4. 2011    Naslov: Citirajte i odgovorite

do kud se piše teorija u prvom kolokviju, tj. do kojih slajdova
do kud se piše teorija u prvom kolokviju, tj. do kojih slajdova


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Zvjezdica
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 02. 07. 2009. (12:40:02)
Postovi: (58)16
Sarma = la pohva - posuda
= 12 - 3

PostPostano: 13:56 sri, 6. 4. 2011    Naslov: Citirajte i odgovorite

Zadnje je P-izračunavanje s x.

Da li bi mi netko riječima objasnio ovaj zadatak: R1=n,R2=m,makro-stroj provjerava je li n>m. Ako da,stroj stane i u Ro napiše 0,ako nije,stroj stane i u Ro zapiše 1.

1.ZERO Ro
2.INC Ro
3.MOVE R1 TO R3
4.MOVE R2 TO R4
5.DEC R3,9
6.DEC R4,8
7.GOTO 5
8.ZERO Ro
9.STOP

(npr korak 5. za n=2, dobijemo n=1i ode na stop,i što onda?)

Hvala!
Zadnje je P-izračunavanje s x.

Da li bi mi netko riječima objasnio ovaj zadatak: R1=n,R2=m,makro-stroj provjerava je li n>m. Ako da,stroj stane i u Ro napiše 0,ako nije,stroj stane i u Ro zapiše 1.

1.ZERO Ro
2.INC Ro
3.MOVE R1 TO R3
4.MOVE R2 TO R4
5.DEC R3,9
6.DEC R4,8
7.GOTO 5
8.ZERO Ro
9.STOP

(npr korak 5. za n=2, dobijemo n=1i ode na stop,i što onda?)

Hvala!


[Vrh]
Korisnički profil Pošaljite privatnu poruku
C
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 29. 01. 2005. (17:27:47)
Postovi: (4C)16
Spol: muško
Sarma = la pohva - posuda
14 = 16 - 2

PostPostano: 15:04 sri, 6. 4. 2011    Naslov: Citirajte i odgovorite

@Zvjezdica:
Čini mi se iz tvog pitanja da te buni DEC instrukcija.
Ona radi točno jednu od dvije stvari (ali ne obje):
1) smanji registar (u slučaju da je njegova trenutna vrijednost >0)
2) skoči na neku liniju (u slučaju da je trenutna vrijednost registra =0)

Ugl., 2 primjera izvršavanja programa.

n=2, m=3

1,2. Ro=1 (na početku pretpostavljamo da je m>n)
3,4. (samo premještanje varijabli)
5. n=1
6. m=2
7. (idemo opet na pet, pisat ću linije redom kako se izvršavaju)
5. n=0
6. m=1
7. (opet na 5)
5. (sada je n=0, pa ga ne smanjimo, nego skočimo na liniju označenu drugim parametrom, što je u ovom slučaju 9)
9. Kraj programa
U Ro se nalazi 1, što smo i trebali dobiti (jer nije n>m)

*
Sada pogledaš primjer n=2, m=1
1,2. Ro=1 (na početku pretpostavljamo da je m>n)
3,4. (samo premještanje varijabli)
5. n=1
6. m=0
7. (idemo na 5)
5. n=0
6. (kako je m=0, skačemo na 8 )
8. Ro=0
9. Kraj programa

U Ro se nalazi 0, što smo i trebali dobiti (jer je n>m)
@Zvjezdica:
Čini mi se iz tvog pitanja da te buni DEC instrukcija.
Ona radi točno jednu od dvije stvari (ali ne obje):
1) smanji registar (u slučaju da je njegova trenutna vrijednost >0)
2) skoči na neku liniju (u slučaju da je trenutna vrijednost registra =0)

Ugl., 2 primjera izvršavanja programa.

n=2, m=3

1,2. Ro=1 (na početku pretpostavljamo da je m>n)
3,4. (samo premještanje varijabli)
5. n=1
6. m=2
7. (idemo opet na pet, pisat ću linije redom kako se izvršavaju)
5. n=0
6. m=1
7. (opet na 5)
5. (sada je n=0, pa ga ne smanjimo, nego skočimo na liniju označenu drugim parametrom, što je u ovom slučaju 9)
9. Kraj programa
U Ro se nalazi 1, što smo i trebali dobiti (jer nije n>m)

*
Sada pogledaš primjer n=2, m=1
1,2. Ro=1 (na početku pretpostavljamo da je m>n)
3,4. (samo premještanje varijabli)
5. n=1
6. m=0
7. (idemo na 5)
5. n=0
6. (kako je m=0, skačemo na 8 )
8. Ro=0
9. Kraj programa

U Ro se nalazi 0, što smo i trebali dobiti (jer je n>m)


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Zvjezdica
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 02. 07. 2009. (12:40:02)
Postovi: (58)16
Sarma = la pohva - posuda
= 12 - 3

PostPostano: 15:16 sri, 6. 4. 2011    Naslov: Citirajte i odgovorite

HVALA!!!!!!!!!!!!!!!!!!!! Sad je sve jasnije :)

Ali ako bi još netko napisao rješenje ovog zadatka, bila bi još sretnija!
0<x<y, napisati prog za ram stroj koji izračunava f(x,y)=x-1 :wink:
HVALA!!!!!!!!!!!!!!!!!!!! Sad je sve jasnije Smile

Ali ako bi još netko napisao rješenje ovog zadatka, bila bi još sretnija!
0<x<y, napisati prog za ram stroj koji izračunava f(x,y)=x-1 Wink


[Vrh]
Korisnički profil Pošaljite privatnu poruku
dosed_girl
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 04. 12. 2006. (21:01:46)
Postovi: (6F)16
Spol: kućni ljubimac
Sarma = la pohva - posuda
17 = 17 - 0
Lokacija: -zG-

PostPostano: 20:19 sri, 6. 4. 2011    Naslov: Citirajte i odgovorite

mene zanima kako definirati sljedeće:

a) klasa rekurzivnih funkcija
b) klasa parcijalno rekurzivnih skupova

e i da:

c) rekurzivnost funkcije definirane kontrakcijom

zna li netko? :D
mene zanima kako definirati sljedeće:

a) klasa rekurzivnih funkcija
b) klasa parcijalno rekurzivnih skupova

e i da:

c) rekurzivnost funkcije definirane kontrakcijom

zna li netko? Very Happy



_________________
a part of me gets sick / a part of me gets sore
[Vrh]
Korisnički profil Pošaljite privatnu poruku Posjetite Web stranice MSNM
insane_raver
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 05. 05. 2009. (21:55:06)
Postovi: (1DB)16
Spol: muško
Sarma = la pohva - posuda
21 = 33 - 12
Lokacija: ZGB

PostPostano: 21:13 sri, 6. 4. 2011    Naslov: Citirajte i odgovorite

[quote="dosed_girl"]mene zanima kako definirati sljedeće:

a) klasa rekurzivnih funkcija
b) klasa parcijalno rekurzivnih skupova

e i da:

c) rekurzivnost funkcije definirane kontrakcijom

zna li netko? :D[/quote]


Klasa rekurzivnih funkcija:
Najmanja klasa funkcija koja sadrži sve inicijalne funkcije, te je zatvorena za kompoziciju, primitivnu rekurziju i µ–operator, naziva se klasa parcijalno rekurzivnih funkcija. Funkcija iz klase parcijalno rekurzivnih funkcija koja je totalna naziva se i rekurzivna funkcija.

Parcijalno rekurzivan skup:
Kažemo da je relacija parcijalno rekurzivna ako je njena karakteristična funkcija parcijalno rekurzivna. Analogno, kažemo da je skup parcijalno rekurzivan ako je njegova karakteristična funkcija parcijalno rekurzivna.

Ja mislim da je ovo dobro? :D
dosed_girl (napisa):
mene zanima kako definirati sljedeće:

a) klasa rekurzivnih funkcija
b) klasa parcijalno rekurzivnih skupova

e i da:

c) rekurzivnost funkcije definirane kontrakcijom

zna li netko? Very Happy



Klasa rekurzivnih funkcija:
Najmanja klasa funkcija koja sadrži sve inicijalne funkcije, te je zatvorena za kompoziciju, primitivnu rekurziju i µ–operator, naziva se klasa parcijalno rekurzivnih funkcija. Funkcija iz klase parcijalno rekurzivnih funkcija koja je totalna naziva se i rekurzivna funkcija.

Parcijalno rekurzivan skup:
Kažemo da je relacija parcijalno rekurzivna ako je njena karakteristična funkcija parcijalno rekurzivna. Analogno, kažemo da je skup parcijalno rekurzivan ako je njegova karakteristična funkcija parcijalno rekurzivna.

Ja mislim da je ovo dobro? Very Happy


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Blockflöte
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 18. 01. 2004. (17:04:46)
Postovi: (1AB)16
Sarma = la pohva - posuda
= 11 - 2
Lokacija: Zg

PostPostano: 22:41 sri, 6. 4. 2011    Naslov: Citirajte i odgovorite

[quote="Zvjezdica"]
0<x<y, napisati prog za ram stroj koji izračunava f(x,y)=x-1 :wink:[/quote]

Znači, stroj mora stat ako [tt]x=0[/tt] ili [tt]x>=y[/tt]
[code:1]0 MOVE R1 TO R0
1 DEC R0, 1 ; Odmah izračunamo x-1. Ako je x=0, stroj se ovdje zapetlja
2 DEC R2, 2 ; (y--)
3 DEC R1, 5 ; (x--)
4 GOTO 2
5 STOP
[/code:1]

Ako R2 dođe na nulu prije R1, onda je [tt]y=x[/tt] ili [tt]y<x[/tt] pa stroj radi do besvijesti.

I ja vježbam za kolokvij pa ako griješim, molim ispravite me :)

EDIT: Aha, traži se program za RAM-stroj. Onda treba ovaj [tt]MOVE R1 TO R0 (USING R3)[/tt] zamijenit s onim komadom koda iz skripte.
Zvjezdica (napisa):

0<x<y, napisati prog za ram stroj koji izračunava f(x,y)=x-1 Wink


Znači, stroj mora stat ako x=0 ili x>=y
Kod:
0 MOVE R1 TO R0
1 DEC R0, 1 ; Odmah izračunamo x-1. Ako je x=0, stroj se ovdje zapetlja
2 DEC R2, 2 ; (y--)
3 DEC R1, 5 ; (x--)
4 GOTO 2
5 STOP


Ako R2 dođe na nulu prije R1, onda je y=x ili y<x pa stroj radi do besvijesti.

I ja vježbam za kolokvij pa ako griješim, molim ispravite me Smile

EDIT: Aha, traži se program za RAM-stroj. Onda treba ovaj MOVE R1 TO R0 (USING R3) zamijenit s onim komadom koda iz skripte.



_________________
-山よ,山よ! 山は活きて居る!-
[Vrh]
Korisnički profil Pošaljite privatnu poruku Posjetite Web stranice
dosed_girl
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 04. 12. 2006. (21:01:46)
Postovi: (6F)16
Spol: kućni ljubimac
Sarma = la pohva - posuda
17 = 17 - 0
Lokacija: -zG-

PostPostano: 7:30 čet, 7. 4. 2011    Naslov: Citirajte i odgovorite

[quote="insane_raver"][quote="dosed_girl"]mene zanima kako definirati sljedeće:

a) klasa rekurzivnih funkcija
b) klasa parcijalno rekurzivnih skupova

e i da:

c) rekurzivnost funkcije definirane kontrakcijom

zna li netko? :D[/quote]


Klasa rekurzivnih funkcija:
Najmanja klasa funkcija koja sadrži sve inicijalne funkcije, te je zatvorena za kompoziciju, primitivnu rekurziju i µ–operator, naziva se klasa parcijalno rekurzivnih funkcija. Funkcija iz klase parcijalno rekurzivnih funkcija koja je totalna naziva se i rekurzivna funkcija.

Parcijalno rekurzivan skup:
Kažemo da je relacija parcijalno rekurzivna ako je njena karakteristična funkcija parcijalno rekurzivna. Analogno, kažemo da je skup parcijalno rekurzivan ako je njegova karakteristična funkcija parcijalno rekurzivna.

Ja mislim da je ovo dobro? :D[/quote]

ali traži se klasa rekurzivnih fja, a u toj definiciji posebno definiramo klasu parc.rek.fja i posebno rekurzivnu funkciju.
jel bi klasa rekurzivnih fja onda bila 'Najmanja klasa [b]totalnih[/b] funkcija koja sadrži sve....' ? ili?

isto i za klasu parc.rek.skupa. drugo je parc.rekurzivni skup a drugo je [b]klasa[/b] parc. rekurzivnih skupova..

to mene buni :?
insane_raver (napisa):
dosed_girl (napisa):
mene zanima kako definirati sljedeće:

a) klasa rekurzivnih funkcija
b) klasa parcijalno rekurzivnih skupova

e i da:

c) rekurzivnost funkcije definirane kontrakcijom

zna li netko? Very Happy



Klasa rekurzivnih funkcija:
Najmanja klasa funkcija koja sadrži sve inicijalne funkcije, te je zatvorena za kompoziciju, primitivnu rekurziju i µ–operator, naziva se klasa parcijalno rekurzivnih funkcija. Funkcija iz klase parcijalno rekurzivnih funkcija koja je totalna naziva se i rekurzivna funkcija.

Parcijalno rekurzivan skup:
Kažemo da je relacija parcijalno rekurzivna ako je njena karakteristična funkcija parcijalno rekurzivna. Analogno, kažemo da je skup parcijalno rekurzivan ako je njegova karakteristična funkcija parcijalno rekurzivna.

Ja mislim da je ovo dobro? Very Happy


ali traži se klasa rekurzivnih fja, a u toj definiciji posebno definiramo klasu parc.rek.fja i posebno rekurzivnu funkciju.
jel bi klasa rekurzivnih fja onda bila 'Najmanja klasa totalnih funkcija koja sadrži sve....' ? ili?

isto i za klasu parc.rek.skupa. drugo je parc.rekurzivni skup a drugo je klasa parc. rekurzivnih skupova..

to mene buni Confused



_________________
a part of me gets sick / a part of me gets sore
[Vrh]
Korisnički profil Pošaljite privatnu poruku Posjetite Web stranice MSNM
insane_raver
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 05. 05. 2009. (21:55:06)
Postovi: (1DB)16
Spol: muško
Sarma = la pohva - posuda
21 = 33 - 12
Lokacija: ZGB

PostPostano: 8:45 čet, 7. 4. 2011    Naslov: Citirajte i odgovorite

valjda samo modificiramo... :D
tako ja barem mislim sutra ako dobijem takvo pitanje :)
valjda samo modificiramo... Very Happy
tako ja barem mislim sutra ako dobijem takvo pitanje Smile


[Vrh]
Korisnički profil Pošaljite privatnu poruku
glava
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 28. 03. 2007. (18:48:16)
Postovi: (89)16
Spol: muško
Sarma = la pohva - posuda
= 8 - 3

PostPostano: 17:10 sri, 13. 4. 2011    Naslov: Citirajte i odgovorite

Zna li se kada će rezultati kolokvija?
Zna li se kada će rezultati kolokvija?


[Vrh]
Korisnički profil Pošaljite privatnu poruku
frances
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 15. 07. 2006. (18:27:06)
Postovi: (39)16
Spol: žensko
Sarma = la pohva - posuda
= 9 - 1

PostPostano: 11:27 čet, 12. 5. 2011    Naslov: Citirajte i odgovorite

Sta je zadnje obradjeno na predavanjima?
Sta je zadnje obradjeno na predavanjima?


[Vrh]
Korisnički profil Pošaljite privatnu poruku MSNM
Charmed
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 22. 02. 2009. (11:51:49)
Postovi: (20B)16
Spol: kućni ljubimac
Sarma = la pohva - posuda
20 = 54 - 34

PostPostano: 12:43 čet, 12. 5. 2011    Naslov: Citirajte i odgovorite

7. cjelina(nisam sigurna da li je ista oznaka od lani i sad).

Btw. da li ima netko dobar ko bi stavio na net vježbe koje smo imali nakon kolokvija...
7. cjelina(nisam sigurna da li je ista oznaka od lani i sad).

Btw. da li ima netko dobar ko bi stavio na net vježbe koje smo imali nakon kolokvija...


[Vrh]
Korisnički profil Pošaljite privatnu poruku
frances
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 15. 07. 2006. (18:27:06)
Postovi: (39)16
Spol: žensko
Sarma = la pohva - posuda
= 9 - 1

PostPostano: 13:13 čet, 12. 5. 2011    Naslov: Citirajte i odgovorite

7.cjelina od lani(oni slajdovi sa stranice) ili 7.cjelina od ove godine? Zbunjena sam, ali hvala u svakom slucaju:)
7.cjelina od lani(oni slajdovi sa stranice) ili 7.cjelina od ove godine? Zbunjena sam, ali hvala u svakom slucaju:)


[Vrh]
Korisnički profil Pošaljite privatnu poruku MSNM
Charmed
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 22. 02. 2009. (11:51:49)
Postovi: (20B)16
Spol: kućni ljubimac
Sarma = la pohva - posuda
20 = 54 - 34

PostPostano: 14:35 čet, 12. 5. 2011    Naslov: Citirajte i odgovorite

7. cjelina od ove godine (tak je pisalo na projektoru)
7. cjelina od ove godine (tak je pisalo na projektoru)


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Charmed
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 22. 02. 2009. (11:51:49)
Postovi: (20B)16
Spol: kućni ljubimac
Sarma = la pohva - posuda
20 = 54 - 34

PostPostano: 7:20 pet, 20. 5. 2011    Naslov: Citirajte i odgovorite

Jel se netko sjeća,do kada moramo predati seminarski rad?
Jel se netko sjeća,do kada moramo predati seminarski rad?


[Vrh]
Korisnički profil Pošaljite privatnu poruku
pifka
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 23. 09. 2010. (19:06:10)
Postovi: (5)16
Sarma = la pohva - posuda
= 0 - 0

PostPostano: 11:07 čet, 9. 6. 2011    Naslov: Citirajte i odgovorite

da li mozda netko ima kakve informacije o usmenom?
da li mozda netko ima kakve informacije o usmenom?


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Charmed
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 22. 02. 2009. (11:51:49)
Postovi: (20B)16
Spol: kućni ljubimac
Sarma = la pohva - posuda
20 = 54 - 34

PostPostano: 17:51 sub, 18. 6. 2011    Naslov: Citirajte i odgovorite

Ima koja dobra duša koja je rješavala zadatke za vježbu iz izračunljivosti, da mi ih pošalje? Bila bi neizmjerno zahvalna!
Ima koja dobra duša koja je rješavala zadatke za vježbu iz izračunljivosti, da mi ih pošalje? Bila bi neizmjerno zahvalna!


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Atomised
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 04. 09. 2007. (15:33:59)
Postovi: (399)16
Sarma = la pohva - posuda
70 = 95 - 25
Lokacija: Exotica

PostPostano: 22:13 sri, 11. 4. 2012    Naslov: Citirajte i odgovorite

Vrijedi li onaj popis pitanja s profesorove stranice i za ovu godinu? Vidim da su 2009. i 2010. godine bila samo pitanja s tog popisa, a ne sjećam se da je to ove godine itko uopće spominjao.
Vrijedi li onaj popis pitanja s profesorove stranice i za ovu godinu? Vidim da su 2009. i 2010. godine bila samo pitanja s tog popisa, a ne sjećam se da je to ove godine itko uopće spominjao.


[Vrh]
Korisnički profil Pošaljite privatnu poruku
kkarlo
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 19. 05. 2010. (08:43:59)
Postovi: (1B2)16
Spol: zombi
Sarma = la pohva - posuda
64 = 72 - 8

PostPostano: 22:40 čet, 28. 3. 2013    Naslov: Prvi kolokvij... Citirajte i odgovorite

Profesor najavio slijedeće:
Teorija standardno:
definicije - 3 boda
iskazi teorema - 3 boda
dokaz - 4 boda

Zadaci:
2 su programi(pretpostavljam RAM stroj)
2 su primitivne rekurzivnosti funkcija i skupova
1 zadatak je nešto po izboru profesora...

Ne znam koliko pomaže, al eto... čisto da se zna.
Profesor najavio slijedeće:
Teorija standardno:
definicije - 3 boda
iskazi teorema - 3 boda
dokaz - 4 boda

Zadaci:
2 su programi(pretpostavljam RAM stroj)
2 su primitivne rekurzivnosti funkcija i skupova
1 zadatak je nešto po izboru profesora...

Ne znam koliko pomaže, al eto... čisto da se zna.


[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 siročići (oni koji nemaju svoj podforum) -> Računarski kolegiji Vremenska zona: GMT + 01:00.
Idite na 1, 2, 3  Sljedeće
Stranica 1 / 3.

 
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 cannot 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