bokomslag Logica E Raciocinio
Filosofi & religion

Logica E Raciocinio

Joao Pavao Martins

Pocket

359:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 454 sidor
  • 2014
O objetivo do livro a apresentao dos principais conceitos e metodologias associados Lgica para estudantes universitrios de Informtica. Introduz as noes de proposio e de argumento e carateriza os seus possveis valores, veracidade e falsidade e validade e invalidade, respetivamente. Apresenta os dois componentes de uma lgica, o sistema dedutivo e o sistema semntico, definindo as relaes entre eles, e introduzindo os conceitos de correo e completude. Apresenta a lgica proposicional e a lgica de primeira ordem. Em relao a cada uma destas lgicas, discute a lgica sob dois aspetos distintos. Por um lado, apresenta os conceitos lgicos sob o ponto de vista tradicional, usando o sistema de deduo natural, de modo a fornecer bases slidas para a compreenso dos princpios e da metodologia da Lgica. Por outro lado, apresenta as tcnicas desenvolvidas para permitir que um computador possa utilizar raciocnio de uma forma automtica, nomeadamente recorrendo resoluo, diagramas de deciso binrios, e algoritmos de SAT. Apresenta a programao em lgica, baseada na resoluo SLD e aborda o PROLOG, uma linguagem de programao baseada em lgica.
  • Författare: Joao Pavao Martins
  • Format: Pocket/Paperback
  • ISBN: 9781848901254
  • Språk: Portugisiska
  • Antal sidor: 454
  • Utgivningsdatum: 2014-02-20
  • Förlag: College Publications