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

Matematicka logika (informacija)
Idite na Prethodno  1, 2, 3, ... 19, 20, 21  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) -> Matematički kolegiji
Prethodna tema :: Sljedeća tema  
Autor/ica Poruka
hermione
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 23. 09. 2003. (10:50:57)
Postovi: (152)16
Spol: kućni ljubimac
Sarma: -
PostPostano: 11:18 uto, 17. 4. 2007    Naslov: Citirajte i odgovorite
[quote="Anonymous"]Netko je napisao da je zadnje sto se radilo na predavanjima Godelov teorem potpunosti. Jel to tocno i jel profesor mozda neke stvari iz skripte prije tog teorema preskocio?[/quote]
Zadnje je bio Skolemov tm na dole i na gore. I da istina je da je su neke stvari preskocene.
Anonymous (napisa):
Netko je napisao da je zadnje sto se radilo na predavanjima Godelov teorem potpunosti. Jel to tocno i jel profesor mozda neke stvari iz skripte prije tog teorema preskocio?

Zadnje je bio Skolemov tm na dole i na gore. I da istina je da je su neke stvari preskocene.



_________________
http://www.youtube.com/watch?v=SjN_4LO-5L8

U tijelu nema pravih ideala
[Vrh]
Korisnički profil Pošaljite privatnu poruku Pošaljite e-mail Posjetite Web stranice
Lana
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 18. 04. 2005. (19:00:52)
Postovi: (A)16
Sarma = la pohva - posuda
2 = 2 - 0
PostPostano: 12:41 uto, 17. 4. 2007    Naslov: Citirajte i odgovorite
Jel bi netko mozda mogao napisati sto je tocno preskoceno?
Jel bi netko mozda mogao napisati sto je tocno preskoceno?


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


Pridružen/a: 02. 12. 2003. (14:34:02)
Postovi: (13)16
Sarma = la pohva - posuda
1 = 1 - 0
PostPostano: 23:21 ned, 8. 7. 2007    Naslov: Citirajte i odgovorite
pisem ovo u nadi da ce ova tema opet zazivjeti...
naime, zanimaju me pitanja na usmenom iz drugog semestra logike.. ako netko zna, bila bih jaaaako zahvalna... ili barem informacija o tom sto se ne treba znati (tipa kategoricnost teorija, ultraprodukti...), koliko detaljno treba znati primjere teorija prvog reda?
eto, hvala, unaprijed :thankyou:
pisem ovo u nadi da ce ova tema opet zazivjeti...
naime, zanimaju me pitanja na usmenom iz drugog semestra logike.. ako netko zna, bila bih jaaaako zahvalna... ili barem informacija o tom sto se ne treba znati (tipa kategoricnost teorija, ultraprodukti...), koliko detaljno treba znati primjere teorija prvog reda?
eto, hvala, unaprijed Thank you



_________________
** cao bao **
[Vrh]
Korisnički profil Pošaljite privatnu poruku Posjetite Web stranice
mickey
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 02. 12. 2003. (14:34:02)
Postovi: (13)16
Sarma = la pohva - posuda
1 = 1 - 0
PostPostano: 13:31 čet, 12. 7. 2007    Naslov: Citirajte i odgovorite
evo odgovorit cu sama sebi:
- sto su parcijalno rekurzivne funkcije?
- simultana rekurzija?
- teorem o parametru
- definicija RAM stroja
- odnos klasa parcijalno rekurzivnih i klase RAM-izracunjivih funkcija
- Lindenbaumova lema
evo odgovorit cu sama sebi:
- sto su parcijalno rekurzivne funkcije?
- simultana rekurzija?
- teorem o parametru
- definicija RAM stroja
- odnos klasa parcijalno rekurzivnih i klase RAM-izracunjivih funkcija
- Lindenbaumova lema



_________________
** cao bao **
[Vrh]
Korisnički profil Pošaljite privatnu poruku Posjetite Web stranice
Nesi
Inventar Foruma
(Moderator)
Inventar Foruma<br>(Moderator)


Pridružen/a: 14. 10. 2002. (14:27:35)
Postovi: (E68)16
Spol: kućni ljubimac
Sarma: -
PostPostano: 4:08 pon, 16. 7. 2007    Naslov: Citirajte i odgovorite
jel moze netko odvojtii 10tak minuta i izdvojiti koja poglavlja se nisu radila ove godine iz logike na predavanjima (2semetralna)?
ako je samo neki dio preskocen, brojevi stranica su super identifikator, a svaka informacija vise - bonus ;-)

sadrzaj kolegija slijedi, pa bi cjepkanje trebalo biti lakse...
zahvaljujem ;)

[quote="prva skripta = 1. semestar + dio 2. semestra"]
Uvod 1
1 Logika sudova 9
1.1 Uvod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2 Jezik logike sudova . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3 Interpretacije . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.4 Normalne forme . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.4.1 Propozicionalni veznici . . . . . . . . . . . . . . . . . . . . 30
1.5 Testovi valjanosti . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.6 Račun sudova (Frege–Lukasiewiczev sistem). . . . . . . . . . . . 43
1.6.1 Sistem RS . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
1.6.2 Konzistentnost . . . . . . . . . . . . . . . . . . . . . . . . 54
1.6.3 Potpuni skupovi formula . . . . . . . . . . . . . . . . . . . 59
1.6.4 Teorem potpunosti . . . . . . . . . . . . . . . . . . . . . . 62
1.6.5 Teorem kompaktnosti . . . . . . . . . . . . . . . . . . . . 62
1.7 Prirodna dedukcija . . . . . . . . . . . . . . . . . . . . . . . . . . 77
1.8 Alternativne aksiomatizacije logike sudova . . . . . . . . . . . . . 102
1.9 Neke neklasične logike sudova . . . . . . . .. . . . . . . . . . . . 108
1.9.1 Intuicionistička logika . . . . . . . . . . . . . . . . . . . . 108
1.9.2 Modalna logika . . . . . . . . . . . . . . . . . . . . . . . . 112
2 Logika prvog reda 121
2.1 Uvod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
2.2 Jezik teorija prvog reda . . . . . . . . . . . . . . . . . . . . . . . 124
2.3 Interpretacije i modeli . . . . . . . . . . . . . . . . . . . . . . . . 130
2.4 Preneksna normalna forma . . . . . . . . . . . . . . . . . . . . . 146
2.5 Glavni test . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
2.6 Račun teorija prvog reda . . . . . . . . . . . . . . . . . . . . . . . 172
2.6.1 Osnovne definicije . . . . . . . . . . . . . . . . . . . . . . 172
2.6.2 Metateoremi o teorijama prvog reda . . . . . . . . . . . . 176
2.6.3 Sistem prirodne dedukcije za logiku prvog reda . . . . . . 185
2.7 Teorem potpunosti i posljedice . . . . . . . . . . . . . . . . . . . 188
2.7.1 Konzistentnost . . . . . . . . . . . . . . . . . . . . . . . . 188
2.7.2 Generalizirani teorem potpunosti . . . . . . . . . . . . . . 193
2.7.3 Posljedice generaliziranog teorema potpunosti . . . . . . . 198
2.7.4 Ograničenja logike prvog reda . . . . . . . . . .. . . . . . 206
2.7.5 Kategoričnost teorija . . . . . . . . . . . . . . .. . . . . . 208
2.8 Primjeri teorija prvog reda . . . . . . . . . . . . . . . . . . . . . . 211
2.8.1 Teorije s jednakošću . . . . . . . . . . . . . . .. . . . . . 211
2.8.2 Peanova aritmetika . . . . . . . . . . . . . . . . . . . . . . 221
2.8.3 Zermelo–Fraenkelova teorija skupova . . . . . .. . . . . . 226
2.9 Ultraprodukti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 230
Bibliografija 241
Indeks 244
[/quote]

[quote="nastavak 2. semestra"]
1 Izračunljivost 5
1.1 Uvod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.1 Opisne definicije osnovnih pojmova . . . . . . . . . . . . . 10
1.1.2 Termini i oznake . . . . . . . . . . . . . . . . . . . . . . . 11
1.2 RAM–stroj . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3 Rekurzivne funkcije . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.4 Kodiranje konačnih nizova. Primjene . .. . . . . . . . . . . . . 49
1.5 Indeksi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
1.6 Teorem o parametru . . . . . . . . . . . . . . . . . . . . . . . . . 68
1.7 Churchova teza . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
1.8 Aritmetička hijerahija . . . . . . . . . . .. . . . . . . . . . . . . 77
1.9 Rekurzivno prebrojivi skupovi . . . . . . . . . . . . . . . . . . . . 84
1.10 Dodatak: Ackermannova funkcija . . . . . . . . . . . . . . . . . . 97
Indeks 106
Bibliografija 109
[/quote]
jel moze netko odvojtii 10tak minuta i izdvojiti koja poglavlja se nisu radila ove godine iz logike na predavanjima (2semetralna)?
ako je samo neki dio preskocen, brojevi stranica su super identifikator, a svaka informacija vise - bonus Wink

sadrzaj kolegija slijedi, pa bi cjepkanje trebalo biti lakse...
zahvaljujem Wink

prva skripta = 1. semestar + dio 2. semestra (napisa):

Uvod 1
1 Logika sudova 9
1.1 Uvod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2 Jezik logike sudova . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3 Interpretacije . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.4 Normalne forme . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.4.1 Propozicionalni veznici . . . . . . . . . . . . . . . . . . . . 30
1.5 Testovi valjanosti . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.6 Račun sudova (Frege–Lukasiewiczev sistem). . . . . . . . . . . . 43
1.6.1 Sistem RS . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
1.6.2 Konzistentnost . . . . . . . . . . . . . . . . . . . . . . . . 54
1.6.3 Potpuni skupovi formula . . . . . . . . . . . . . . . . . . . 59
1.6.4 Teorem potpunosti . . . . . . . . . . . . . . . . . . . . . . 62
1.6.5 Teorem kompaktnosti . . . . . . . . . . . . . . . . . . . . 62
1.7 Prirodna dedukcija . . . . . . . . . . . . . . . . . . . . . . . . . . 77
1.8 Alternativne aksiomatizacije logike sudova . . . . . . . . . . . . . 102
1.9 Neke neklasične logike sudova . . . . . . . .. . . . . . . . . . . . 108
1.9.1 Intuicionistička logika . . . . . . . . . . . . . . . . . . . . 108
1.9.2 Modalna logika . . . . . . . . . . . . . . . . . . . . . . . . 112
2 Logika prvog reda 121
2.1 Uvod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
2.2 Jezik teorija prvog reda . . . . . . . . . . . . . . . . . . . . . . . 124
2.3 Interpretacije i modeli . . . . . . . . . . . . . . . . . . . . . . . . 130
2.4 Preneksna normalna forma . . . . . . . . . . . . . . . . . . . . . 146
2.5 Glavni test . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
2.6 Račun teorija prvog reda . . . . . . . . . . . . . . . . . . . . . . . 172
2.6.1 Osnovne definicije . . . . . . . . . . . . . . . . . . . . . . 172
2.6.2 Metateoremi o teorijama prvog reda . . . . . . . . . . . . 176
2.6.3 Sistem prirodne dedukcije za logiku prvog reda . . . . . . 185
2.7 Teorem potpunosti i posljedice . . . . . . . . . . . . . . . . . . . 188
2.7.1 Konzistentnost . . . . . . . . . . . . . . . . . . . . . . . . 188
2.7.2 Generalizirani teorem potpunosti . . . . . . . . . . . . . . 193
2.7.3 Posljedice generaliziranog teorema potpunosti . . . . . . . 198
2.7.4 Ograničenja logike prvog reda . . . . . . . . . .. . . . . . 206
2.7.5 Kategoričnost teorija . . . . . . . . . . . . . . .. . . . . . 208
2.8 Primjeri teorija prvog reda . . . . . . . . . . . . . . . . . . . . . . 211
2.8.1 Teorije s jednakošću . . . . . . . . . . . . . . .. . . . . . 211
2.8.2 Peanova aritmetika . . . . . . . . . . . . . . . . . . . . . . 221
2.8.3 Zermelo–Fraenkelova teorija skupova . . . . . .. . . . . . 226
2.9 Ultraprodukti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 230
Bibliografija 241
Indeks 244


nastavak 2. semestra (napisa):

1 Izračunljivost 5
1.1 Uvod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.1 Opisne definicije osnovnih pojmova . . . . . . . . . . . . . 10
1.1.2 Termini i oznake . . . . . . . . . . . . . . . . . . . . . . . 11
1.2 RAM–stroj . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3 Rekurzivne funkcije . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.4 Kodiranje konačnih nizova. Primjene . .. . . . . . . . . . . . . 49
1.5 Indeksi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
1.6 Teorem o parametru . . . . . . . . . . . . . . . . . . . . . . . . . 68
1.7 Churchova teza . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
1.8 Aritmetička hijerahija . . . . . . . . . . .. . . . . . . . . . . . . 77
1.9 Rekurzivno prebrojivi skupovi . . . . . . . . . . . . . . . . . . . . 84
1.10 Dodatak: Ackermannova funkcija . . . . . . . . . . . . . . . . . . 97
Indeks 106
Bibliografija 109


[Vrh]
Korisnički profil Pošaljite privatnu poruku Posjetite Web stranice
keira
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 30. 10. 2007. (21:33:01)
Postovi: (2)16
Sarma = la pohva - posuda
0 = 0 - 0
PostPostano: 21:40 uto, 30. 10. 2007    Naslov: Citirajte i odgovorite
[quote] 1.9 Neke neklasične logike sudova . . . . . . . .. . . . . . . . . . . . 108
1.9.1 Intuicionistička logika . . . . . . . . . . . . . . . . . . . . 108
[/quote]

Da li bi netko mogao skenirati ovih 4 strana o intuicionističkoj logici i poslati? Il da me bar uputite na neku literaturu o tome jer mi treba za seminar.
Citat:
1.9 Neke neklasične logike sudova . . . . . . . .. . . . . . . . . . . . 108
1.9.1 Intuicionistička logika . . . . . . . . . . . . . . . . . . . . 108


Da li bi netko mogao skenirati ovih 4 strana o intuicionističkoj logici i poslati? Il da me bar uputite na neku literaturu o tome jer mi treba za seminar.


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


Pridružen/a: 07. 11. 2005. (22:23:35)
Postovi: (F6)16
Spol: žensko
Sarma = la pohva - posuda
18 = 20 - 2
PostPostano: 9:53 sri, 31. 10. 2007    Naslov: Citirajte i odgovorite
[quote="keira"][quote] 1.9 Neke neklasične logike sudova . . . . . . . .. . . . . . . . . . . . 108
1.9.1 Intuicionistička logika . . . . . . . . . . . . . . . . . . . . 108
[/quote]

Da li bi netko mogao skenirati ovih 4 strana o intuicionističkoj logici i poslati? Il da me bar uputite na neku literaturu o tome jer mi treba za seminar.[/quote]

na ovoj stranici imas skriptu prof Vukovica za zimski semestar i u njoj ces valjda nac to sto ti treba. ;)

[url]http://web.math.hr/~vukovic/dodiplomska_nastava.htm[/url]
keira (napisa):
Citat:
1.9 Neke neklasične logike sudova . . . . . . . .. . . . . . . . . . . . 108
1.9.1 Intuicionistička logika . . . . . . . . . . . . . . . . . . . . 108


Da li bi netko mogao skenirati ovih 4 strana o intuicionističkoj logici i poslati? Il da me bar uputite na neku literaturu o tome jer mi treba za seminar.


na ovoj stranici imas skriptu prof Vukovica za zimski semestar i u njoj ces valjda nac to sto ti treba. Wink

http://web.math.hr/~vukovic/dodiplomska_nastava.htm



_________________
Pcelica Just buzzing by 2 say hi...

Zadnja promjena: petrich; 11:33 uto, 6. 11. 2007; ukupno mijenjano 1 put.
[Vrh]
Korisnički profil Pošaljite privatnu poruku
keira
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 30. 10. 2007. (21:33:01)
Postovi: (2)16
Sarma = la pohva - posuda
0 = 0 - 0
PostPostano: 11:49 sub, 3. 11. 2007    Naslov: Citirajte i odgovorite
Puno ti hvala :wink:
Puno ti hvala Wink


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Nesi
Inventar Foruma
(Moderator)
Inventar Foruma<br>(Moderator)


Pridružen/a: 14. 10. 2002. (14:27:35)
Postovi: (E68)16
Spol: kućni ljubimac
Sarma: -
PostPostano: 1:35 čet, 8. 11. 2007    Naslov: Citirajte i odgovorite
Zadaci s vježbi iz logike (2 semestralni kolegij)

Možete ih skinuti [url=http://web.studenti.math.hr/downloads/sluzbeno/Log-zad01.pdf]ovdje[/url] (za prošle i današnje vježbe)
Zadaci s vježbi iz logike (2 semestralni kolegij)

Možete ih skinuti ovdje (za prošle i današnje vježbe)


[Vrh]
Korisnički profil Pošaljite privatnu poruku Posjetite Web stranice
Ivecus
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 24. 04. 2006. (18:37:35)
Postovi: (62)16
Sarma = la pohva - posuda
3 = 3 - 0
PostPostano: 9:35 pet, 23. 11. 2007    Naslov: Citirajte i odgovorite
Jel zna netko mozda kad ce rezultati kolokvija pisanog u utorak, nisam vidio jel pisalo sta na kolokviju ???
Hvala!
Jel zna netko mozda kad ce rezultati kolokvija pisanog u utorak, nisam vidio jel pisalo sta na kolokviju ???
Hvala!


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


Pridružen/a: 31. 01. 2005. (11:27:34)
Postovi: (91)16
Spol: žensko
Sarma = la pohva - posuda
19 = 21 - 2
Lokacija: Hicksville
PostPostano: 16:39 pet, 23. 11. 2007    Naslov: Citirajte i odgovorite
rekao je asistent da negdje drugi tjedan.. nista preciznije
rekao je asistent da negdje drugi tjedan.. nista preciznije


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


Pridružen/a: 06. 07. 2005. (12:24:58)
Postovi: (1A)16
Spol: muško
Sarma = la pohva - posuda
5 = 5 - 0
PostPostano: 8:38 sri, 20. 2. 2008    Naslov: Pitanja s usmenog Citirajte i odgovorite
- veza između RAM izračunljivih i primitivno rekurzivnih funkcija
- kodiranje nizova
- tm o parametru
- riceov tm
- veza između RAM izračunljivih i primitivno rekurzivnih funkcija
- kodiranje nizova
- tm o parametru
- riceov tm


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


Pridružen/a: 06. 09. 2006. (07:56:55)
Postovi: (44)16
Sarma = la pohva - posuda
-1 = 2 - 3
PostPostano: 13:58 čet, 21. 2. 2008    Naslov: Citirajte i odgovorite
- primitivna rekurzija
- simultana rekurzija
- index-i
- Kleenijev teorem + posljedice (4 teorema nakon njega u skripti)
- Tm o parametru
- Tm o fiksnoj točki
- Tm rekurzije
- Halting problem

još nešto
- što je {e}
- za n € N def. indeksa

-što je sigma struktura
-generalizirani teorem za teoriju T (+ posljedica -"Gedelov" teorem )
-što model za teoriju T
-def. konzistentene teorije T
- primitivna rekurzija
- simultana rekurzija
- index-i
- Kleenijev teorem + posljedice (4 teorema nakon njega u skripti)
- Tm o parametru
- Tm o fiksnoj točki
- Tm rekurzije
- Halting problem

još nešto
- što je {e}
- za n € N def. indeksa

-što je sigma struktura
-generalizirani teorem za teoriju T (+ posljedica -"Gedelov" teorem )
-što model za teoriju T
-def. konzistentene teorije T




Zadnja promjena: B&I; 18:32 sri, 5. 3. 2008; ukupno mijenjano 1 put.
[Vrh]
Korisnički profil Pošaljite privatnu poruku
Gost
PostPostano: 19:34 sub, 23. 2. 2008    Naslov: Citirajte i odgovorite
pita li prof. Vuković alternativne aksiomatizacije i neklasične logike sudova na usmenom?
pita li prof. Vuković alternativne aksiomatizacije i neklasične logike sudova na usmenom?


[Vrh]
Gost
PostPostano: 3:56 ned, 24. 2. 2008    Naslov: termin usmenog Citirajte i odgovorite
Nisam mogao doci do faksa vidjeti rezultate pa ako netko zna kad je usmeni iz logike 1 bio bih zahvalan da napise.
Nisam mogao doci do faksa vidjeti rezultate pa ako netko zna kad je usmeni iz logike 1 bio bih zahvalan da napise.


[Vrh]
B&I
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 06. 09. 2006. (07:56:55)
Postovi: (44)16
Sarma = la pohva - posuda
-1 = 2 - 3
PostPostano: 9:10 pon, 25. 2. 2008    Naslov: Citirajte i odgovorite
Na rezultatima je pisalo da se trebamo javit profesoru mailom.
Evo odgovora:
Usmeni iz matematičke logike (dvosemestralni kolegij) je u četvrtak 28. 9. 2008 u 9 sati.

a za mat. log. 1 ne znam.
Na rezultatima je pisalo da se trebamo javit profesoru mailom.
Evo odgovora:
Usmeni iz matematičke logike (dvosemestralni kolegij) je u četvrtak 28. 9. 2008 u 9 sati.

a za mat. log. 1 ne znam.


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


Pridružen/a: 06. 07. 2005. (12:24:58)
Postovi: (1A)16
Spol: muško
Sarma = la pohva - posuda
5 = 5 - 0
PostPostano: 20:49 uto, 29. 4. 2008    Naslov: Još pitanja sa usmenog (dvosemestralna logika) Citirajte i odgovorite
- primitivno rekurzivne funkcije
- simultana primitivna rekirzija (+dokaz da su tako definirane fje prim. rek.),
- tm o rekurziji
- craigova interpolaciona lema
- F je teorem teorije T akko je zatvorenje of F tm teorije T
- Lowenheim-Skolemov tm na dolje

- za sve tm-e prof. pita dokaze, nije nužno da ih sve znate ali je poželjno da znate barem ideju dokaza, odnosno preko kojeg teorema se izvodi
- primitivno rekurzivne funkcije
- simultana primitivna rekirzija (+dokaz da su tako definirane fje prim. rek.),
- tm o rekurziji
- craigova interpolaciona lema
- F je teorem teorije T akko je zatvorenje of F tm teorije T
- Lowenheim-Skolemov tm na dolje

- za sve tm-e prof. pita dokaze, nije nužno da ih sve znate ali je poželjno da znate barem ideju dokaza, odnosno preko kojeg teorema se izvodi


[Vrh]
Korisnički profil Pošaljite privatnu poruku
suxich
Gost
PostPostano: 16:04 pet, 2. 5. 2008    Naslov: Zadatak Citirajte i odgovorite
Jel ima ko vremena da mi napravi par zadataka iz logike za srednju školu??
Jel ima ko vremena da mi napravi par zadataka iz logike za srednju školu??


[Vrh]
hampton&richmond
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 25. 07. 2007. (17:14:46)
Postovi: (42)16
Sarma = la pohva - posuda
-21 = 5 - 26
PostPostano: 20:07 ned, 13. 7. 2008    Naslov: Citirajte i odgovorite
Može li mi netko reći koja poglavlja iz one skripte na internetu treba znati za usmeni za logiku 1 (onu jednosemestralnu)?
Može li mi netko reći koja poglavlja iz one skripte na internetu treba znati za usmeni za logiku 1 (onu jednosemestralnu)?



_________________
28.08.1969. Shamrock Rovers-Schalke 2:1 Smile
Shamrock Rovers=most successful football club in Ireland
[Vrh]
Korisnički profil Pošaljite privatnu poruku
jadni
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 16. 01. 2007. (16:01:46)
Postovi: (30)16
Spol: kućni ljubimac
Sarma = la pohva - posuda
15 = 19 - 4
PostPostano: 9:38 pon, 14. 7. 2008    Naslov: Citirajte i odgovorite
Nemam pojma :shock: . h&r kad imas usmeni?

Da li netko zna kad su tocno usmeni ovaj tjedan iz dvosemstralne logike?
Nemam pojma Shocked . h&r kad imas usmeni?

Da li netko zna kad su tocno usmeni ovaj tjedan iz dvosemstralne logike?


[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) -> Matematički kolegiji Vremenska zona: GMT + 01:00.
Idite na Prethodno  1, 2, 3, ... 19, 20, 21  Sljedeće
Stranica 2 / 21.

 
Forum(o)Bir:  
Ne možete otvarati nove teme.
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