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

Zobrazi� pr�spevky

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� pr�spevky 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