Fórum studentů MFF UK

Za ty vypracovane otakzy sem ti nezkutecne vdecny, prave sem se chystal prochazet ten milion slidu, ale toto mi usetri kotel casu!!!
Dik moc za nasdileni

Tematem tohoto zapoctoveho testu bylo kachlickovani. Na vstupu dostaneme ve vstupnim souboru seznam pouzitelnych kachlicek, kazda ma na jedne strane nejakou barvu. Dale na vstupu dostaneme nejak jiz vykachlickovanou plochu a mame ji dokachlickovat. NP-uplny problem, nezbyva nez postupne zkouset pokl...

Ahoj, loni jsem mel taky velke problemy pri ziskavani zapoctu z vyrokove a predikatove logiky a kdyz uz cvicici nevedel co se mnou, tak mi dal v ramci ziskani zapoctu spocitat vsechny priklady ze stepankovych skript a to z kapitol 1 a 2, coz sou priklady prave z vyrokove a predikatove logiky. Stravi...

http://pejskofil.borec.cz/Logika/1.JPG
az
http://pejskofil.borec.cz/Logika/30.JPG