Sinopse
'Mathematical Logic for Computer Science' is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides a elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic. tableaux are related to deductive proof systems.
Ficha Técnica
Especificações
ISBN | 9781852333195 |
---|---|
Pré venda | Não |
Peso | 339g |
Autor para link | BEN-ARI M. |
Livro disponível - pronta entrega | Não |
Dimensões | 23 x 16 x 1 |
Tipo item | Livro Importado |
Número de páginas | 304 |
Número da edição | 1ª EDIÇÃO - 2003 |
Código Interno | 628302 |
Código de barras | 9781852333195 |
Acabamento | PAPERBACK |
Autor | BEN-ARI, M. |
Editora | SPRINGER VERLAG |
Sob encomenda | Não |