|
|
.
|
|
|
0 (hodnocen0 x )
|
|
|
(4.3) Půjčeno:13x
|
|
|
BK
|
|
|
|
|
|
|
|
|
1. vydání
|
|
|
Praha : Práce, 1968
|
|
|
185 stran
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
000056328
|
|
|
Obsah // Předmluva... 7 // Výroky...11 // Výrokotvorné funktory...13 // Formule výrokové logiky...23 // Vyhodnocování formulí...27 // Ekvivalence formulí...30 // Transformace formulí...36 // Tautologie, kontradikce, splnitelné formule...39 // Normální formy a úplné normální formy...46 // Poznámky к minimalizaci úplné disjunktivní normální formy...67 // Situace a vztahy mezi složkami formule...69 // Premisy, důsledky...65 // Úvod do predikátové logiky...84 // Kvantifikátory...90 // Formule predikátové logiky... 94 // Ekvivalentní formule...98 // Splnitelné formule predikátové logiky, tautologie...109 // Logika tříd...120 // Aritmetické aplikace algebry tříd... 149 // Logika relací... 158 // Příloha (tabulky formulí) // 8
|
|
|
(OCoLC)42183897
|
|
|
cnb000163266
|
Dotazy a připomínky