Stock Image

Logica E Raciocinio

Joao Pavao Martins

0 ratings by Goodreads
ISBN 10: 1848901259 / ISBN 13: 9781848901254
Published by College Publications
New Condition: New Soft cover
From BuySomeBooks (Las Vegas, NV, U.S.A.)

AbeBooks Seller Since May 21, 2012

Quantity Available: 20

About this Item

Paperback. 454 pages. Dimensions: 9.2in. x 6.1in. x 0.9in.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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Bookseller Inventory # 9781848901254

Ask Seller a Question

Bibliographic Details

Title: Logica E Raciocinio

Publisher: College Publications

Binding: Paperback

Book Condition:New

Book Type: Paperback

About this title

Synopsis:

O objetivo do livro é a apresentação dos principais conceitos e metodologias associados à Lógica para estudantes universitários de Informática. Introduz as noções de proposição e de argumento e carateriza os seus possíveis valores, veracidade e falsidade e validade e invalidade, respetivamente. Apresenta os dois componentes de uma lógica, o sistema dedutivo e o sistema semântico, definindo as relações entre eles, e introduzindo os conceitos de correção e completude. Apresenta a lógica proposicional e a lógica de primeira ordem. Em relação a cada uma destas lógicas, discute a lógica sob dois aspetos distintos. Por um lado, apresenta os conceitos lógicos sob o ponto de vista tradicional, usando o sistema de dedução natural, de modo a fornecer bases sólidas para a compreensão dos princípios e da metodologia da Lógica. Por outro lado, apresenta as técnicas desenvolvidas para permitir que um computador possa utilizar raciocínio de uma forma automática, nomeadamente recorrendo à resolução, diagramas de decisão binários, e algoritmos de SAT. Apresenta a programação em lógica, baseada na resolução SLD e aborda o PROLOG, uma linguagem de programação baseada em lógica.

"About this title" may belong to another edition of this title.

Store Description

BuySomeBooks is great place to get your books online. With over eight million titles available we're sure to have what you're looking for. Despite having a large selection of new books available for immediate shipment and excellent customer service, people still tell us they prefer us because of our prices.

Visit Seller's Storefront

Terms of Sale:

We guarantee the condition of every book as it's described on the Abebooks web
sites. If you're dissatisfied with your purchase (Incorrect Book/Not as
Described/Damaged) or if the order hasn't arrived, you're eligible for a refund
within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

BuySomeBooks is operated by Drive-On-In, Inc., a Nevada co...

More Information
Shipping Terms:

Orders usually ship within 1-2 business days. Books are shipped from multiple locations so your order may arrive from Las Vegas,NV, Roseburg,OR, La Vergne,TN, Momence,IL, or Commerce,GA.

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express