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:
Jednotky
Nápověda| Dostupnost | Stav | Oddělení | Sbírka | Umístění | Více informací | Poznámka | Signatura | |
|---|---|---|---|---|---|---|---|---|
|
Absenčně
|
Načítá se…
|
Dospělí-naučná-věž
|
|
263.368 |