terça-feira, 13 de novembro de 2007

Trabalho 3

Título: Experimento 2.

Equipe: No máximo 4 alunos.

Tempo de Execução: Até 10 horas.

Local: Em qualquer computador conectado a uma rede, ou a Internet.

Data de Entrega: Os trabalhos devem ser postados no blog da turma até o dia 23 de Novembro as 7:00 hs.

Descrição: Em uma rede qualquer, a equipe deve instalar um aplicativo de monitoramento de rede como MRTG ou PRTG, para caracterizar visualmente o tráfego nesta.

Observações:

  1. A rede deve ser monitorada por um período mínimo de uma semana;
  2. O principal objetivo deste monitoramento é definir quais os períodos de maior e menor uso; assim como determinar se a largura de banda é adequada para as aplicações dos usuários;
  3. Outra ferramenta de gerenciamento pode ser usada para melhor certificar se a largura de banda é adequada;
  4. Lembrem-se que o experimento tem caráter puramente acadêmico e objetiva apenas a capacitação no uso de ferramentas, fazendo com que não haja necessidade de ter-se exatidão nos resultados;
  5. Os trabalhos devem ser apresentados usando o formado de experimento já exposto em sala de aula, não esquecendo do referenciamento bibliográfico;
  6. Juntamente com a apresentação da equipe deverá estar explícito a relação entre integrantes e tópicos desenvolvidos;
  7. Qualquer dúvida deverá ser respondida via comentário a este Post ou pessoalmente na UFPA.

Lógica Aplicada à Computação

Carga Horária - 60 horas

Ementa Oficial - Introdução à lógica. Álgebra de variáveis lógica. Diagrama de Venn. Implementação de sistema Lógico. Operações lógicas sobre proposições. Tabelas-Verdade para proposição compostas. Relação de implicação e equivalência. Argumentos válidos. A Álgebra dos conjuntos com a lógica proposicional. Álgebra de Boole. Simplificação de funções lógicas.

Conteúdo Programático
  • Parte A – Lógica Proposicional
  1. Argumento x Conteúdo;
  2. Proposições;
  3. Equivalências Lógicas.
  • Parte B – Álgebra de Boole
  1. Álgebra Booleana;
  2. Simplificação por postulado da Álgebra;
  3. Simplificação por mapa de Karnaugh.

Processo de Avaliação
  • Conceito final será obtido através da média ponderada das notas obtidas nas seguintes atividades:
  1. Exercícios Individuais e Trabalhos Práticos Individuais e/ou em Equipe - Divulgados em sala de aula, ou através da lista de discussão e/ou Web Site e Blog - Peso 3;
  2. Provas Escritas Individuais - Qualquer data a partir do dia 31 de outubro - Peso 5;
  3. Freqüência efetiva em aula - Peso 2.
Bibliografia Básica
  • ALENCAR FILHO, Edgard de. Iniciação à Lógica Matemática. São Paulo: Editora Nobel, 2002.
  • DAGHLIAN, Jacob. Lógica e álgebra Boole. São Paulo: Editora Atlas, 1990.
  • EDERTON, H.B.A Mathematical Introduction to Logic, Academic Press, 2201.
  • GALLIER, J.H, Logic for Computer Science: Fooundation fo Automatic Theorem Proving, Wiley, 1987.
  • NOLT, Jonh; ROHATYN, Dennis. Lógica. São paulo: Makron Books, 1991.
  • SOARES CORRÊA DA SILVA, Flávio. FINGER, Marcelo. CRISTINA VIEIRA DE MELO, Ana. Lógica para Computação. São Paulo: Editora Thompson, 2006.

Atividade 2 - Lógica

Título: Exercícios de Fixação

Tempo de Execução: 6 horas

Local: A ser definido pelo aluno

Data: Início em 14 de Novembro

Descrição: Esta atividade tem o objetivo de preparar os alunos para 1ª avaliação, que para isso devem ler atentamente o material de lógica matemática (encontrado na página da disciplina - ver material de apoio), e fazer os exercícios apresentados no texto, de acordo com o determinado na lista a seguir.

Especificação:
  • Cada aluno tem seus próprios exercícios a serem resolvidos, que devem ser entregues no dia 23 de novembro de 2007, quando irei pessoalmente recolhe-los em sala de aula e marcar a data da avaliação.
  1. Adriana Lopes da Silva - 1 a) 6 f) 7 n) 10 i)
  2. Andréa Pinheiro Lourido - 1 b) 6 g) 8 a) 10 j)
  3. Antônio Fabricio Guimarães de Sousa - 1 c) 6 h) 8 b) 10 k)
  4. Caroline Fróes de Sousa - 2 a) 6 i) 8 c) 10 l)
  5. Cintya Gabrielli Furtado da Silva - 2 b) 6 j) 8 d) 10 m)
  6. Dayanne P. de Melo Coelho - 2 c) 6 k) 8 e) 11 a)
  7. Denis José Rebelo das Neves - 2 d) 6 l) 9 a) 11 b)
  8. Douglas Ribeiro de Aguiar - 3 a) 6 m) 9 b) 11 c)
  9. Ediclei dos Santos Oliveira - 3 b) 6 n) 9 c) 12 a)
  10. Elton Raniere da Silva Moura - 3 c) 7 a) 9 d) 12 b)
  11. Emanuella Rebelo Camargo - 3 d) 7 b) 9 e) 12 c)
  12. Fábio Ferreira Melo - 3 e) 7 c) 9 f) 12 d)
  13. Fernanda Caroline da Silva Gomes - 4 a) 7 d) 9 g) 12 e)
  14. Gabriele Miranda Sena - 4 b) 7 e) 9 h)
  15. Igor Bruno Santos Pereira - 4 c) 7 f) 10 a)
  16. Jonnes Derik Silva Brito - 5 a) 7 g) 10 b)
  17. Josy Hellisson F. Bezerra - 5 b) 7 h) 10 c)
  18. Luiz Rogério Justo Rêgo - 6 a) 7 i) 10 d)
  19. Marcelo Victor Lisboa Santos - 6 b) 7 j) 10 e)
  20. Maurício Moda Cunha - 6 c) 7 k) 10 f)
  21. Raimundo de Souza Albarado Júnior - 6 d) 7 l) 10 g)
  22. Rodolfho Colares Rebelo - 6 e) 7 m) 10 h)
  • Quaisquer dúvidas devem ser encaminhadas diretamente através de comentários a este Post, onde serão respondidadas da mesma forma.