Lógica Para Ciência da Computação: Livro

    livros logica para ciencia da computacao Lógica Para Ciência da Computação: LivroO livro da editora Campus, apresenta de forma concisa, os primeiros e principais fundamentos da Lógica Clássica necessários aos estudantes de Ciência da Computação e áreas correlatas como: Matemática, Filosofia, Engenharias e Direito. Ele pode ser utilizado, como livro-texto, em diversos tipos de disciplinas de Lógica.

    A apresentação é clara e simples, com material principal descrito no início do livro e técnicas mais aprimoradas introduzidas quando necessárias pelas aplicações.
    Uma característica fundamental é a exposição completa de verificação de modelos e esta nova edição inclui as versões mais atuais das ferramentas NuSMV e Alloy.

    Foram feitas melhorias em todo o texto em relação à primeira edição, com seções extras e expandidas sobre a verificação de modelos na lógica temporal de tempo linear, programas de resolução SAT, lógica de segunda ordem, a ferramenta de especificação Alloy e programação por contrato. A cobertura sobre verificação de modelos também foi substancialmente atualizada. Também foram adicionados mais exercícios de práticas. O download do livro está disponível em vários servidores através do Neo-Share.com.

    • Idioma?: Português
    • Formato: PDF
  • livro logica para ciencia da computação em pdf
  • Lógica Para Ciência da Computação: Livro
    Votação usuário: 5 (1 votos)
    Tags:

    Comente este artigo

    Seu email não é publicado.

    *

    You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>