Základy logiky a metodologie : [pro bakalářské studium]
Logika a metodologie. Základní prostředky jazyka teorie. Formalizace, formalizovaný jazyk. Logika - základní symboly, logické spojky, funkční úplnost, formule výrokové logiky. Axiomatizace. Základy predikátové logiky. Výstavba teorie. Definice.
Uloženo v:
Podrobná bibliografie
- Hlavní autor
- Typ dokumentu
- Knihy
- Fyzický popis
- 65 s. : obr., tab. ; 30 cm
- Vydáno
-
Praha :
Eupress,
2007
- Vydání
- Vyd. 1
- Témata
- ISBN
- 978-80-86754-90-1
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…
|
Ústřední knihovna
|
Sklad
|
L5a | L 13880.1 |