Sbírka řešených úloh z logiky pro informatiky

Investor logo
Authors

MRÁKOVÁ Eva POPELÍNSKÝ Lubomír

Year of publication 2015
Citation
Description This book contains collection of tasks from propositional and predicate logic including solutions. It is designed for a basic logic course mainly on Bachelor level. In addition to the basic problems of these two logical calculi this book also contains tasks on resolution method in propositional and predicate logic.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.