Number of the records: 1
Základy formální logiky
Signatura N9508-2; 16 (JAN) Author Janák, Vladimír, 1927- (Author) Title statement Základy formální logiky / Vladimír Janák Edition statement 2. vyd. Issue data Praha : SPN, 1976 Phys.des. 235 s. Copy count 1, currently available 1, Access to Shelves 1 book
Track No. Location Sublocation Info 18965/76 Líšeň, Jírova Pobočky - volný výběr 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átorové logiky nepředpokládá předběžné znalosti oboru. Na konci krátkých paragrafů uvádí příklady k procvičení. Ke kontrole správnosti řešení slouží kllíč. Loading…
Number of the records: 1