Number of the records: 1
Základy formální logiky
Janák, Vladimír, 1927- - Author
Vyd. 2. - Praha : Státní pedagogické nakladatelství, n.p., 1976 - 235 s.
formální logika
učebniceCall number C 201.358 Umístění 161/164 - Logika. Logistika Info RETRO-CATALOGUING - SHORT RECORD Title statement Základy formální logiky / Vladimír Janák Main entry-name Janák, Vladimír, 1927- (Author) Edition statement Vyd. 2. Issue data Praha : Státní pedagogické nakladatelství, n.p., 1976 Phys.des. 235 s. National bibl. num. cnb000145948 Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Subj. Headings formální logika Form, Genre učebnice Conspect 16 - Logika UDC 164 , (075) Country Česko Language čeština Ve volném výběru 161/164 - Logika. Logistika Document kind BOOKS 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. Zdroj anotace: OKCZ - ANOTACE Z WEBULoading…
Number of the records: 1