Buscar

LÓGICA MATEMÁTICA

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você viu 3, do total de 25 páginas

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você viu 6, do total de 25 páginas

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você viu 9, do total de 25 páginas

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Prévia do material em texto

1
Lógica Matemática
Apresentação da disciplina
Profa Daisy Albuquerque
dsilva@unicarioca.edu.br
2
Profa Daisy Albuquerque
▪ Breve currículo
➢ Graduação em Ciências da Computação pela Universidade
Estadual do Ceará (1998).
➢ Especialização em Segurança da Informação pela Universidade
Politécnica de Madri (2008).
➢ Mestre em Sistemas e Computação pelo Instituto Militar de
Engenharia (2016).
➢ Atualmente é Chefe da Seção de Desenvolvimento do
Departamento de Educação e Cultura do Exército (DECEx) e
Professora do Centro Universitário Carioca.
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 2
3
Informações sobre a disciplina
▪ CURSO: Ciências da Computação
▪ DISCIPLINA: Lógica Matemática
▪ CRÉDITOS: 3
▪ CARGA HORÁRIA: 60 h
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 3
4
Objetivo
▪ Apresentar ao aluno os conceitos fundamentais da lógica
matemática correlacionando-os com o uso prático na
computação.
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 4
5
Ementa
▪ Proposições lógicas; 
▪ Conectivos; 
▪ Operações lógicas sobre proposições; 
▪ Construção de tabelas-verdade; 
▪ Tautologias; 
▪ Contradições e contigências; 
▪ Implicação lógica; 
▪ Equivalência lógica;
▪ Álgebra das proposições.
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 5
6
Conteúdo Programático
▪ Unidade 1: Introdução à lógica
➢ Breve histórico, aplicações na Computação e a diversidade das 
lógicas hoje.
➢ As bases da lógica: pensamento, raciocínio e linguagem.
➢ Princípios da razão e as formas do raciocínio.
▪ Unidade 2: O formalismo da lógica
➢ Sentenças lógicas e operadores lógicos.
➢ Tabela-verdade, contigências, contradições e tautologias.
➢ Inferência lógica.
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 6
7
Conteúdo Programático
▪ Unidade 3: Equivalências lógicas
➢ Leis de equivalência entre operadores, Leis de Morgan, 
associatividade, distributividade e dupla negação.
➢ Simplificação de sentenças usando as equivalências lógicas.
➢ Equivalência entre sentenças.
▪ Unidade 4: Formas-padrão e quantificação
➢ Forma conjuntiva normal.
➢ Forma disjuntiva normal.
➢ Predicado, quantificadores e suas negações.
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 7
8Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 8
Referências Bibliográficas
▪ Bibliografia Principal
➢ ALENCAR FILHO, E. Iniciação à Lógica Matemática Analítica.
16. ed.são Paulo,: Nobel, 1996
➢ GERSTING, J. L. Fundamentos matemáticos para a ciência
da computação. 4. ed. Rio de Janeiro: LTC, 2001.
➢ SOUZA, J. N., Lógica para a Ciência da Computação:
Fundamentos de linguagem, semântica e sistemas de
dedução. Rio de Janeiro: Elsevier, 2002.
9Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 9
Referências Bibliográficas
▪ Bibliografia Complementar
➢ BISPO, C. A. F.; CASTANHEIRA, F. B. Introdução à Lógica
Matemática. São Paulo: CENCAGE, 2011.
➢ COPI, I. M. Introdução à Lógica. Rio de Janeiro: Mestre Jou,
1978.
➢ MELO, A.C.V.; SILVA, F.S.C; FINGER, M. Lógica para
computação. 1. ed. Rio de Janeiro: Pioneira Thomson
Learning, 2006.
➢ MORTARI, C. A. Introdução à Lógica. São Paulo: Unesp, 2001.
➢ WATANABE, O. K. Iniciação à Lógica Matemática. Rio de
Janeiro:Alexa, 2010.
10
Sistema de Avaliação
▪ Composição das notas de AV1 e AV2
➢ AV1:
 Prova escrita presencial, individual, sem consulta
o Valor: 10,0 pontos
➢ AV2:
 Prova escrita presencial, individual e sem consulta
o Valor: 6,0 pontos
 Atividade Prática Supervisionada (APS)
o Valor: 4,0 pontos
➢ AV3:
 Prova escrita presencial, individual, sem consulta
o Valor: 10,0 pontos
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 10
11
Sistema de Avaliação
▪ AV1
➢ Prova Escrita:
 Data: 03 de abril de 2017
 Local: Sala 401
 Horário: horário da aula
 Duração: 1:20 min
 Previsão de Matéria:
o Unidade I, II
 Será permitida a entrada para realização da prova até 30
minutos após o início da prova
 Revisão e entrega de prova: 10 de abril de 2017
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 11
12
Sistema de Avaliação
▪ AV2
➢ Nota = Prova escrita (6,0) + Atividade Supervisionada (4,0)
➢ Prova Escrita
 Data: 05 de junho de 2017
 Local: Sala 401
 Horário: horário de aula
 Duração: 1:20 min
 Matéria: Todas as unidades
 Será permitida a entrada para realização da prova até 30
minutos após o início da prova
 Revisão e entrega de prova: 12 de junho de 2017
➢ Atividade Supervisionada:
 Entrega: 29 de maio de 2017
 Trabalho prático
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 12
13
Sistema de Avaliação
▪ Atividade Supervisionada (Vale 4,0 pontos)
➢ O aluno DEVERÁ sanar dúvidas sobre a sua realização com o
professor através de fórum adequado no AVA.
➢ A parte escrita deverá seguir, FIELMENTE, os padrões de
trabalhos acadêmicos da UniCarioca. Alterações nos padrões
serão penalizados.
➢ Grupos de até 04 alunos.
➢ O trabalho deve ser entregue pelo AVA, em PDF!!!!
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 13
14
Sistema de Avaliação
▪ Atividade Supervisionada (Vale 4,0 pontos)
➢ Penalizações:
 Entrega fora do prazo:
o até 1 dia de atraso: -1,0 pontos
o de 1 até 2 dias de atraso: -2,0 pontos
o mais de 2 dias de atraso: -4,0 pontos.
 Trabalhos com o nome de 5 ou mais alunos serão recusados e
será atribuído grau zero aos membros do grupo
 Erros gramaticais: -0,1 ponto por erro cometido.
 Plágio: Caso seja observado plágio, o trabalho terá o valor zero
atribuído e o trabalho será entregue à Coordenação do Curso.
 Não serão aceitos trabalhos enviados por e-mail.
 Não serão aceitos trabalhos em papel.
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 14
15
Sistema de Avaliação
▪ AV3
➢ Prova Escrita
 Data: 19 de junho de 2017
 Local: Sala 401
 Horário: horário de aula
 Duração: 1:20 min
 Matéria: Todas as unidades
 Será permitida a entrada para realização da prova até 30
minutos após o início da prova
 Revisão e entrega de prova: 26 de junho de 2017
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 15
16
Sistema de Avaliação
▪ 3 Avaliações
➢ 1ª Avaliação (AV1):
 Prova presencial, individual e sem
consulta. Compõe 100% na nota. Conteúdo estudado até a
data da prova.
➢ 2ª Avaliação (AV2):
 Prova Presencial, individual e sem
consulta. Compõe 60% da nota da AV2 somada com a nota
da Atividade Prática Supervisionada que compõe 40% da
nota da AV2. Conteúdo de toda a disciplina.
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 16
17
Sistema de Avaliação
➢ 3ª Avaliação (AV3):
 Avaliação realizada pelos alunos que não obtiveram desempenho
acadêmico suficiente para aprovação direta (média 7 entre AV1 e
AV2) ou para alunos que desejem aumentar a média final.
 Ocorre somente ao final do período.
 Prova presencial individual, sem consulta e que compõe 100% da
nota (sem trabalhos ou atividades complementares).
 A prova de AV3 abrangerá todo o conteúdo da disciplina.
▪ Em caso de ausência na prova, será considerada nota
ZERO.
▪ NÃO HÁ PROVA DE SEGUNDA CHAMADA
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 17
18
Sistema de Avaliação
▪ CRITÉRIOS PARA APROVAÇÃO NA DISCIPLINA
➢ Será aprovado o aluno com média final igual ou maior a
7,0(sete).
➢ O aluno commédia final inferior a 7,0 (sete) ficará reprovado
na disciplina.
▪ CRITÉRIOS PARA CÁLCULO DA MÉDIA FINAL - TURMA
PRESENCIAL E VIRTUAL
➢ Será descartada a menor nota dentre AV1, AV2 e AV3.
➢ A média final será a média obtida entre as duas notas
restantes.
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 18
19
Sistema de Avaliação
▪ COMPOSIÇÃO DA NOTA DE AV2 – PRESENCIAL
➢ Para o aluno com falta e sem nota na prova de AV2 e com
nota em Atividade Prática Supervisionada (APS), sua nota
da AV2 será somente a nota da APS.
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 19
20
Sistema de Avaliação
▪ COMPOSIÇÃO DA NOTA DE AV2 – PRESENCIAL
➢ Para o aluno com nota na prova de AV2 e sem nota em
Atividade Prática Supervisionada (APS), sua nota da AV2
será somente a nota da prova.
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 20
21
Sistema de Avaliação
▪ COMPOSIÇÃO DA NOTA DE AV2 – PRESENCIAL
➢ Para o aluno com falta e sem nota na prova de AV2 e sem
nota na APS, sua nota da AV2 será Zero.
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 21
22
Sistema de Avaliação
▪ Atraso máximo nos dias de prova: 30 minutos.
➢ Nenhum aluno pode entrar após 30 minutos de prova.
➢ Nenhum aluno pode se ausentar antes de 30 minutos de
prova.
▪ As provas são individuais e realizadas na unidade.
▪ As provas devem ser realizadas nos dias e horários
estabelecidos.
➢ NÃO É PERMITIDO FAZER UMA PROVA EM OUTRO DIA OU
HORÁRIO.
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 22
23
Sistema de Avaliação
▪ O controle das notas é responsabilidade do aluno e é
responsável pela verificação da necessidade de
realização da AV3 de acordo com a média alcançada.
▪ As vistas (revisão) de prova só serão realizadas nos dias
indicados.
▪ Solicitações de revisão de nota:
➢ em até 7 (sete) dias após a data limite de publicação das
notas de cada avaliação (resolução dentro do semestre em
curso).
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 23
24
Justificativa de faltas
▪ O curso da Unicarioca não é um curso à distância, é um
curso presencial. A regulamentação do MEC determina que
o aluno possa ter apenas 25% de faltas com relação ao total
das aulas.
▪ Os 25% de faltas são justamente para que os alunos tenham
flexibilidade para atender suas necessidades, como por
exemplo:
➢ atividades de trabalho,
➢ problemas de saúde, ou
➢ qualquer outro motivo.
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 24
25
Justificativa de faltas
▪ Casos extraordinários serão analisados no final do período
e deve ser apresentado:
➢ Atestado médico: próprio(a) ou de familiar
➢ Atestado da empresa em papel timbrado
 Deverá conter: nome completo, data e hora.
➢ Pode enviar por e-mail, informando o nome da disciplina.
▪ ATENÇÃO:
➢ SERÃO JUSTIFICADAS, NO MÁXIMO, 2 (DUAS) FALTAS NO
SEMESTRE.
➢ O aluno que, mesmo com as 2 justificativas, tiver mais de
25% de ausência ESTARÁ REPROVADO POR FALTAS.
➢ As justificativas serão realizadas apenas no final do período,
após a AVF.
Lógica Matemática - Apresentação da disciplina – Profa Daisy Albuquerque 25

Outros materiais