1. Livre Saber - Repositório Digital de Materiais Didáticos - SEaD-UFSCar
  2. Graduação a distância
  3. Sistemas de Informação
  4. Textos e apresentações
Use este identificador para citar ou linkar para este item: http://hdl.handle.net/123456789/1044
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.authorLevada, Alexandre Luis Magalhães-
dc.date.accessioned2012-12-10T17:55:31Z-
dc.date.available2012-12-10T17:55:31Z-
dc.date.issued2012-12-10-
dc.identifier.urihttp://livresaber.sead.ufscar.br/handle/123456789/1044-
dc.description.abstractNestes slides são apresentados conceitos sobre a inferência lógica e os sistemas de derivação. Define o conceito de argumento válido, e demonstra que a verificação da validade de argumentos pode ser feita por meio de tabelas-verdade e pelo uso de regras de inferência.pt_BR
dc.language.isopt_BRpt_BR
dc.subjectLógica proposicionalpt_BR
dc.subjectInferência lógicapt_BR
dc.subjectDerivação (álgebra)pt_BR
dc.subjectArgumento válido (álgebra)pt_BR
dc.subjectTabela verdadept_BR
dc.subjectSistema de derivaçãopt_BR
dc.titleInferência lógica e os sistemas de derivaçãopt_BR
dc.typeApresentacaopt_BR
dc.description.disciplineFundamentos de Lógica Matemáticapt_BR
dc.description.courseSistemas de Informaçãopt_BR
dc.technical.duration19 slidespt_BR
Aparece nas coleções:Textos e apresentações

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
Fundamentos Lógica Matemática_Inferência lógica e os sistemas de derivação.pdf313,42 kBAdobe PDFVisualizar/Abrir


Este arquivo é protegido por direitos autorais

Ver licença
Mostrar registro simples do item Visualizar estatísticas


Este item está habilitado sob uma Licença Creative Commons Creative Commons