.

0 (hodnocen0 x )

(1) Půjčeno:1x 

BK

Praha : ČVUT, 1981

237 s.

000061154

1. Úvod // 2. Základy logiky výroků // Metodické pokyny // 2.1. Základní pojny jazyka výrokové logiky // Cvičení 2.1 // 2.2. Logické úkoly a jejich řešení pomocí pravdivostních tabulek // Cvičení 2.2. // 2.J. Disjunktivní a konjunktivní normální formy // Rozkladové tabulky // Cvičení // 2.4. Úplný přehled logických spojek // Cvičení 2.4. // 2.5. Booleova algebra // Cvičení 2.5. // 2.6. Řešení logických úkolů kombinačními sítěmi // Cvičení 2.6. // 2.7. Úešení logických úkolů sémantickými metodami pomocí počítače // Cvičení 2.7 // 2.8. Syntaktická výstavba jazyka výrokové logiky // Cvičení 2.8 // 2.9. Vícehodnotové logiky // Cvičení // Kontrolní otázky ke kapitole 2 // 3. Automaty a algoritmy // Metodické pokyny // 3.1. Determinovaný automat a jeho funkce // 3.2. Pojem algoritmu // 3.3. Zpřesnění pojmu algoritmu. Turingův stroj // 3.4. Některé podrobnosti o algoritmech // Cvičení // Kontrolní otázky ke kapitole 3 // 4. Základy logiky predikátů // Metodické pokyny // 4.1. Základní pojmy predikátové logiky // Cvičení 4.1 // 4.2. Predikáty vyšších stupňů // Cvičení 4.2 // 4.3. Řešení logických úkolů v jazycích predikátové logiky pomocí sémantických metod // Cvičení // Syntaktické výstavba jazyka predikátové logiky 183 // Cvičení 4.4 I92 // 4.5. Algoritmická řešitelnost postupů v predikátové logice 193 // Kontrolní otázky ke kapitole 4 201 // Výsledky cvičení 203 // Seznam doporučené literatury 23O // Slovník některých cizích termínů 231 // Rejstřík 233

(OCoLC)42170062

cnb000260341