Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
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