FEI archív 2008/2009 > 4. ro?ník
Logika pre Informatikov - SKUSKA
vania:
Vie niekto ake su prihlasovacie udaje na hornad k prednaskam ? http://hornad.fei.tuke.sk/predmety/lpi ??
Cistou nahodou nejake informacie ohladom toho co ma byt na skuske ?
thx :angel:
Frankie:
login: lpi
pass: logikA
O skúške viem len toľko, že má byť 1 príklad + 1 teoret. otázka, spolu za 75b.
bliky:
nejaky dobrak, co ma naskenovane resp. ofotene poznamky z toho, co sa dialo cely smester na cvikach...?!
vania:
Nikto nic ? no taaaaaaaaaaak ake priklady sa vyskytovali hmm hmm ?
pls pls :angel:
Cadmus:
tazko takto. vsetko bolo. z kazdeho rozku trosku. velka kopa teorie a velka kopa prikladov. anita vravela, ze su len tie priklady, co boli na cvikach. ja som mal:
teoria: semantika vyrokovej logiky
priklad: v intuicionistickej logike dokazat naturalnou dedukciou, ze: fi->not(not(fi))
Navigácia
[0] Index správ
[#] Ďalšia strana
Go to full version