Základy formální logiky
Vladimír Janák
nehodnoceno
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
Žánr:
Vydáno: 1976 , SPN - pedagogické nakladatelství (SPN - Státní pedagogické nakladatelství)
Originální název:
více info...
Literatura naučná , Učebnice a slovníky , Matematika a logika
Vydáno: 1976 , SPN - pedagogické nakladatelství (SPN - Státní pedagogické nakladatelství)
Originální název:
Základy formální logiky , 1973
více info...