Matematická logika

[Mao]

Pozrite si skolsky e-mail, teda TExxxxxx[at]tuke.sk, prisiel mi tam mail od cviciaceho (Skrivanka), ohladom nejakych materialov na cvika a link a e-learningovy portal. A pise tam, vraj sa uz mame pripravit dopredu na cvicenia podla harmonogramu , co sa mi az tak nepozdava  .

[Korgen]

To plati iba pre toho kto ma cviko so Skrivankom, alebo pre vsetkych co maju so Skrivankom prednasku?

[Mao]

Neviem, ale pokial si ten email nedostal, tak to pre teba podla mna neplati.

[LONEr]

hodte sem ten mail plz, thx

[Payne]

posta.tuke.sk

[buhehe]

cize mame na prve cviko: Preklad z beznej reci do jazyka vyrokovej logiky....
myslim ze zas daco jak bolo na algebre abo kde...
a od tretiakov som pocul ze logika je len v nazve predmetu 

[TradeMark]

Hmmm no ja som tiez dostal ten e-mail, aj som sa prihlasil na to e-learning centrum aj som sa preklikal az ku predmetu Mat. Logika ale nejako tam nejaky harmonogram nevidim :/ ... akurat zoznam literatury.

[buhehe]

Hmmm no ja som tiez dostal ten e-mail, aj som sa prihlasil na to e-learning centrum aj som sa preklikal az ku predmetu Mat. Logika ale nejako tam nejaky harmonogram nevidim :/ ... akurat zoznam literatury.

ja som si dal vyhladat predmet ML a potom uz len na studijne materialy a mas to...

[johnyo13]

a co konkretne znamena ze mame byt pripraveny na prve cviko podla harmonogramu....To ze viem co sa bude preberat, ci to uz mam nebodaj mat aj nastudovanu problematiku?

[Mao]

To ani srnka netusi  .
Ale najskor to mysli tak, aby sme mali nejaku sajnu, ze o com toci. Asi s nami chce viest dialog, mozno nerad rozprava sam so sebou. 

[sogi]

ludia, myslim si ze pan skrivanek je jeden z najlepsich matikarov (spolu s plavkom, kudlacom a bereznym)...jeho cvika maju hlavu a patu a hlavne...ked clovek nechce tak nemusi nic robit....ale potom ho to bude mrziet na zapoctovke...kedze on si velmi dobre pamata ktory pan (ako on oslovuje studentov) ako pracoval....
a este....pri nom neexistuju opravne pisomky....on, ked chce tak najde body v napisanych pisomkach (a skuskach )
ak chcel aby ste si nieco pozreli tak to chcel preto lebo chce aby to bolo bez problemov

[TradeMark]

Moze tu dakto postnut ten mail co posielal Skrivanek?

[kOsTi]

Email studentom predmetu Matematická logika






Vážení priatelia,

Materiály k predmetu vám budem poskytovať prostredníctvom portálu


http://ep.tuke.sk/home/index.php?Lang=sk&Theme=Default&Mode=Portal&Portal=1

kde sa prihlasujte pod menom: xxx  a heslom: xxx

Pripravte sa, prosím, na prvé stretnutia podľa harmonogramu štúdia.

Prajem príjemné a radostné štúdium.

S pozdravom

[pepco]

nehodil by sem niekto 3 a dnesnu 5 prednasku? 

[Korgen]

nehodil by sem niekto 3 a dnesnu 5 prednasku? 

hmmm, ale ako dost som skrabal  a na zaciatku mi stale trosku ujde, lebo sa vzdy idem naranajkovat do bufetu, tak asi 10 min meskam 

EDIT: tak ak nic nezozenies tak sa ozvi 

[TradeMark]

Kedy pisete zapocet z ML? Resp ma niekto matiku pred stvrtkom 8:15 rano? 

[Alex]

Zdravim ... Mali ste dnes zapoctovku ti co ste mali cvika so skrivanekom??? Ake boli ulohy? Napiste dakto pleas ...

[buhehe]

nemali sme zapoctovku....a dokonca ani nedal previerku

[Alex]

ani ta druha skupina nemala zapoctovku ? neboli ste dohodnuti, ze napisete zapoctovku dnes?

[Corse]

Takze dnes sme mali zapoctovku:

A skupina:
1. syntakticky strom
2. karnafovka 5 premennych
3. rezolucna metoda (slovne zadanie)

B.skupina:
1.ci je formula pravdiva
2.zistit ci sa jedna o MP (slovne zadanie)
3.rezolucna metoda (formalne zadanie)

40 minut ... koopu casu

Mam so skrivankom skupina 5

[Sooloni]

Takze dnes sme mali zapoctovku:

A skupina:
1. syntakticky strom
2. karnafovka 5 premennych
3. rezolucna metoda (slovne zadanie)

B.skupina:
1.ci je formula pravdiva
2.zistit ci sa jedna o MP (slovne zadanie)
3.rezolucna metoda (formalne zadanie)

40 minut ... koopu casu

mas so skrivanekom?

[TradeMark]

hej...tie otazky boli u skrivanka.. ja som mal B a doplnim :

1. Trebalo zistit ci je system splnitelny
2. Formuly boli asi take (boli pisane ako vety):

F => G
G => H
a
F =>H

a trebalo napisat ci je to spravne implementovany MP (prirodzene ze nie)

3. rezolucna metoda na vyplyvanie

prve 2 ulohy sme mali za 3 body.. rezolucna bola za 6

[ONdro]

Moze mi pls niekto povedat,ako zistim pri rezolucnej metode,ze je to tautologia?

[kOsTi]

aj ma byt tautologia tak negacia ma byt kontradikcia.... potom zistis rezolucnou ci obsahuje prazdnu formulu...

ak ano tak ta negacia je kontradikcia cize povodne je tautologia
ak nie tak negacie nie je kontradikcia cize povodna nie je tautologia

[pepco]

napise niekto typy prikladov co vam dal dnes Skrivanek na pisomke? ze boli skupiny C, D a dalsia st.sk mala E, F