Baixe o app para aproveitar ainda mais
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
Compartilhar