logica
589 palavras
3 páginas
Lógica e Matemática DiscretaProfª. Ms. Bartira Dantas Rocha bartirarocha@gmail.com Roteiro
}
}
}
}
}
}
Programa Geral do Componente Curricular - PGCC
Referências Bibliográficas
Avaliações
Trabalhos
O que estuda a Lógica?
Lógica Matemática Discreta - Contexto do Curso
Programa Geral do Componente CurricularPGCC
}
}
}
Disciplina: Lógica Matemática Discreta
CH: 60 h/a
Aulas:
}
}
Ementa
}
}
Cálculo Proposicional. Cálculo de Predicado. Noções fundamentais de conjuntos. Quantificadores. Argumentos. Regras de inferência. Técnicas de demonstração. Álgebra Booleana.
Objetivos
}
}
35M56 (10:50-12:30)
Espera-se que ao final da disciplina o aluno tenha compreendido a lógica de predicados, assim a demonstração e derivação de fórmulas lógicas a valores verdadeiro ou falso
Metodologia:
}
}
}
Aulas expositivas
Avaliação individual e escrita
Exercícios
Programa Geral da Disciplina
}
I UNIDADE
} 1. Proposições e Conectivos;
} 2. Proposições simples e compostas
} 3. Operadores Negação, Conjunção, Disjunção, Disjunção exclusiva, Condicional e
Bicondicional
}
}
}
}
}
}
}
4. Tabelas Verdade
5. Tautologias, Contradições e Contingências
6. Implicação e Equivalência Lógica
II UNIDADE
1. Álgebra das Proposições
2. Método Dedutivo
III UNIDADE
} 1. Regras de Inferência
} 3. Quantificadores
Referências Bibliográficas
}
REFERÊNCIAS BÁSICAS:
}
}
}
}
}
DAGHLIAN, J. Lógica E Álgebra De Boole. 4ª Edição. São Paulo: Atlas, 2004.
ALENCAR FILHO, E. Iniciação a Lógica Matemática. São Paulo: Nobel, 2006.
FINGER, M. Lógica para Computação. 1ª Ed. São Paulo: Thomson Learning, 2006.
REFERÊNCIAS COMPLEMENTARES:
}
}
}
}
}
ENDERTON, H. A Mathematical Introduction to Logic, 2ª Ed. Academic Press,
2001.
COPI, I. M. Introdução à Lógica. 3ª Ed. Mestre Jou, 2006.
LIMA, M. Matemática e