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.