Académique Documents
Professionnel Documents
Culture Documents
Ementa
Metodologia
Avaliações
César MORTARI:
Lógica é a ciência que estuda princípios e métodos
de inferência, tendo o objetivo principal de
determinar em que condições certas coisa se
seguem (são consequências), ou não, de outras.
INFERÊNCIA ou ARGUMENTO: o ato de tirar uma
conclusão de um conjunto de evidências (premissas,
dados ou suposições).
Definição de Lógica
César Mortari:
Definição de Lógica
Elliot Mendelson:
Lógica é a análise de métodos de raciocínio.
No estudo desses métodos, a lógica está interessada nas
formas do conteúdo de um argumento:
1. Raciocínio lógico-matemático:
Resolução de problemas.
2. Relação entre Lógica, Matemática e Computação:
Paradoxos;
Linguagem, Semântica, Sistemas Dedutivos;
Teoremas Principais (Corretude, Completude);
Computabilidade e aspectos computacionais;
Decidibilidade;
Máquina de Turing;
Provas matemáticas por indução e dedução.
EMENTA DO CURSO
3. Cálculo Proposicional:
Conceito de proposição – simples e composta;
Valores lógicos das proposições;
Conectivos;
Tabela-verdade;
Operações lógicas sobre proposições;
Tautologia, contradições e contingências;
Argumentos e Regras de dedução.
EMENTA DO CURSO
4. Cálculo de Predicados:
Proposições quantificadas;
Quantificador universal e existencial;
Prova de validade e contravalidade de
argumentos envolvendo quantificadores.
BIBLIOGRAFIA
Metodologia de ensino/aprendizagem:
Aula expositiva-dialogada;
Apostilas;
Listas de Exercícios;
2 Avaliações Parciais (valor 2 pontos cada)
em grupo de no máximo 4 pessoas;
2 Avaliações Oficiais (valor 3 pontos cada).
METODOLOGIA
Regras:
Horário de aula;
Saídas ao banheiro;
Horário de entrada e saída de provas;
Faltas em avaliação: o aluno terá o direito de
refazê-la no horário do reforço.
Apresentar documento da orientação.
AVALIAÇÕES