Number of the records: 1
Základy formální logiky
Signatura N9508-1; 16 (JAN) Author Janák, Vladimír, 1927- (Author) Title statement Základy formální logiky / Vladimír Janák Edition statement 1. vyd. Issue data Praha : SPN, 1973 Phys.des. 235 s. Copy count 1, currently available 1 book
Track No. Location Sublocation Info 15272/74 Ústřední knihovna Sklad Keywords formální logika * základy * učebnice UDC 161/162 Database Knihy Annotation 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. Note Přehl. doporučené lit
Věcný rejstřík.Loading…
Number of the records: 1