Základy formální logiky

https://www.databazeknih.cz/img/books/48_/484998/bmid_zaklady-formalni-logiky-cf8-484998.jpg 0 0 0

Učebnice slučuje prvky tradičního výkladu s některými principy programovaného učení. Při objasňování základů výrokové a predikátové logiky nepředpokládá předběžné znalosti oboru. Je rozčleněna do krátkých paragrafů, na jejichž konci jsou uvedeny příklady k procvičení. Ke kontrole správných řešení slouží klíč se správnými odpověďmi.... celý text