Matematicka logika - predtermin

[Ing. nemtom]

ako som spominal uz na icq, mishela bola na ustnej:D:D

[mishelka]

lebo som tam mala napísané to čo bolo treba

[MKI]

len nech ujo skrivanek raz dva opravi )) bo to cakanie a stres pri opisovani najhorsie ))

[psicho]

ta podla mna radsej pomali a dobre a stedro vobec ne prisne

[mishelka]

no tak ako to zabili s tým utorkom.. čo idú tie písomky vyrábať spolu s traktormi?

[ApokalypS]

cooo ja onicom neviem

[fanfo]

ta podla mna radsej pomali a dobre a stedro vobec ne prisne

takto by sa to aj mne pacilo, presne ako psicho napisal pomaly a stedro:emot-dance:

[wlade]

Napiste niekto ake boli otazky na skuske alebo na co sa mam zamerat. Tiez idem na opravu ale az 19.6. a nevioem ani meke f co sa mam ucit okrem toho ze treba jazyk vymysliet

[fanfo]

skup G:
- lubovolnu metavetu (nepamatam zkade)
- dokazat zakon dunsa scotta
- abeceda a jazyk teorie 1.radu
- daka metaveta o dedukcii abo daco podobne
- vlastna tvorba jazyka

priklady bola takeho typu ako su vo vzore

[mishelka]

-MV o nahradení, syntaktická verzia
-dokázať, že axiómy výrokovej logiky sú tautológie
-ľubovoľná MV zo sémantiky PL + dôkaz
-rozšírenie teórie, konzervatívne rozšírenie teórie, ekvivalentnosť teórií
a potom jazyk a príklady... ten istý typ ako vzor...

ale aj tak si nemyslím že dajú to isté znova... 

[Raleon]

-MV o nahradení, syntaktická verzia
-dokázať, že axiómy výrokovej logiky sú tautológie
-ľubovoľná MV zo sémantiky PL + dôkaz
-rozšírenie teórie, konzervatívne rozšírenie teórie, ekvivalentnosť teórií
a potom jazyk a príklady... ten istý typ ako vzor...

ale aj tak si nemyslím že dajú to isté znova... 

frasa. Keby som ftedy sedel na tvojom mieste... 

[wlade]

Termin 19.6. uz nevidim realne tak som sa prehlasil na 22.6.

[trek]

kedy budu vysledkyyyyyyyyyyyyyyyy?

[mishelka]

v utorooooooooooooook

[trek]

ale som sa ho pytal a ze uz v nedelu vecer to da na IS

[psicho]

blee jasa bojim kuknut na is

[MKI]

E 59 

[psicho]

yeeeah aj ja ju uz maaaam, konecne praaaaazdniny

[MKI]

no kto ako ja este zi a siete

[psicho]

haaat nexelbysom , ZI uz vobec ne

[trek]

62 D YEEEEEEEEEEEEEEEEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAHHHHHHHHHHHHHHHHHHHHHHHHHHHH      

btw neviete ako to je s prenasanim predmetov do tretieho rocnika?...moze sa prenasat?

[mishelka]

to som zvedavá kde mi tam stiahli body že mám B...

[kane77]

62 D YEEEEEEEEEEEEEEEEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAHHHHHHHHHHHHHHHHHHHHHHHHHHHH      

btw neviete ako to je s prenasanim predmetov do tretieho rocnika?...moze sa prenasat?

preco by sa nemohlo?

haaat nexelbysom , ZI uz vobec ne

no tak ja este Logika, Siete, a ZI... ver tomu ze ani ja nechcem

[trek]

to som zvedavá kde mi tam stiahli body že mám B...

asi si mala velmi komplikovany ten vlastny jazyk co si postla ...lebo ked som to videl som mysle ze ma porazi

[fanfo]

E 54, dpc cakal som viac ale lepsie ako s klincom do oka