Košík
zboží
(prázdné)
Mathematical Logic for Computer Science (anglicky)
1 709
Kč
This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.
číst celé
- Mohlo by Vás také zaujmout
- Další knihy autora
- Další zboží nakladatele
- Naposledy prohlédnuté
Podobní autoři
Návrh štítků k produktu
Navrhněte maximálně 5 klíčových slov (štítků) k tomuto produktu.
Za každý přidaný štítek musíte poté 5x ohodnotit štítky ostatních.
Nezapomeňte navrhnuté štítky uložit stisknutím tlačítka „Uložit přidané štítky“.
K této knize jste navrhli štítky:
Hodnocení štítků
V tuto chvíli není co ohodnotit.
Klikněte na štítek, který se více hodí k produktu.
![]()
Nyní následuje 5x hodnocení štítků ostatních.
Proč nakupovat u nás?
-
Největší skladové zásoby sortiment všeho druhu -
Levná doprava doslova za pár kaček -
Spokojení zákazníci známka kvality -
Vyzvednutí kdekoliv místo vybíráte vy -
Skvělá zákaznická podpora neváhejte zavolat
Hodnocení
Ověřené recenze jsou tak výslovně označené, ostatní jsou neověřené.
Nejsou zde žádné recenze. Buďte první a napište svoji!
Kniha návstěv
Ověřené příspěvky jsou tak označené, ostatní jsou neověřené.
