Number of the records: 1
Základy formální logiky
SYS m0338101 LBL 00000nam-a22^^^^^3a-4500 003 CZ-CbJVK 005 20240416073804.1 007 ta 008 000202s1976----xr------------------cze-- 015 $a cnb000145948 035 $a (OCoLC)42108364 040 $a CBA001 $b cze 072 -7
$a 16 $x Logika $9 5 $2 Konspekt 080 $a 164 $2 MRF 080 $a (075) $2 MRF 100 1-
$a Janák, Vladimír, $d 1927- $7 jk01050759 $4 aut 245 10
$a Základy formální logiky / $c Vladimír Janák 250 $a Vyd. 2. 260 $a Praha : $b Státní pedagogické nakladatelství, n.p., $c 1976 300 $a 235 s. 504 $a Obsahuje bibliografii a rejstřík 520 3-
$a 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. $c okcz $u https://www.obalkyknih.cz/view?oclc=(OCoLC)42108364&nbn=cnb000145948 $2 OKCZ - ANOTACE Z WEBU 650 07
$a formální logika $7 ph120290 $2 czenas 655 -7
$a učebnice $7 fd133770 $2 czenas 910 $a CBA001 FMT BK
Number of the records: 1