Ementa de Disciplina

INF1009 | LOGICA PARA COMPUTACAO

4 créditos

Ementa

Relação da lógica com as questões centrais da filosofia, com ênfase nos aspectos epistemológicos (justificação, dedução, definição), aspectos metafísicos (verdade, essência, individuação) e aspectos linguísticos (termo, proposição, juízo, forma lógica). Noções do desenvolvimento histórico da lógica de Aristóteles a Frege.

Bibliografia

MORTARI, CEZAR A. INTRODUÇÃO À LÓGICA; SÃO PAULO: UNESP, 2001. SILVA, F.S.C DA; FINGER, M.; MELO, A.C.V DE. LÓGICA PARA COMPUTAÇÃO; SÃO PAULO: THOMSON, 2006. SOUZA, JOÃO NUNES DE. LÓGICA PARA CIÊNCIA DA COMPUTAÇÃO: FUNDAMENTOS DE LINGUAGEM, SEMÂNTICA E SISTEMAS DE DEDUÇÃO; RIO DE JANEIRO: CAMPUS, 2002.

Bibliografia Complementar

Nenhuma biliografia complementar encontrada para INF1009

Pré-requisitos

Nenhum pre-requisito encontrado para INF1009

Co-requisitos

Nenhum co-requisito encontrado para INF1009

Última atualização da ementa: 03/02/2014