Stránky: 1
Zdravim,
nevíte někdo o nějakých příkladech z predikátové logiky, které by byly podobné příkladům jako se vyskytují v těchto testech (strany 3 a 4):
http://kti.mff.cuni.cz/~mlcek/EXAM_T_2a.pdf
http://kti.mff.cuni.cz/~mlcek/EXAM_T_2b.pdf
http://kti.mff.cuni.cz/~mlcek/EXAM_T_3a.pdf
Všude jen nacházím buď úlohy víceméně mechanické (substituovatelnost, převod do PNT, pravdivost v dané struktuře atd) nebo dost teoretické (důkazy různých tvrzení a vět), ale podobné těm co jsou v těchto testech jsem moc nenarazil.
Pokud byste někdo o něčem věděli budu velice vděčný, pokud to bude i s řešením (ideálně se zdůvodněným) budu vděčný dvojnásob.
Teorii docela chápu, ale moc se mi nedaří řešit podobné příklady...
Offline
Stránky: 1