Základy formální logiky

To chci

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ý popis

Podrobná bibliografie

Hlavní autor

Vladimír Janák, 1927-

Typ dokumentu

Knihy

Fyzický popis

235 s.

Vydáno

Praha : SPN, 1973

Vydání

1. vyd.