• 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 - neucilasom

#76
Fakt tu nikto nevie co je vyvazenie stromu alebo len nechcete napisat?
#77
2. ročník / Re: vypracovanie zadani
08.12.2010, 18:40:59
Quote from: Tenebrae on  08.12.2010, 18:14:34

Pracuje este niekto na zadaniach z FJAP? potreboval by som poradit/vypracovat/pomoct s niektorymi :) ak ma niekto cas (chut zarobit si $) prosim ozvat sa na [email protected]
ake mas cislo zadania?
#78
Vie mi niekto povedat co je to vyvazenie stromu ako sa to robi?
#79
2. ročník / Re: Matematicka logika
08.12.2010, 15:56:10
:DDDDDDDDDDDDDDDDDDD
Sranda musi byt: povedala si Drazenska a supla fajnovu pisomku :DDDDDDDD
Kebyze nemam 16 bodov uz istych neviem neviem ci by bola taka naladicka  :metal:
#80
2. ročník / Re: Matematicka logika
08.12.2010, 00:16:57
Ako je to vlastne pri tych vetach co sme mali napisat a potom dany vyraz znegovat? pri negacii sa meni vseobecny kvantifikator na existencna a naopak? a co sa este meni? aj a sucasne na implikaciu? ci nie? dava sa tam niekde aj znak negacie? diky
#81
Quote from: excellent on  07.12.2010, 19:03:57
Quote from: neucilasom on  07.12.2010, 18:50:36
Aj ja so  to kdesi tak nasiel ale je to dobre?
Striedaš pohlavia?  :D
jj to mas jasne ze hej ale inak pre tvoju zaujimavost aj priatelka sem chodi...
#82
2. ročník / Re: Matematicka logika
07.12.2010, 19:02:53
ano x aj y ale zvlast x do stlpca a zvlast y do stlpca a este pozor na take chytaky ze ked jeden z vyrazov je tautologia tak to rovno vyskrtnes a vobec nepises do tabulky.
#83
Quote from: black_stone on  07.12.2010, 18:48:43
procedure INORDER(VERTEX):
begin
     if LSYN[VERTEX] ≠ 0 then INORDER(LSYN[VERTEX]);
     LABEL[VERTEX] ← COUNT;
     COUNT ← COUNT + 1;
     if RSYN[VERTEX] ≠ 0 then INORDER(RSYN[VERTEX]);
end

begin
     COUNT ← 1;
     INORDER(ROOT);
end


procedure POSTRORDER (VERTEX);
begin
     if LSYN [VERTEX] ≠ 0 then POSTORDER (LSYN [VERTEX]);
     if RSYN [VERTEX] ≠ 0 then POSTORDER (PSYN [VERTEX]);
     LABEL [VERTEX] ← COUNT;
     COUNT ← COUNT + 1;
end

begin
     COUNT ← 1;
     POSTORDER (ROOT);
end

Aj ja so  to kdesi tak nasiel ale je to dobre?
#84
2. ročník / Re: vypracovanie zadani
07.12.2010, 18:23:05
Quote from: black_stone on  27.11.2010, 21:02:20
kto robi 4-ku nech sa mi ozve - ponukam 8 ecok  :puf:
jake mas cislo?
#85
Quote from: excellent on  07.12.2010, 17:10:59
Quote from: neucilasom on  07.12.2010, 17:08:34
Na 10. hashtable skade beriete pseudokod? bo nemam sajnu.
S kým máš cviko? Lebo Slodičák vravel, že hashtable nebude
mam Korecka on vravel ze da od 6 tky po 10 ku
#86
Na 10. hashtable skade beriete pseudokod? bo nemam sajnu.
#87
Quote from: M4YCoo on  07.12.2010, 05:47:18
jj .. malo by to stacit  ;)
A uz si pisal?
#88
Quote from: Jomi on  07.12.2010, 09:44:40
kupim stvrte zadanie a surne, preto za kazdy ziskany bod pri odovzdani zaplatim 2 € :D, ponuka plati len do 7.12.2010 23:59 :). Piste SS, na maily vysim cely den
Ake mas cislo?
#89
Quote from: fail on  07.12.2010, 03:41:10
ked vies funkciu tak asi vies aj pseudokod, nie ? :D
Ta nemusi vediet ked sa len bifluje ked program nerobil on a pseudokod je PL jazyk a C je ceckovsky kod. a ked sa nauci ceckovsky kod a nema ani sajnu o com to je tak odkial by mal vediet pseudokod? ci co ty chapes pod pseudokodom???
#90
Caute PSEUDOKODY ktore nie su na MOODLI sa ucite odkial?
#91
No ale ja som to myslela ako na pisomke nie v programe.
#92
Ak kreslim syntakticky strom a mam vyraz 3+4-5+9+10 a mam - ma prioritu 1 a + 2  a vsetko je bez asociativity z toho vyjde ze najprv sa urobi 4-5 a potom k tomu pripocitame 3 a ostatne sa odignoruje a uz sa nekresli?
#93
Pisal niekto vobec 3. pisomku z FJaP ?
#94
2. ročník / Re: Matematicka logika
18.11.2010, 02:04:07
revelc   nevedel by si mi este raz vysvetlit na nejakom priklade co je term a co formula? diky
#95
2. ročník / Re: Matematicka logika
18.11.2010, 01:19:21
Quote from: revelc on  18.11.2010, 01:13:03
A<=>B  je semanticky ekvivalentne s (A=>B) ∧ (B=>A)

F je prazdna rezolventa (klauzula)
ok diky
#96
2. ročník / Re: Matematicka logika
18.11.2010, 01:10:34
Quote from: revelc on  18.11.2010, 01:08:10
Kontradikcia je opak tautologie, cize ked je formula nepravdiva pri kazdom ohodnoteni...ako to suvisi s F ?

Ja som sa len pytal ze co je F  ???
a nevies nahodou ako rozlozime    A<=>B    ???
#97
2. ročník / Re: Matematicka logika
18.11.2010, 01:09:27
Vedel by niekto povedat ze ako rozlozime    A<=>B    ??? pomohlo by dikes.
#98
2. ročník / Re: Matematicka logika
18.11.2010, 01:02:05
Quote from: revelc on  18.11.2010, 00:29:20
Quote from: neucilasom on  17.11.2010, 23:09:36
Vedel by mi niekto vysvetlit kedy je mnozina formul pri rezolucnej metode splnitelna a kedy nie?
A takisto co je to term a co  formula? diky ak mate nejake otazky k niecomu inemu co viem mozem tiez pomoct.
Ak ti vyjde F tak je mnozina dokazatelna, inak je splnitelna (cize ak ti NEVYSLO F)... ja sa riadim podla toho
A co je to F kontradikcia?
#99
2. ročník / Re: Matematicka logika
17.11.2010, 23:43:23
Quote from: ursus on  17.11.2010, 23:22:48
tak term je premenna, konstanta, a funkcia aplikovana na tolko termov kolko ma arnost

a formule je predikat aplikovany na term, arnosti tiez musia sediet + logicke spojky este, cize napr formula AND formula = formula

//no a olem, zisti mi tu moju otazku  ;D


A niekto kto to vysvetli pomocou  nejakeho prikladu? bola by som vdacna.
P.S.:na konci rezolucnej som mala tiez problemy no teraz zacinam tusit ze si to musis tiez rozpisat pomocou tabulky a potom ked mas aspon jednu 1 tak mas splnitelnu formulu. proste zistujes splnitelnost formule ktora ti vysla.
#100
2. ročník / Re: Matematicka logika
17.11.2010, 23:09:36
Vedel by mi niekto vysvetlit kedy je mnozina formul pri rezolucnej metode splnitelna a kedy nie?
A takisto co je to term a co  formula? diky ak mate nejake otazky k niecomu inemu co viem mozem tiez pomoct.