Ministrio da Educao

UNIVERSIDADE TECNOLGICA FEDERAL DO PARAN

Campus Santa Helena

PLANO DE ENSINO
BACHARELADO EM CINCIA DA COMPUTAO

CURSO

FUNDAMENTAO LEGAL

MATRIZ

Resoluo n 078/13 COGEP de 28/11/2013.

DISCIPLINA/UNIDADE CURRICULAR

CDIGO

PERODO

LOGICA MATEMTICA

MA221F

CARGA HORRIA (aulas)

AT
68

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

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.

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.

Clculo dos predicados.

Quantificao, Funes proposicionais

Quantificadas.

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

Prof. Me. ARLETE TERESINHA BEUREN / Prof. Me. ITAMAR ILIUK

CC12

ANO/SEMESTRE
AT
70

2014/2

CARGA HORRIA (aulas)

APS
AD
4

AP

Total
74

AT: Atividades Tericas, AP: Atividades Prticas, APS: Atividades Prticas Supervisionadas, AD: Atividades a Distncia.

DIAS DAS AULAS PRESENCIAIS

Dia da semana
Nmero de aulas no semestre

Segunda
0

Tera
0

Quarta
36

Quinta
0

Sexta
34

Sbado
0

PROGRAMAO E CONTEDOS DAS AULAS (PREVISO)

Dia/Ms ou Semana

Contedo das Aulas

Nmero
de Aulas

13/08/2014

Apresentao da disciplina, ementa, plano de ensino e formas de avaliao; Histrico

da lgica matemtica, noes preliminares.

15/08/2014

Princpios fundamentais da lgica matemtica.

20/08/2014

Sistema de numerao (histrico, binrio, decimal, hexadecimal).

22/08/2014

Mtodos de converso de bases.

27/08/2014

Mtodos de converso de bases.

29/08/2014

Exerccios de converso de bases.

03/09/2014

Conceito de proposies: simples e composta, valor lgico de uma proposio,

conectivos lgicos.
Operaes lgicas fundamentais: negao, conjuno, disjuno, disjuno exclusiva.
Tabela verdade.

10/09/2014

Operaes lgicas fundamentais: condicional e bicondicional. Tabela verdade.

12/09/2014

Precedncia dos operadores lgicos, Escopo e pareao, Codificao e decodificao.

Exerccios (tabela verdade).
Avaliao (converso de bases, proposies, operaes lgicas, tabela verdade,
valores lgicos)

19/09/2014

Conceito de tautologia, contradio e contingncia.

24/09/2014

Definio de equivalncia lgica, propriedades de uma relao de equivalncia.

26/09/2014

Exerccios (equivalncia lgica). Definio e propriedade da implicao lgica.

01/10/2014

Propriedade das operaes lgicas.

05/09/2014

17/09/2014

PROGRAMAO E CONTEDOS DAS AULAS (PREVISO)

Dia/Ms ou Semana

Contedo das Aulas

Nmero
de Aulas

03/10/2014

lgebra das proposies: propriedades da conjuno, da disjuno. Equivalncias

lgicas, Reduo no nmero de operadores.

08/10/2014

Simplificao de frmulas proposicionais, exerccios de lgebra das proposies.

10/10/2014

Avaliao (equivalncia e implicao lgica e lgebra das proposies).

15/10/2014

Definio de argumento, validade de argumento.

17/10/2014

Critrio de validade de um argumento, argumentos vlidos.

22/10/2014

Regras de inferncia, validade mediante regras de inferncia.

24/10/2014

Regras de inferncia, validade mediante tabela verdade.

29/10/2014

Exerccios (regras de inferncia).

05/11/2014

Trabalho (regras de inferncia).

07/11/2014

Reviso (regras de inferncia).

12/11/2014

Atividades da Semana Acadmica.

14/11/2014

Atividades da Semana Acadmica.

19/11/2014

Conceito de predicados. Operaes no clculo de predicados.

21/11/2014

Exerccios de clculo de predicados.

26/11/2014

Diagrama de Venn.

28/11/2014

Diagrama de Venn.

03/12/2014

Quantificador universal e quantificador existencial.

05/12/2014

Avaliao (clculo dos predicados e quantificadores).

10/12/2014

Reviso geral do contedo.

12/12/2014

Divulgao das notas. Fechamento de Semestre.

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).

- Atividades Individuais/grupo (listas de exerccios, seminrios...) com peso de 3,0 pontos.

REFERNCIAS
ALENCAR FILHO, Edgard de. Iniciao lgica matemtica. So Paulo: Nobel, 2002. Reimpresso de 2014.
BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introduo lgica matemtica. So Paulo: Cengage Learning,
2014.
DAGHLIAN, Jacob. Lgica e lgebra de Boole. 4 ed. So Paulo: Atlas, 2012.
Referncias Complementares:
DE SOUZA, J. N., Logica Para Cincia Da Computao, 2 Edio, Campus Elsevier, 2008.
GERSTING, Judith L. Fundamentos matemticos para a cincia da computao: um tratamento moderno de matemtica
discreta. 5. ed. Rio de Janeiro, RJ: LTC, 2004. Reimpresso de 2013.
GONZLEZ, G., GARCA, R. E. R., Fundamentos de matemticas y lgica, Editor: Instituto Politcnico Nacional, 210p.,
Mxico, /2010.
MADRIGAL, J. H., Lgica de enunciados: algunos aspectos bsicos, Editor: Instituto Politcnico Nacional, 126p., Mxico,
1995.
SCHEINERMAN, E. R. Matemtica discreta: uma introduo. 2. ed. So Paulo: CENGAGE Learning, 2013.

ORIENTAES GERAIS

Assinatura do Professor

Assinatura do Coordenador do Curso