Lógica para Ciência da Computação

Lógica para Ciência da Computação
GAN 04137 - 2009/2

Renata de Freitas e Petrucio Viana

Info . Notas de aula . Exercícios . Fórum . Professores

topo *** A VS será na sala ADM 809. ***

*** Resultado ***

Turma B2 - Professor Petrucio

Médias finais

Aluno, Média e Situação Alfonso 6,0 :-) Bárbara 2,8 :-( Bernardo 0,0 :-( Bruno 4,3 :-0 Daniel 3,6 :-( Eduardo 0,0 :-( Flávia 2,5 :-( Frederico 2,4 :-( Gabriel 0,0 :-( Giovane 8,6 :-) Guilherme C. 6,0 :-) Guilherme G. 4,3 :-0 Igor B. 6,4 :-) Igor C. 1,8 :-( João 1,5 :-( Jonas 7,5 :-) Leonardo 2,5 :-( Marcelo 6,0 :-) Marco 3,3 :-( Náriman 6,3 :-) Rafael 2,3 :-( Rodrigo 8,6 :-D Rômulo 7,5 :-) Vinícius 9,0 :-D Yan 9,0 :-D
Turma A2 - Professora Renata

Aluno - Primeira Avaliação - Teste 2 - (Simulado) - Segunda Avaliação - Média - Situação

Abel - 1,4 - 2,7 - 6,5 - 4,6 - VS
Abraão - 6,2 - 5,0 - x - 3,1 - reprovado
Augusto Romeiro - 1,9 - 6,2 - 7,5 - 6,9 - aprovado
Augusto Salgueiro - 3,0 - x - x - 1,5 - reprovado
Beatriz - 3,7 - zero - zero - 1,9 - reprovada
Bruno - 2,1 - 7,5 - 8,0 - 7,8 - aprovado
Christian - 3,9 - 7,0 - 7,0 - 7,0 - aprovado
Cintia - 3,5 - 5,0 - x - 2,5 - reprovada
Diego - 0,5 - 4,0 - (5,5) - 7,0 - 6,0 - aprovado
Douglas - 5,7 - 5,8 - dez - 7,9 - aprovado
Elise - 3,6 - 5,0 - 7,5 - 6,3 - aprovada
Felipe - dez - x - dez - dez - aprovado
Guilherme - 2,6 - 3,5 - 3,0 - 3,3 - reprovado
Hudson - zero - 1,0 - x - 0,5 - reprovado
Jefferson - 5,2 - 9,7 - 7,0 - 8,4 - aprovado
João Luiz - x - x - x - reprovado
João Paulo - 2,3 - 4,5 - 5,0 - 4,8 - VS
Jonas - x - x - x - reprovado
Jorge - 3,6 - 8,5 - 8,0 - 8,3 - aprovado
Julio Cesar - 6,3 - 2,6 - (x) - 4,5 - 5,4 - VS
Luan do Nascimento - 2,9 - 4,3 - 5,0 - 4,7 - VS
Luan Lucas - 3,9 - 7,5 - 4,5 - 6,0 - aprovado
Lucas de Carvalho - 6,4 - 7,5 - 8,0 - 7,8 - aprovado
Lucas Pinheiro - 1,0 - 5,0 - 7,0 - 6,0 - aprovado
Marco Henrique - 2,1 - 0,5 - zero - 1,1 - reprovado
Maximiano - 3,3 - 7,2 - 6,5 - 6,9 - aprovado
Rafael Hermano - 2,6 - 3,0 - x - 1,5 - reprovado
Raissa - 4,7 - 5,5 - 7,5 - 6,0 - aprovada
Raphael Evangelista - 8,2 - 9,0 - 7,5 - 8,3 - aprovado
Renato - 1,5 - 4,5 - (3,5) - 6,0 - 5,5 - VS

Info

Terças e Quintas, 09/11 h

Turma A2, salas 601 (3a) e 201 (5a)

Turma B2, sala ADM 809

Módulo 40

Curso: Ciência da Computação

Verificações da aprendizagem:

P1 - 6/10/2009
Teste surpresa 2 - 12/11/2009 ***
Simulado para P2 - 3/12/2009 ***
P2 - 8/12/2009
VS - 15/12/2009

Planejamento: tba.

Monitoria:

Monitor: Ruan.
Horário de atendimento: 4as - 13/16h, 6as - 11/16h.

topo Notas de aula

Aula 1 - Sintaxe de LS.

Aula 2 - Semântica de LS, Parte I.

Aula 3 - Semântica de LS, Parte II.

Aula 4 - Consequência tautológica.

Aula 5 - Simbolização.

Aula 6 - Problemas.

Aula 7 - Quantificadores.

Aula 8 - Sintaxe de LM.

Aula 9 - Árvores de refutação para LS.

Aula 10 - Árvores de refutação para LM.

Aula 11 - Semântica de LM.

Aula 12 - Sintaxe de LPO.

Aula 13 - Árvores de refutação para LPO.

Aula 14 - Método de Dedução.

Aula 15 - Regras de Dedução para LS.

Aula 16 - Regras de Dedução para LPO.

topo Exercícios

Lista 1 - Simbolização.

Lista Validade de Argumentos em LS.

Lista 5.

Lista Árvores de refutação em LM.

Lista 11.

Lista Aplicação das Árvores de refutação de LPO em Álgebra de Conjuntos e de Relações.

Para cada argumento válido identificado nos exercícios anteriores, apresentar uma dedução da conclusão do argumento a partir das suas premissas. ***

topo Fórum

Abraão (Turma A2) criou um fórum que vamos, usar, principalmente, para discutir soluções das listas de exercícios: http://logicauff.forumbrasil.net
Para os que nunca usaram um Fórum, ou já usaram mas têm dúvidas quanto a este especificamente, seguem as instruções básicas:

Criação de contas: para postar mensagens no fórum você precisa ter uma conta. Para criá-la o usuário deve visitar a página principal do Fórum (http://logicauff.forumbrasil.net), clicar em Registrar-se e (depois de ler) aceitar as Condições de utilização do fórum. O formulário de registro que deve aparecer depois de aceitar é simples, contém Nome de Usuário, E-mail e Senha. Quanto a e-mail e senha não há nada a ser explicado e quanto ao Nome de usuário pode-se (e preferencialmente deve-se fazer isso) usar Nome e Sobrenome, já que torna mais fácil a identificação do usuário. Clicando em Salvar o usuário receberá um e-mail que servirá como confirmação de que o e-mail é válido. Seguindo as informações do e-mail o usuário estará com sua conta pronta para usar.
Mensagens: com sua conta criada, use o nome de usuário escolhido para fazer login. Depois de logado é só clicar em Fórum Principal e clicar no botão NEWTOPIC para criar um novo tópico e, dentro de um tópico, clicar em POSTREPLY para postar mensagens. Só existe a categoria Fórum Principal para os tópicos, se outra for necessária é só criar um tópico com uma sugestão de qual deveria ser criada.
Outras Dúvidas: crie um tópico com título Ajuda e faça sua pergunta no Fórum. Ou tente usar o ChatBox da página principal do fórum.

topo Professores

Renata de Freitas, IM-UFF

Petrucio Viana, IM-UFF

Teste Surpresa: pdf.

Resolver as questões em uma folha de papel almaço.

Escrever o nome completo na folha.

Não rasurar.

Redigir as soluções dos exercícios individualmente.

Entregar antes do início da avaliação (6/10/2009, 9h).

Vale até 1 ponto extra na nota da primeira avaliação.

Atualizada em 10/12/2009.