Matematická logika

[buhehe]

vraj jj...
ale dnesny zazitok: som mu poslal ze xcem taku temu...odpisal ze dobre, ze mu mam poslat na mail...ok poslal som mu a on mi odpisal nech mu poslem az ked budem zapisany v tom zozname do ktoreho ma ma zapisat on...

[kOsTi]

temy mame vlastne odovzdavat cviciacemu ci jemu ci jak?

[Padres]

A poslal si mu otazku ze akym sposobom ta moze do toho zoznamu zapisat?

[buhehe]

este ne som musel ist do het a nedavno som prisiel domov a teraz vecer sa mi ani nexce a asi aj tak zajtra by bola odpoved...(abo pondelok)...cize zajtra mu napisem ze co sa da robit...

[buhehe]

temy mame vlastne odovzdavat cviciacemu ci jemu ci jak?

netusim...asi cviciacemu ale moj cviciaci je skrivanek thaze mam aspon s tym pokoj...

[badi]

No ja mam zasa iny problem.
Napisal som mu temu, a k nej aj priklad, ci moje riesenie je spravne, jeho odpoved bola ze mam formulovat teoriu, nie problem, no nechapem teraz, ako to myslel, kedze ja som formuloval teoriu. tak som to prerobil a poslal som mu uplne ine a preistotu uz druhy den neodpisal :-(

[Payne]

Hej inak viete niekto aky je to jazyk a a bez rovnosti???

[kOsTi]

Nemal uz niekto druhu pisomku?

[kOsTi]

heh neviete niekto od kade ma byt ta pisomka lebo nejak nemam zaznacene pokade bola prva

[sri]

no tak druha cast v skriptach - predikatova logika

[LONEr]

seruste, niekto dneska musel uz pisat zapocet c.2. Tak napiste, ake priklady boli. diky

[kOsTi]

ja som mal... priklady 3

1. napisana formula a trebalo napisat jej syntakticky strom, vytvarajucu postupnost, urcit ci su cleny viazane, volne atd... a cela formula ci je uzavreta alebo otvorena.

2. napisat formulu z 1. prikladu v prenexnom tvare.

3. napisat otvoreny skolemovsky variant formuly z predch. cvicena...

[libra]

ja som mal... priklady 3

1. napisana formula a trebalo napisat jej syntakticky strom, vytvarajucu postupnost, urcit ci su cleny viazane, volne atd... a cela formula ci je uzavreta alebo otvorena.

2. napisat formulu z 1. prikladu v prenexnom tvare.

3. napisat otvoreny skolemovsky variant formuly z predch. cvicena...

S kym mas matiku?

[kOsTi]

taka teta... podla vsetkeho asi Draženská Emília 

[puq]

inac pisal dnes uz niekto aj so skrivankom?

[nighthunter]

15.   Diskotékové vzťahy.

[Havran]

nebola, ulohy boli tie iste pre obidve skupiny ale ta formula na zaciatku bola ina

[BossZ]

skupina 10.50, piste prosim co bolo na pisomke u Skrivaneka.

[sri]

skupina 10.50, piste prosim co bolo na pisomke u Skrivaneka.

Vsetky skupiny, ktore ste dodnes pisali, piste co bolo na pisomke ...
Inak, pise niekto aj na buduci tyzden a ked hej tak kedy?

[Havran]

ja som mal... priklady 3

1. napisana formula a trebalo napisat jej syntakticky strom, vytvarajucu postupnost, urcit ci su cleny viazane, volne atd... a cela formula ci je uzavreta alebo otvorena.

2. napisat formulu z 1. prikladu v prenexnom tvare.

3. napisat otvoreny skolemovsky variant formuly z predch. cvicena...

tam v tretej ulohe ja som mal este ze v klauzularnom tvare

[layo]

taze dneska 10 50 s ujom skrivankom boli taketo priklady:
1. nakreslit strom formuly....potom aj strom najdlsieho termu formuly a jeho vytvarajucu postupnost
2.prenexny tvar predchadzajucej formuly
3.mali sme novu formulu a ju upravit podla tej stoklesovej rovnice ci co to je 



obe skupiny mali to iste len inu formulu

[BossZ]

taze dneska 10 50 s ujom skrivankom boli taketo priklady:
1. nakreslit strom formuly....potom aj strom najdlsieho termu formuly a jeho vytvarajucu postupnost
2.prenexny tvar predchadzajucej formuly
3.mali sme novu formulu a ju upravit podla tej stoklesovej rovnice ci co to je 



obe skupiny mali to iste len inu formulu

to iste daval aj nasej skupine o 13.30, v tretej ulohe trebalo napisat otvorený skolemovský variant uzáveru formuly.

[Alex]

taze dneska 10 50 s ujom skrivankom boli taketo priklady:
1. nakreslit strom formuly....potom aj strom najdlsieho termu formuly a jeho vytvarajucu postupnost
2.prenexny tvar predchadzajucej formuly
3.mali sme novu formulu a ju upravit podla tej stoklesovej rovnice ci co to je 



obe skupiny mali to iste len inu formulu

ako zistim najdlhsi term formuly ... ?

[pepco]

taze dneska 10 50 s ujom skrivankom boli taketo priklady:
1. nakreslit strom formuly....potom aj strom najdlsieho termu formuly a jeho vytvarajucu postupnost
2.prenexny tvar predchadzajucej formuly
3.mali sme novu formulu a ju upravit podla tej stoklesovej rovnice ci co to je 



obe skupiny mali to iste len inu formulu

ako zistim najdlhsi term formuly ... ?

tha pozriem a vidim, ne? ktory ma najviac premennych logicky

[Padres]

btw nevie niekto dokedy treba poslat projekt skrivankovi na mail?