Wir senden dir das abgebildete Buch

Základy formální logiky

Autor*innen

Vladimír Janák

Parameter

Lehrbücher
Mathematik und Logik
Sachliteratur

Mehr zum Buch

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.