Encaminho formulários que deverão estar à disposição dos

Propaganda
ANO/ PERÍODO
2009/1°
1 – Identificação
1.1 – Curso/período: Curso Superior de Tecnologia em Analise e Desenvolvimento de
Sistemas/1º Período
1.2 - Subárea: Básica
1.3 - Componente Curricular: Lógica Matemática
1.4 - Carga Horária: 80
horas/aulas semestrais
1.5 - Professores: Dario Medeiros Toledo
1.6 - Habilitações: Habilitação Única
2 – Justificativa
- Esse Componente curricular vai desenvolver no aluno o domínio do pensamento lógico e
a capacidade de criar linguagens simbólicas a partir de sentenças em linguagem comum.
3 – Ementa
- O conceito de lógica. Análise lógica da linguagem corrente. Sentido lógico-matemático
convencional dos conectivos. Simbolização de sentenças da linguagem cotidiana.
Argumentos. Proposições e sentenças abertas. A lógica sentencial. Regras de formação de
fórmulas. Cálculo proposicional. Valores-verdade e funções de avaliação. Tabelasverdade. Propriedades das operações de negação, conjunção e disjunção. Relações lógicas.
Teoremas. Lógica de predicados de primeira ordem. Cálculo de predicados. Álgebra de
Boole.
4 – Competências e Habilidades
Competências: Discutir e decidir sobre a validade de um argumento.
Habilidades:




Estabelecer através dos conectivos os valores lógicos das proposições
Construir tabela – verdade
Classificar tautologia e contradições
Conhecer as propriedades das implicações e das equivalências lógicas
5 – Descrição do Conteúdo/Unidades
5.1 Período
Proposições e conectivos
 Conceito de proposição
 Valores lógicos das proposições
 Proposições simples e compostas
 Conectivos
 Tabela – verdade
Operações lógicas sobre proposições
 Negação
 Conjunção
 Disjunção exclusiva
 Condicional
 Bicondicional
Construção de tabelas – verdade
 Tabela – verdade de uma proposição
composta
 Número de linhas de uma tabela – verdade

Construção da tabela – verdade
 Exemplificação
 Valor lógico de uma proposição composta
 Uso dos parênteses
 Outros símbolos para os conectivos
Tautologias, contradições e contingências
 Tautologia
 Principio de substituição para as tautologias
 Contradição
 Contingência
Implicação e equivalência lógica
 Definição de implicação lógica
 Propriedade da implicação lógica
 Definição de equivalência lógica
 Propriedade da equivalência lógica
Argumentos
 Definição de argumento
 Validade de um argumento
 Critério de validade de um argumento
 Condicional associada a um argumento
 Argumentos Validos fundamentais
Sentenças abertas
 Sentenças abertas com uma variável
 Conjunto verdade de uma sentença aberta
com uma variável.
 Sentenças abertas com n variáveis
 Conjunto verdade de uma sentença aberta
com n variáveis.
Quantificadores
 Quantificador universal
 Quantificador existencial
 Variável aparente e variável livre
 Quantificador de existência e unicidade
 Negação de proposições com quantificador.
Fevereiro
Março
Abril
Maio
Junho
6 – Estratégias de Ensino
Aulas expositivas e praticas – debates – uso de listas de exercícios - uso do livro didático
7 – Recursos Materiais e Uso de Laboratórios
Uso do livro didático – Lista de exercícios – uso da biblioteca.
8 – Atividades Discentes
Atividades individuais – Trabalhos em grupo – Trabalhos individuais
9 – Critérios e instrumentos de Avaliação
Trabalhos em grupo – peso 1
Seminários – peso 2
Prova escrita – peso 7
10 – Interdisciplinaridade
Essa disciplina vai relacionar – se com as diversas disciplinas do curso que necessitam do
desenvolvimento do pensamento lógico e da criação de linguagens simbólicas. Entre elas
podemos citar: Algoritmo, Linguagem Técnica de Programação.
11 – Bibliografia
11.1 – Bibliografia Básica
ALENCAR FILHO, Edgar de. Iniciação a Lógica Matemática. 16. ed. São Paulo. 203p.
BASTOS, Cleverson Leite; KELLER, Vicente. Aprendendo lógica. 5.ed. Petrópolis:
Vozes, 1997. 143p.
DAGHLIAN, Jacob. Lógica e Álgebra de Boole, 4. ed. São Paulo: Atlas, 1995. 167p
11.2 – Bibliografia Complementar
COPI, Irving. Introdução lógica. 2.ed. São Paulo: Mestre Jou, 1978. 488p.
DIENES, Zoltan Paul; GOLDING, Edward William. Lógica e jogos lógicos. 3.ed. São
Paulo: Pedagógica e Universitária, 1973. 105p.
Download
Random flashcards
modelos atômicos

4 Cartões gabyagdasilva

Anamnese

2 Cartões oauth2_google_3d715a2d-c2e6-4bfb-b64e-c9a45261b2b4

Criar flashcards