Forum@DeGiorgi :: Pogledajte temu

through

[^/[Print]\]
Idite na Prethodno 1, 2, 3, ... 19, 20, 21 Sljedeće :| |:
Forum@DeGiorgi -> Matematički kolegiji

#21: Autor/ica: hermione,

Postano: 11:18 uto, 17. 4. 2007
—

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.

#22: Autor/ica: Lana,

Postano: 12:41 uto, 17. 4. 2007
—
Jel bi netko mozda mogao napisati sto je tocno preskoceno?

#23: Autor/ica: mickey,

Postano: 23:21 ned, 8. 7. 2007
—
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

#24: Autor/ica: mickey,

Postano: 13:31 čet, 12. 7. 2007
—
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

#25: Autor/ica: Nesi,

Postano: 4:08 pon, 16. 7. 2007
—
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 deﬁnicije . . . . . . . . . . . . . . . . . . . . . . 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
Bibliograﬁja 241
Indeks 244

nastavak 2. semestra (napisa):

1 Izračunljivost 5
1.1 Uvod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.1 Opisne deﬁnicije 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
Bibliograﬁja 109

#26: Autor/ica: keira,

Postano: 21:40 uto, 30. 10. 2007
—

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.

#27: Autor/ica: petrich,

Postano: 9:53 sri, 31. 10. 2007
—

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

Zadnja promjena: petrich; 11:33 uto, 6. 11. 2007; ukupno mijenjano 1 put.

#28: Autor/ica: keira,

Postano: 11:49 sub, 3. 11. 2007
—
Puno ti hvala Wink

#29: Autor/ica: Nesi,

Postano: 1:35 čet, 8. 11. 2007
—
Zadaci s vježbi iz logike (2 semestralni kolegij)

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

#30: Autor/ica: Ivecus,

Postano: 9:35 pet, 23. 11. 2007
—
Jel zna netko mozda kad ce rezultati kolokvija pisanog u utorak, nisam vidio jel pisalo sta na kolokviju ???
Hvala!

#31: Autor/ica: Bee, Lokacija: Hicksville

Postano: 16:39 pet, 23. 11. 2007
—
rekao je asistent da negdje drugi tjedan.. nista preciznije

#32: Pitanja s usmenog Autor/ica: Fran,

Postano: 8:38 sri, 20. 2. 2008
—
- veza između RAM izračunljivih i primitivno rekurzivnih funkcija
- kodiranje nizova
- tm o parametru
- riceov tm

#33: Autor/ica: B&I,

Postano: 13:58 čet, 21. 2. 2008
—
- 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.

#34: Autor/ica: Gost,

Postano: 19:34 sub, 23. 2. 2008
—
pita li prof. Vuković alternativne aksiomatizacije i neklasične logike sudova na usmenom?

#35: termin usmenog Autor/ica: Gost,

Postano: 3:56 ned, 24. 2. 2008
—
Nisam mogao doci do faksa vidjeti rezultate pa ako netko zna kad je usmeni iz logike 1 bio bih zahvalan da napise.

#36: Autor/ica: B&I,

Postano: 9:10 pon, 25. 2. 2008
—
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.

#37: Još pitanja sa usmenog (dvosemestralna logika) Autor/ica: Fran,

Postano: 20:49 uto, 29. 4. 2008
—
- 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

#38: Zadatak Autor/ica: suxich,

Postano: 16:04 pet, 2. 5. 2008
—
Jel ima ko vremena da mi napravi par zadataka iz logike za srednju školu??

#39: Autor/ica: hampton&richmond,

Postano: 20:07 ned, 13. 7. 2008
—
Može li mi netko reći koja poglavlja iz one skripte na internetu treba znati za usmeni za logiku 1 (onu jednosemestralnu)?

#40: Autor/ica: jadni,

Postano: 9:38 pon, 14. 7. 2008
—
Nemam pojma Shocked

. h&r kad imas usmeni?

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

Forum@DeGiorgi -> Matematički kolegiji

output generated using printer-friendly topic mod. Vremenska zona: GMT + 01:00.

Idite na Prethodno 1, 2, 3, ... 19, 20, 21 Sljedeće :| |: Stranica 2 / 21.