• Welcome to TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach.
 
Menu

Zobrazi prspevky

This section allows you to view all posts made by this member. Note that you can only see posts made in areas you currently have access to.

Zobrazi prspevky Menu

Messages - Havran

#1226
2. ro?ník / Re: Matematická logika
07.06.2008, 23:20:07
Quote from: elektrikar on  07.06.2008, 17:37:53
neopisal niekto presne zadanie prikladov na prvom termine ?:P nech si to prepocitame ... vdaka 

a to si myslis ze nejaky manik si bude pametat vsetky tie pismenka v spravnom poradi co boli na termine ??

sak to taka sucha skuska bola, sa naucite metavety priklady a D jak vysite
#1227
ja pouzivam vsetko, ale ludia naokolo furt len na icq su looseri :)
#1228
2. ro?ník / Re: Matematická logika
06.06.2008, 04:00:42
skripta strana 54 priklad 77
#1229
2. ro?ník / Re: Matematická logika
06.06.2008, 03:50:37
ona zadal 4 teoreticke ulohy a kazda bola z inej casti cize taka situacia nenastane, dalej odporucam si pozriet pre pocitanie prikladov na separaciu klauzul aj ine teorie ako teoriu rovnosti, minimalne teoriu grup a pribuzenstva, teda naucit sa ich axiomi
#1230
2. ro?ník / Re: Matematická logika
04.06.2008, 19:27:27
Quote from: buhehe on  30.05.2008, 18:45:58
sk. B
1. dokazat postacujuci system shefferovou algebrou
2. dokazat metavetu zo syntaxe VL
3. napisat def struktury
4. napisat metavetu skolema
5. separacia klauzul (btw bola teoria pribuzenstva a bez jej axiom som bol v <>, tak som len dalej pocital bez nich a len som mu tam uviedol ze by som ich mal pridat :))
6. unifikacia a urcenie rezolventy

btw: viem ze vyhodnotenie je v pondelok na katedre matiky (tusim b621) ale neviete kedy?

opravene thx to DeNaTuReMaN

sak omg dve strany do zadu sa pozret
#1231
2. ro?ník / Re: Matematická logika
04.06.2008, 16:39:53
za metavetu podla vlasteho vyberu bolo asi 12 a za priklady 10 a 8 sa mi zda
#1232
O ničom / Re: Mam vypite a som na nete...
04.06.2008, 05:53:35
Quote from: hrmill on  04.06.2008, 05:51:19
daktori ani nevedia kde to je :D
Quote from: nighthunter on  03.06.2008, 23:38:46
golem vola (na dominikanskom keby ste nevedeli)

ci to malo informacii  ? ;)
#1233
O ničom / Re: Siet
03.06.2008, 18:39:54
DHCP bezi jak na Antiku tak na routeri
#1234
HF Board / Re: Zlievarenstvo
03.06.2008, 06:12:21
heh, inac by ma zaujimalo ze kolko ta vec na prvom obrazku vazi, sak to aspon piati museli drzat jak to tam nalievali
#1235
O ničom / Re: Siet
03.06.2008, 05:59:28
Quote from: psicho on  03.06.2008, 05:58:05
nastavis default getaway na ip toho servera tj Antiku :)

no ale ked mas DHCP zapnute ?
#1236
2. ro?ník / Re: Java
03.06.2008, 05:54:35
Quote from: Dulus on  03.06.2008, 05:33:56
Quote from: Havran on  03.06.2008, 04:07:58
tam inac jak su obrazky toho testu tak o neni uplne spravne vypracovany sa mi zda
Tie po anglicky vyzeraju byt dobre ale v tych slovenskych je dost chyb podla mna. Napr v scan0006.jpg posledna otazka 7. je podla mna extends a nie inherits. A aj potom su tam nejake chyby.

ta ono v tom slovenskom som pozeral su skoro vsetky zle :)

#1237
O ničom / Siet
03.06.2008, 05:51:50


na PC 3 bezi Windows XP (Vista), jak nastavim aby do internetu pouzivalo tu route priamu ???

alebo to automaticky si nastavi ?
#1238
2. ro?ník / Re: Java
03.06.2008, 05:09:48
ta podla IS kazda inac taze musis podla miestosti  bn
#1239
2. ro?ník / Re: Java
03.06.2008, 04:07:58
tam inac jak su obrazky toho testu tak o neni uplne spravne vypracovany sa mi zda
#1240
O ničom / Re: VTIPY A FLIPY
02.06.2008, 06:06:20
http://www.youtube.com/watch?v=qp6aZIhHiRE&feature=related

to neni bars vtipne, len to coolovo yzera
#1241
Quote from: buhehe on  02.06.2008, 03:16:29
ide vam learning connection?
dakus pomaly ale ide
#1242
O ničom / Re: VTIPY A FLIPY
02.06.2008, 03:05:12
Quote from: Veduci on  02.06.2008, 02:28:32
Originally built in 1901, this walkway now serves as an aproach to makinodromo, the famous climbing sector of El Chorro.

http://www.brightcove.tv/title.jsp?title=1438490562%20+

CO TI JEBE!!!!!!!!!

akoze jak toto postavili v 1901, nechapem
#1243
pravda pravda, mohli na tom blogu prihodit aspon foto, zeby citatelia mohli objektivne posudit :)
#1245
O ničom / Re: VTIPY A FLIPY
01.06.2008, 23:09:29
Medzinarodny Den Debilov ? :D :D ;)
#1246
aj tak je to chore ;)
#1247
O ničom / Re: Co pocuvate? TERAZ!
01.06.2008, 20:37:12
Quote from: LNC on  31.05.2008, 20:03:51
a najviac ma sere, ze tote smajle sa stale dokola nanovo nacitavaju, fakt ma to irituje, fuck it!

quick reply ?
#1248
http://www.aktuality.sk/spravy/domace/ziaci-neopravnene-nahravaju-na-mobily-aj-ucitelov

najlepsie: "V prípade nahrávania spolužiakov ide dokonca o nahrávanie v intímnych situáciách, na WC alebo pri prezliekaní na telesnú výchovu, pričom tieto videá sú rozposielané aj ďalším osobám."

to co za chory ludia mozu nahravat ucitelov na WC, WTF ???
#1249
Quote from: Agamemnon on  01.06.2008, 06:27:38
- sito na zápočtoch :) na skúške ani nie...

ta podla mna take isto sito aj na skuske ked 59% FX
#1250
2. ro?ník / Re: Matematická logika
30.05.2008, 17:22:47
pismoka bola jak sme vsetci ocakavali, priklady na unifikator a separovanie klauzl a teoreticke samozrejme formulovat zadanu metavetu k jednej z nejakej temy overenie, a dalsie dve som nemal sajnu, no tak uvidime pondelok ze co a jak