Zdravim,
v okruhoch na prijmacky je aj toto :
Logika - přirozená dedukce, využití výrokové logiky, vyplývání závěrů z předpokladů a jejich ověřování, formulace a převody podmínek (relační operátory) a jejich interpretace.
a neviem nájsť na googli komplexný článok o tejto téme. Mohli by ste mi pomôcť?
Tie výroky som našiel ale tie ostatné veci nie.
Ďakujem Pekne :)
Offline
Podle toho jak to popisuješ jde nejspíše o Logiku a Formální jazyk.
http://www.phil.muni.cz/fil/logika/vl.php
Offline