Kód: 17647496
This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computabilit ... celý popis
Angličtina
Nákupem získáte 239 bodů
Anotace knihy
This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal
Parametry knihy
Zařazení knihy Knihy v angličtině Computing & information technology Computer science Artificial intelligence
2388 Kč
Angličtina
Osobní odběr Praha, Brno a 47529 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)Nákupní košík ( prázdný )