Seja Bem-vindo
Faça seu login ou registre-se
 
Minha compra
 
Acompanhe seu pedido
 
Meu Cadastro
Meus Pontos
Meus Pedidos
 
Compre pelo telefone
TEL: 11 3226-3111
Busca: Título ISBN Autor Editora Assunto
Busca Avançada

TYPE THEORY AND FORMAL PROOF
Autor: NEDERPELT, ROB
Editora: CUA - CAMBRIDGE USA
Disponibilidade: Produto não disponível

R$ 468,22




    
Sinopse
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems, including the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalise mathematics. The only prerequisite is a basic knowledge of undergraduate mathematics. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarise themselves with the material. Gives insight into a variety of type systems and their relative power Provides background for the use of proof assistants such as Coq Students can test their understanding through 125 end-of-chapter exercises
Dados Técnicos
Número de Páginas: 466
Ano da Edição: 2014
ISBN 10: 110703650X
ISBN 13: 9781107036505
Home | Conheça a Disal | Programa de Recompensas | Revista New Routes | Eventos
Dúvidas Frequentes | Trocas e devoluções | Fale Conosco | Lojas Disal | Promoções
São Paulo - SP
Matriz
11 3226-3111 | Como chegar
São Paulo - SP
Higienópolis
11 3256-7293 | Como chegar
São Paulo - SP
Pinheiros
11 3816-6096 | Como chegar
São Paulo - SP
Saúde
11 5583-0264 | Como chegar
São Paulo - SP
Tatuapé
11 2093-0233 | Como chegar
Guarulhos - SP
Guarulhos
11 2440-7728 | Como chegar
São Paulo - SP
Morumbi
11 2308-3892 | Como chegar
Santo André - SP
Santo André
11 4903-6006 | Como chegar
São Caetano - SP
São Caetano
11 4224-5827 | Como chegar
Campinas - SP
Campinas
19 2513-4425 | Como chegar
Ribeirão Preto - SP
Ribeirão
16 3610-6536 | Como chegar
Curitiba - PR
Curitiba Novo
41 3015-7912 | Como chegar
Brasília - DF
Brasília
61 3244-5791 | Como chegar
Porto Alegre - RS
Moinhos
51 3346-4285 | Como chegar
Porto Alegre - RS
Floresta
51 3311-8000 | Como chegar
Salvador - BA
Salvador
71 3341-1910 | Como chegar
Belo Horizonte - MG
Belo Horizonte
31 3275-2098 | Como chegar
Recife - PE
Recife
81 3031-3101 | Como chegar
Rio de Janeiro - RJ
Botafogo
21 3579-9060 | Como chegar
DISAL DISTRIBUIDORES ASSOCIADOS DE LIVROS S.A | CNPJ: 622770410001/87 | AV. MARGINAL DIREITA DO TIETE, 800 - SÃO PAULO - SP | TEL: (11) 3226-3100

 
Formas de Pagamento
 Site Seguro
Redes Sociais