m00nblade (napisa): |
Bio bih jako zahvalan ako netko ima predavanja iz logike s profesorove stranice da mi posalje na mail ...
unaprijed hvala |
Mad Wilson (napisa): | ||
http://vedgar.googlepages.com/ml ovdje pise da nije azurno, ali imas link na skriptu... |
m00nblade (napisa): |
ne treba mi skripta, nego bas predavanja od ove godine sto su na profesorovim stranicama.. ali ipak hvala na pomoci |
m00nblade (napisa): |
Razlika je u tome sto u skripti ima i nekih dodatnih stvari |
Mad Wilson (napisa): |
EDIT: sprijecen sam! hvala !! |
arya (napisa): |
uglavnom, primjeri što bi moglo za dokaz doć: tm. potpunosti ( ne treba dokazivati za aksiome da su teoremi), s tim da mi ne piše za koji točno sistem bi to moglo bit... teorem dedukcije za PD, dokazat da je neki aksiom RP-a valjana formula, tm. adekvatnosti za RP ( ne treba dokazivati da je svaki aksiom valjana formula), pravila prijelaza za kvantifikatore, svaka sudovno valjana formula je teorem svake teorije prvog reda, godelov teorem, tm. kompaktnosti, lowenheim-skolemov teorem "na dolje" i "na gore"..
|
bubble (napisa): |
Nadam se da se arya nece ljutiti.. Da barem nekome pomogne |
anekalo (napisa): |
Samo sto su skriveni pod linkom za rezultate 1. kolokvija |
loreal (napisa): |
hej, moze li mi itko reci jel ovi ljudi koji su iznad crte mogu ili moraju ici na usmeni???
hvala:) |
output generated using printer-friendly topic mod. Vremenska zona: GMT + 01:00.