FEI archív 2006/2007 > 2. ročník

Matematicka logika - predtermin

<< < (2/54) > >>

mishelka:
no na predtermin boli v piatok prihlaseni 4 ludia ked si dobre pametam..

Raleon:

--- Quote from: mishela on  20.05.2007, 22:58:00 ---no na predtermin boli v piatok prihlaseni 4 ludia ked si dobre pametam..

--- End quote ---

ano, a ze vraj 25%-na uspesnost

Mar0sh:
niekto tu tlaci do hlavy den noc :P

pUf:
mozem tu len tolko napisat ze pan skrivanek nam na cviceni povedal:

bude 7 uloh

-priklad na: optimalny unifikator a nasledne z toho vytvorit rezolventu ci co  :laugh:-
-priklad na: separaciu klauzul pre pouzitie rezolucnej metody
-vytvorit formalny jazyk z axiomami a setkym co k tomu patrii
-daco zo syntaxu vyrokovej logiky
-daco zo semantiky VL
-daco zo syntaxu predikatovej logiky
-daco zo semantiky PL

len neviem co je to daco.. ci mame vediet po jednej vete podla vlastneho vyberu a potom tam bude treba riesit nejaky skvely problem alebo co tam treba vediet..

mishelka:
po jednej vete z kazdej casti ktoru ti on vyberie (vecsinou len tie pomenovane, lebo ostatne ti nema ako dat, cisla si nezapametas) - jedno z toho je problem, ktory ti tiez da asi on, jeden dokaz z kazdej casti ktory si sam vyberies.

Navigácia

[0] Index správ

[#] Ďalšia strana

[*] Predchádzajúca strana