Popis
Obsahuje:
- Konstrukce výroků a výrokových funkcí v dané struktuře. Pojem formalizované teorie.
- Výrokový kalkul
- Booleovy algebry
- Predikátový kalkul
Matematická logika
39 Kč
1 skladem
Další informace
| Autor | Jiří Brabec |
|---|---|
| Rok vydání | 1975 |
| Počet stran | 144 |
| Vydalo | ČVUT Praha |
| Vazba | Měkká |
| Stav | Dobrý |
Recenze
Zatím zde nejsou žádné recenze.