Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
PLANO DE ENSINO
BACHARELADO EM CINCIA DA COMPUTAO
CURSO
FUNDAMENTAO LEGAL
MATRIZ
DISCIPLINA/UNIDADE CURRICULAR
CDIGO
PERODO
LOGICA MATEMTICA
MA221F
AP
APS
04
AD
APCC Total
72
PR-REQUISITO
EQUIVALNCIA
OBJETIVO
O aluno ao final da disciplina estar apto a compreender o raciocnio dedutivo, noes de validade, teoria dos conjuntos,
frmulas lgicas, sistemas formais e mtodos de deduo e de prova. Compreender os clculos proposicionais, estruturao
logica e raciocnio logico.
EMENTA
Sistematizao da lgica Matemtica. Estruturao do clculo proposicional. Operaes lgicas fundamentais. Relaes
de equivalncia e de implicao Lgica. lgebra proposicional. Teoria da argumentao e anlise inferencial no clculo
proposicional. Clculo dos predicados. Quantificao. Funes proposicionais Quantificadas.
CONTEDO PROGRAMTICO
ITEM
EMENTA
Relaes de equivalncia e de
implicao Lgica.
lgebra proposicional.
CONTEDO
- Breve panorama histrico da lgica matemtica.
- Noes preliminares.
- Princpios fundamentais.
- Consideraes preliminares.
- Verdade e princpios fundamentais.
- Conceito de proposio.
- Proposies simples e proposies compostas.
- Conectivos lgicos.
- Valores lgicos das proposies.
- Operadores lgicos.
- Escopo e pareao.
- Precedncia dos operadores lgicos.
- Codificao e decodificao.
Operaes
- Negao.
- Conjuno.
- Disjuno, disjuno exclusiva.
- Condicional, bicondicional.
- Tabelas verdade.
- Tautologia e contradio.
- Definio de equivalncia lgica.
- Propriedades da relao e da equivalncia lgica.
- Tautologia e equivalncia lgica.
- Implicao lgica.
- Propriedade da implicao lgica.
- Propriedade das operaes lgicas.
- Reduo no nmero de operadores.
- Simplificao de frmulas proposicionais.
- Definio de argumento.
- Validade de argumento.
- Critrio de validade de um argumento.
Bases de Numerao.
- Argumentos vlidos.
- Regras de inferncia.
- Validade mediante regras de inferncia.
- Conceito de predicados.
- Operaes no calculo de predicados.
- Quantificadores e predicados.
- Inferncias.
- Diagrama de Venn.
- Conceito de funes proposicionais.
- Conjunto verdade de uma funo proposicional.
- Quantificador universal.
- Quantificador existencial.
- Quantificador de existncia e unicidade.
- Funes proposicionais com mais de uma varivel.
- Negao de sentenas envolvendo quantificadores.
- Sistemas de Notao.
- Notao Posicional.
- Bases Numricas (decimal, binrio, hexadecimal, octal).
- Transformao entre bases de numerao.
NOME DO PROFESSOR
TURMA
CC12
ANO/SEMESTRE
AT
70
2014/2
AP
Total
74
AT: Atividades Tericas, AP: Atividades Prticas, APS: Atividades Prticas Supervisionadas, AD: Atividades a Distncia.
Segunda
0
Tera
0
Quarta
36
Quinta
0
Sexta
34
Sbado
0
Nmero
de Aulas
13/08/2014
15/08/2014
20/08/2014
22/08/2014
27/08/2014
29/08/2014
03/09/2014
10/09/2014
12/09/2014
19/09/2014
24/09/2014
26/09/2014
01/10/2014
05/09/2014
17/09/2014
Nmero
de Aulas
03/10/2014
08/10/2014
10/10/2014
15/10/2014
17/10/2014
22/10/2014
24/10/2014
29/10/2014
05/11/2014
07/11/2014
12/11/2014
14/11/2014
19/11/2014
21/11/2014
26/11/2014
Diagrama de Venn.
28/11/2014
Diagrama de Venn.
03/12/2014
05/12/2014
10/12/2014
12/12/2014
PROCEDIMENTOS DE ENSINO
AULAS TERICAS
Aulas expositivas, prticas e dialogadas com quadro branco e, quando necessrio com recursos audiovisuais;
Nas aulas tericas o aluno tem a oportunidade de conhecer ou se inteirar do contedo proposto. Lista de exerccios
individuais e/ou em grupos, atravs das quais poder verificar sobre conhecimentos adquiridos, sanar dvidas e aplicar o que
aprendeu na resoluo de situaes-problemas, alm de desenvolver o uso do raciocnio.
AULAS PRTICAS
AULAS PRTICAS SUPERVISIONADAS
Atividades acadmicas desenvolvidas sob orientao, superviso e avaliao de docentes e realizadas pelos discentes em
horrios diferentes daqueles destinados s atividades presenciais (aulas tericas e aulas prticas). Estas atividades podero
incluir: estudo dirigido, trabalhos individuais, trabalhos em grupo, desenvolvimento de projetos, atividades em laboratrio,
atividades de campo, oficinas, pesquisas, estudos de casos, seminrios, desenvolvimento de trabalhos acadmicos, dentre
outras.
ATIVIDADES A DISTNCIA
No h.
PROCEDIMENTOS DE AVALIAO
O desempenho do aluno ser avaliado atravs de:
- 03 (trs) Avaliaes Individuais: As duas primeiras avaliaes com peso de 1,5 pontos e a terceira avaliao com peso de
3,0 pontos. (Soma das avaliaes = 6,0 pontos).
- 2 Atividades Individuais (APS) com peso de 0,5 pontos cada. (Soma das APS = 1,0 pontos).
ORIENTAES GERAIS
Assinatura do Professor