Matematická logika
Množiny, mohutnost množin. Grafy. Relace. Výroková logika. Sémantický důsledek, tautologická ekvivalence. Úplné systémy logických spojek. Konjnktivní a disjunktivní normální formy. Dedukce ve výrokové logice. Rezoluční metoda ve výrokové logice. Predikátová logika a její sémantika. Přirozená dedukce v predikátorové logice, rezoluční … celý popis
Uloženo v:
Podrobná bibliografie
- Hlavní autor
- Další autoři
- Typ dokumentu
- Knihy
- Fyzický popis
- 160 stran : ilustrace ; 29 cm
- Vydáno
-
Praha :
ČVUT,
1997
- Vydání
- První vydání
- Témata
- Popis jednotky
- Na obálce nad názvem: České vysoké učení technické v Praze, Fakulta elektrotechnická
2500 výtisků
Dotisk prvního vydání 1999 přírůstkové číslo 597661 - Bibliografie
- Obsahuje bibliografii a rejstřík
- ISBN
- 80-01-01683-8
Vybrat instituci:
| Cíl | Přístupnost | Odkaz | Zdroj odkazu |
|---|---|---|---|
| Digitální knihovna | DNNT: Dostupné pro registrované | Digitalizovaný dokument | Národní technická knihovna - Kramerius |