Messages

prvý stop

Tak ako? kedy tipujete, že nám oznámia, že zápis je pozastavený?

veteran ake otazky si este mal?

Nakreslite vzájomnú polohu deklarácií volajúcej procedúry A a volanej procedúry B...

Vymenujte a popíšte režimy syntaktickej analýzy. Vymenujte a popíšte položky tabulky pre sémantickú analýzu.

čiže všetko čo vieme

Code [Select] Expand

Casova zlozitost je definovana ako pocet jednotiek casu potrebnych na spracovanie vstupu velkosti ak jednotka casu n je 1ms, vstup akeho najvecsieho rozmeru spracuje algoritmus s casovou zlozitostou T(n)=2^n za 1 sekundu?

Má niekto tušenie ako sa to počíta ?

koho na numeriku,pravdepodobnost a statistiku  - Pribisa alebo Schrotera? S Pribisom som matiku II mal takze uz ho poznam ale o tom druhom som nic nepocul ...

So Schrötterom som mal MAT1 a chodil som tam skôr so strachom čo urobí ak niekto niečo pri tabuli nebude vedieť 

PaM uz ajtak asi neexistuje takze to je jedno 

A ak niekto náhodou neurobil skúšku tak čo akože? Má smolu a kedže si nemohol preniesť PaM do druhého ročníka (lebo už nie je) tak automatický vyletí zo školy? Lebo určite sa našiel niekto taký, kto neurobil PaM Nie každý mal možnosť zhliadnuť "študijný materiál" na skúšku

a už máme verdikt na MAIS-e slečny 

Koľká snaha o tento predmet

3.26 e,f ... vie niekto hodiť postup ?

žiadna mapa, NKT, ÚNDT, MDT, ... ?

a čo sa vyskytlo z príkladov na predtermíne? čo môžeme očakávať ? niečo podobne ako na zápočte+predikátová logika ?

už sú v MAIS-e 2 termíny

čo ste mali na predtermíne? ešte si to niekto pamätá? Ak hej, napíšte

čo to spomínala minule Draženská ? že tento týždeň nemusíme prísť na cviko ? že nebude robiť prezenčku ? dačo take si pamätám, že nech prídu len tí, čo majú nejaké nejasnosti...

Na opravaku maju byt take iste typy prikladov ako bolo na riadnom termine??

netuším čo iné by mohli dať...len to isté

a to ho akože aj priniesť máme zajtra keď nám ani nič neodpísala ?

kolko stran ste odovzdavali tohto roku na semestralny projekt ked ste na tom robili viaceri.. pripadne co vam na to odpisala Hrehova?

zatial neodpísala nič...

kde tam mas napisane, ze je to predtermin ?

Praveze nikde, co si o tom myslis?

zatial tam neni vypisany predtermín, to čo tam je (7.12 13:10) je iba opravny zápočet...ale tiež sa mi niečo marí že spomínala že predtermín bude v 13tom tyzdni na prednáške...ale určite to hodí na net nasledujuci týždeň

to zvlášť bude Draženská zapisovať body za písomku a body za bleskovky ?

má už niekto zapísane výsledky v MAISE ? 

do prvého ? alebo už tento pondelok ?

aj mne ... ale ked das poradie s, t, p, q, r tak to vyjde riadne .. zaujimave

pri poradi p, s, t, r vychádza 2x za sebou T (q v !q)

nemohol by niekto vyratať tu rezolucnu metodu, z toho zapoctu co koluje facebookom skupina A. odfotiť a postnuť sem. mne to nevychadza.

mne tam vychádza tautológia 

                            b f          b  f                                   b         f   b    b
((pre vsetky x) Q(x,y) v P(f(x,y))) <=> (existuje y)(P(y) v Q(x,f(y,g(y))))

tak je? 

yep

a) keď term f(x,y) nahradím za x tak z toho vyplýva že sa y stane viazanou => nie je substituovatelný
b) keď term f(y,a) , a je konštanta, nahradím za y tak sa po dosadeni y nestane viazanou => bude substituovatelný

hejže

                            b f          b  f                                   b         f   b    b
((pre vsetky x) Q(x,y) v P(f(x,y))) <=> (existuje y)(P(y) v Q(x,f(y,g(y))))

tak je?