Você está na página 1de 3

INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA

GOIANO – CAMPUS RIO VERDE


DIRETORIA DE ENSINO
GERÊNCIA DE EDUCAÇÃO PROFISSIONAL TÉCNICA DE NÍVEL MÉDIO
GERÊNCIA DE ENSINO DE GRADUAÇÃO

PLANO DE ENSINO PERÍODO


LETIVO
2019-1
CURSO: Bacharelado em Ciência da Computação TURNO:
Vespertino

DISCIPLINA: Lógica Matemática

CH PRESENCIAL: 67h CH A DISTÂNCIA: 8h CÓDIGO: BCC-004

DOCENTE: Aline Gobbi Dutra Guimarães

EMENTA
Lógica Proposicional e Lógica de Predicados; Proposições e Conectivos; Operações Lógicas sobre proposições; Tabelas-
verdade; Tautologias, Contradições e Contingências; Implicação Lógica e Equivalência Lógica; Álgebra das proposições,
Técnicas de Demonstração.

OBJETIVOS GERAIS
Esta disciplina tem como objetivo inicial introduzir os alunos no mundo dos raciocínios abstratos da Matemática, estimular o
pensamento lógico, rigoroso e a observação. Através desta disciplina, espera-se que os alunos desenvolvam uma mentalidade
mais amadurecida da Matemática, preparando-os para as disciplinas seguintes como os Cálculos Diferenciais e Integrais, por
exemplo.
Especificamente deseja-se conduzir o aluno a reconhecer os mecanismos lógicos necessários para poder realizar um
processo dedutivo, identificar procedimentos, conceitos, descrições e representações que podem ser úteis. Apresentar as
técnicas de demonstração mais utilizadas e torná-los aptos a realizá-las.
OBJETIVOS ESPECÍFICOS
 Apresentar os conceitos e propriedades básicas da lógica proposicional e de predicados, propondo exercícios e outras
atividades que favoreçam o processo de ensino-aprendizagem da disciplina;
 Desenvolver habilidades de cálculo de operações lógicas, construção de tabelas verdade e suas aplicabilidades na
lógica, além de algumas técnicas de demonstração e os conceitos lógicos necessários para o bom entendimento das
demonstrações matemáticas;
 Promover a compreensão da linguagem matemática no que tange aos conhecimentos da lógica necessários para
compreender proposições, lemas e teoremas da Matemática nas disciplinas diversas.
Incentivar o raciocínio lógico-matemático, a escrita formal e o rigor necessários na linguagem matemática.

Página 1 de 3
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA
GOIANO – CAMPUS RIO VERDE
DIRETORIA DE ENSINO
GERÊNCIA DE EDUCAÇÃO PROFISSIONAL TÉCNICA DE NÍVEL MÉDIO
GERÊNCIA DE ENSINO DE GRADUAÇÃO

CONTEÚDO PROGRAMÁTICO E CRONOGRAMA PARA MINISTRAR A DISCIPLINA

CRONOGRAMA PARA MINISTRAR O CONTEÚDO PROGRAMÁTICO DA DISCIPLINA

Nº DE
PERÍODO DE EXECUÇÃO ATIVIDADES PRESENCIAIS ATIVIDADES A DISTÂNCIA
AULAS

Apresentação da disciplina; Introdução à lógica: proposições, conectivos, conceito de tabela verdade,


SEMANA 01 - 12 e 15/02 5
notações
SEMANA 02 - 19 e 22/02 0 *reunião

SEMANA 03 - 26/02 e 01/03 3 Operaçõe lógicas, tabelas verdade

SEMANA 04 - 08/03 3 Operaçõe lógicas, tabelas verdade

SEMANA 05 - 12 e 15/03 5 Tautologias, contradições, contingências

SEMANA 06 - 19 e 22/03 5 Implicação e equivalência lógica

SEMANA 07 - 26 e 29/03 5 Implicação e equivalência lógica

SEMANA 08 - 02 e 05/04 5 Álgebra das Proposições

SEMANA 09 - 09 e 12/04 5 Método Dedutivo e Forma Normal

SEMANA 10 - 16/04 0 *atestado médico

SEMANA 11 - 23 e 26/04 0 *reunião e congresso e seminário internacional formação educadores

SEMANA 12 - 30/04 e 03/05 5 Método Dedutivo, Formas Normais Conjuntiva e Disjuntiva; Argumentos e regras de inferência

SEMANA 13 - 07 e 10/05 0 *congresso ENPAIF


Argumentos lógicos: validade via tabelas verdade, regras de inferência e regras de inferência e
SEMANA 14 - 14 e 17/05 5
equivalências
SEMANA 15 - 21 e 24/05. Demonstração condicional e demonstração indireta; Sentenças abertas e operações; Elaboração de
7
Reposição 20/05 roteiros de videoaulas sobre Lógica Matemática

SEMANA 16 - 28 e 31/05. Quantificadores e quantificação de sentenças abertas com mais de uma variável; Elaboração de roteiros Elaboração de roteiros de videoaulas sobre Lógica
10
Reposição 27/05 de videoaulas sobre Lógica Matemática Matemática (3 h/a)

Elaboração de roteiros de videoaulas sobre Lógica


SEMANA 17 - 04 e 07/06 10 Elaboração de roteiros de videoaulas sobre Lógica Matemática
Matemática (5 h/a)

Elaboração de roteiros de videoaulas sobre Lógica


SEMANA 18 - 11 e 14/06 10 Apresentação dos roteiros de videoaulas sobre Lógica Matemática
Matemática (5 h/a)

Elaboração de roteiros de videoaulas sobre Lógica


SEMANA 19 - 18/06 7 Apresentação dos roteiros de videoaulas sobre Lógica Matemática
Matemática (5 h/a)
N.º TOTAL DE AULAS 90 88
TOTAL CH 75
DATA REC 02/07/2018

PROCEDIMENTOS DIDÁTICO-METODOLÓGICOS (ENSINO PRESENCIAL)

A disciplina será ministrada através de aulas expositivas com quadro e giz, leitura prévia dos assuntos pelos alunos orientados
pela professora para posterior discussão em sala de aula, resolução de exercícios de aplicação, participação dos estudantes na
lousa.

PROCEDIMENTOS DIDÁTICO-METODOLÓGICOS (ENSINO A DISTÂNCIA)


Postagem em fórum a respeito do processo de elaboração de uma das atividades de avaliação da aprendizagem que será a
elaboração de roteiros de vídeoaulas para todo ou grande parte do conteúdo programático da disciplina.
HORÁRIO DE ATENDIMENTO AOS DISCENTES (EXTRA SALA DE AULA)

Página 2 de 3
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA
GOIANO – CAMPUS RIO VERDE
DIRETORIA DE ENSINO
GERÊNCIA DE EDUCAÇÃO PROFISSIONAL TÉCNICA DE NÍVEL MÉDIO
GERÊNCIA DE ENSINO DE GRADUAÇÃO

Quartas-feiras das 13h às 15h

AVALIAÇÃO
Haverá 3 atividades de verificação da aprendizagem que alternar-se-ão entre atividades individuais sem consulta, em grupo,
com consulta e apresentação de seminários: testes individuais e em grupo ao longo de todo o semestre, sendo com e sem
consulta; uma atividade escrita individual ao final do mês de maio; elaboração de roteiros para posterior produção de vídeoaulas
acerca do assunto da disciplina.

BIBLIOGRAFIA BÁSICA
SILVA, F. S. C. da; FINGER, M.; MELO, A. C. V. de. Lógica para Computação. São Paulo: Thomson
Learning, 2006.
SOUZA, J. N. de. Lógica para Ciência da Computação: uma introdução concisa. 2ª ed. Rio de Janeiro:
Elsevier, 2008.
CARNIELLI, W.; EPSTEIN, R. L. Computabilidade, Funções Computáveis, Lógica e os Fundamentos
da Matemática. 2ª ed. São Paulo: UNESP, 2006.

BIBLIOGRAFIA COMPLEMENTAR

ALENCAR FILHO, E. de. Iniciação à Lógica Matemática. São Paulo: Nobel, 1989.
FAVARO, S.; FILHO, O. K. Noções de Lógica e Matemática Básica. Rio de Janeiro: Ciência Moderna,
2005.
FIGUEIREDO, Luiz Manoel. Matemática Discreta. Vol 1 e 2. 3ª ed. Rio de Janeiro: Fundação
Cecierj/Consórcio Cederj, 2005. GERSTING, J. L. Fundamentos Matemáticos para a Ciência da
Computação: um tratamento moderno de matemática discreta. 5ª ed. Rio de Janeiro: LTC, 2004.
SCHEINERMAN, E. R. Matemática Discreta: uma introdução. São Paulo: Thomson Learning, 2003.

Data Assinatura do(a) docente:


06/05/2019

Data Assinatura do(a) Coordenador(a) do Curso

Página 3 de 3