ATIVIDADES PRTICAS SUPERVISIONADAS

3. Srie Lgica Matemtica

Cincia da Computao

A atividade prtica supervisionada (ATPS) um procedimento metodolgico de ensino-aprendizagem desenvolvido por meio de um conjunto de etapas programadas e supervisionadas e que tem por objetivos: Favorecer a aprendizagem. Estimular a corresponsabilidade do aluno pelo aprendizado eficiente e eficaz. Promover o estudo, a convivncia e o trabalho em grupo. Desenvolver os estudos independentes, sistemticos e o autoaprendizado. Oferecer diferentes ambientes de aprendizagem. Auxiliar no desenvolvimento das competncias requeridas pelas Diretrizes Curriculares Nacionais dos Cursos de Graduao. Promover a aplicao da teoria e conceitos para a soluo de problemas prticos relativos profisso. Direcionar o estudante para a busca do raciocnio crtico e a emancipao intelectual. Para atingir estes objetivos a ATPS prope um desafio e indica os passos a serem percorridos ao longo do semestre para a sua soluo. A sua participao nesta proposta essencial para que adquira as competncias e habilidades requeridas na sua atuao profissional. Aproveite esta oportunidade de estudar e aprender com desafios da vida profissional.

AUTORIA: Gesiane de Salles Cardin Denzin

Faculdade Anhanguera de Limeira

Cincia da Computao 3 Srie Lgica Matemtica

Pg. 2 de 11

COMPETNCIAS E HABILIDADES
Ao concluir as etapas propostas neste desafio voc ter desenvolvido as competncias e habilidades descritas a seguir. Conhecimento mais adensado dos aspectos tericos, cientficos e tecnolgicos relacionados computao; Capacidade de raciocinar logicamente; Desenvolver a autonomia intelectual; Saber conciliar teoria e prtica.

Produo Acadmica
Relatrios parciais, com os resultados das pesquisas e atividades realizadas.

Participao
Esta atividade ser, em parte, desenvolvida individualmente pelo aluno e, em parte, pelo grupo. Para tanto, os alunos devero: Organizar-se, previamente, em equipes de participantes conforme orientao do professor. Entregar seus nomes, RAs e e-mails ao professor da disciplina. Observar, no decorrer das etapas, as indicaes: Aluno e Equipe.

Padronizao
O material escrito solicitado nesta atividade deve ser produzido de acordo com as normas da ABNT1, com o seguinte padro: Em papel branco, formato A4. Com margens esquerda e superior de 3cm, direita e inferior de 2cm. Fonte Times New Roman tamanho 12, cor preta. Espaamento de 1,5 entre linhas. Se houver citaes com mais de trs linhas, devem ser em fonte tamanho 10, com um recuo de 4cm da margem esquerda e espaamento simples entre linhas. Com capa, contendo: Nome de sua Unidade de Ensino, Curso e Disciplina. Nome e RA de cada participante. Ttulo da atividade. Nome do professor da disciplina. Cidade e data da entrega, apresentao ou publicao.

Consultar o Manual para Elaborao de Trabalhos Acadmicos. Unianhanguera. Disponvel em: <http://www.unianhanguera.edu.br/anhanguera/bibliotecas/normas_bibliograficas/index.html>.

Gesiane de Salles Cardin Denzin

Cincia da Computao 3 Srie Lgica Matemtica

Pg. 3 de 11

DESAFIO
Na clssica obra Um estudo em Vermelho, o autor Sir Arthur Conan Doyle utiliza das tticas da Lgica de Deduo, para prender a ateno dos leitores, fazendo com que isto torne essa histria mais inteligente e cheia de mistrios. Logo no incio o autor deixa claro alguns trechos em que utiliza a Lgica Dedutiva quando coloca em cena seu personagem Sherlock Holmes, um detetive extremamente hbil, que mostra seu talento para desvendar os mais misteriosos crimes com estudos de diversos assuntos, os quais outros detetives extremamente competentes no seriam capazes de desvendar de uma maneira to clara e lgica. A historia narrada por John Watson, um doutor que serviu um tempo na guerra no Afeganisto e que graas a certos ferimentos voltou para Inglaterra. Levando uma vida irregular, sem muita preocupao e com baixas condies financeiras, Watson reencontra um velho amigo, com quem comenta sobre sua vida e sobre a necessidade que possui de mudar de casa. Este o leva a conhecer Sherlock Holmes, o qual tambm procurava um lugar mais adequado para morar. Ao conhecer Holmes, a vida de Watson nunca mais foi a mesma. Esse livro foi recentemente lido por dois proprietrios da empresa Playing Game que desenvolve jogos de RPG online. Como haviam acabado de criar um grande jogo que ainda no havia sido divulgado para a equipe e encantados com a forma simples e perfeita com que Holmes usava a lgica dedutiva decidiram criar uma gincana interna para estimular a criatividade, o trabalho em equipe e o raciocnio lgico de seus programadores. Para tanto, lanaram o desafio: descubra o nome do jogo. A gincana foi dividida em 6 grandes desafios que quando completados forneciam letras. Vencidas as 6 etapas, um nome deveria ser formado quando juntadas todas as letras encontradas. Ganhava a equipe que resolvesse corretamente todos os desafios, isto , a que encontrasse o nome do jogo.

Objetivo do Desafio
Elaborar um conjunto e relatrios sobre um desafio que fornece letras e resulta em um de um jogo.

ETAPA 1 (tempo para realizao; 2 a 5 horas)

Aula tema: Apresentao da Disciplina e Metodologia de Trabalho. Introduo Lgica. lgebra de Conjuntos. Esta atividade importante para que voc aprenda a usar a notao de conjuntos e trabalhar de forma aplicada suas operaes. Para realiz-la importante seguir os passos descritos.
Gesiane de Salles Cardin Denzin

Cincia da Computao 3 Srie Lgica Matemtica

Pg. 4 de 11

PASSOS
Passo 1 (Aluno) Ler atentamente o captulo do livro texto que descreve os conceitos introdutrios de conjuntos, subconjuntos e operaes de conjuntos. Passo 2 (Aluno) Ler a seguir o primeiro desafio proposto pelos proprietrios da empresa Playing Game aos seus funcionrios: Sabendo-se que dos 110 funcionrios de nossa empresa, 80 so casados, 70 possuem casa prpria e 30 so solteiros e possuem casa prpria. Analisar os itens seguintes: (a) Mais da metade dos funcionrios casados possui casa prpria. (b) Dos funcionrios que possuem casa prpria h mais solteiros que casados. Passo 3 (Equipe) Resolver o desafio proposto anteriormente, julgando as afirmaes apresentadas na letra (a) e (b) como CERTO ou ERRADO. Passo 4 (Equipe) Fazer as seguintes associaes: Associar as letras ZE, se o item (a) for CERTO e o (b) for CERTO Associar as letras TA, se o item (a) for CERTO e o (b) for ERRADO Associar as letras SO, se o item (a) for ERRADO e o (b) for CERTO Associar as letras ER, se o item (a) for ERRADO e o (b) for ERRADO Em seguida, elaborar um relatrio e entreg-lo ao professor com: a anlise do desafio baseada no Diagrama de Venn, bem como todo raciocnio realizado para a soluo do passo 3; as letras encontradas, aps a associao feita no passo 4 .

ETAPA 2 (tempo para realizao: 2 a 5 horas)

Aula tema: Lgica Proposicional Linguagem; Conectivos e Valores Lgicos; Tautologias. Esta atividade importante para que voc aprenda a usar os smbolos formais da lgica proposicional e a encontrar o valor lgico de uma expresso em lgica proposicional. Para realiz-la importante seguir os passos descritos.

Gesiane de Salles Cardin Denzin

Cincia da Computao 3 Srie Lgica Matemtica

Pg. 5 de 11

PASSOS
Passo 1 (Aluno) Ler atentamente o captulo do livro texto que descreve os conceitos introdutrios da lgica formal, conetivos, valores lgicos. Ler tambm o texto a seguir entregue pelos proprietrios da empresa Playing Game aos seus funcionrios: Se Rodolfo mais alto que Guilherme, ento Helosa e Flvia tm a mesma altura. Se Helosa e Flvia tm a mesma altura, ento Alexandre mais baixo que Guilherme. Se Alexandre mais baixo que Guilherme, ento Rodolfo mais alto que Helosa. Ora, Rodolfo no mais alto que Helosa. Passo 2 (Equipe) Ler o texto e faam as atividades a seguir. Os proprietrios, ao apresentarem o texto, tinham como objetivo fazer com que seus funcionrios estudassem lgebra das Proposies. Traduza-o para a linguagem proposicional, de acordo com a simbologia estudada no livro texto. Passo 4 (Equipe) Estudar o valor lgico da proposio composta encontrada no passo 3 e responder por meio deste estudo, qual das alternativas oferecidas a seguir, pelos proprietrios, apresenta a soluo correta para o dilema das alturas apresentado no texto passo 2. (a) Rodolfo no mais alto que Guilherme, e Helosa e Flvia no tm a mesma altura; (b) Rodolfo mais alto que Guilherme, e Helosa e Flvia tm a mesma altura; (c) Rodolfo no mais alto que Flvia, e Alexandre mais baixo que Guilherme; (d) Rodolfo e Alexandre so mais baixos que Guilherme; (e) Rodolfo mais alto que Guilherme, e Alexandre mais baixo que Helosa. Fazer as atribuies: Atribuir as letras OC, se sua resposta for a alternativa (a). Atribuir as letras TE, se sua resposta for a alternativa (b). Atribuir as letras EP, se sua resposta for a alternativa (c). Atribuir as letras UO, se sua resposta for a alternativa (d). Atribuir as letras SA, se sua resposta for a alternativa (e). Passo 4 (Equipe) Elaborar um relatrio e entreg-lo ao professor com: a proposio composta encontrada no passo 3, bem como todo raciocnio realizado para mont-la; a soluo correta para o dilema das alturas encontrada no passo 4, bem como todo raciocnio realizado para ach-la; as letras encontradas aps a atribuio feita no passo 5.

Gesiane de Salles Cardin Denzin

Cincia da Computao 3 Srie Lgica Matemtica

Pg. 6 de 11

ETAPA 3 (tempo para realizao: 2 a 5 horas)

Aula tema: Lgica Proposicional Linguagem; Conectivos e Valores Lgicos; Tautologias. Esta atividade importante para que voc aprenda a identificar quando uma fbf tautolgica, isto , quando uma frmula proposicional intrinsecamente verdadeira pela sua prpria estrutura, independentemente dos valores lgicos atribudos s suas letras de proposio. Para realiz-la importante seguir os passos descritos.

PASSOS
Passo 1 (Equipe) Ler atentamente o captulo do livro texto que apresenta a teoria de tautologias, atentando para as equivalncias tautolgicas e para as leis De Morgan. Passo 2 (Equipe) Ler a seguir, o terceiro desafio proposto pelos proprietrios da empresa Playing Game aos seus funcionrios: Reescrever o pseudocdigo a seguir com uma expresso condicional mais simples, cuja funo mpar (n) tem o valor lgico verdadeiro se n for mpar. se no ((valor1<valor2) ou mpar(nmero)) ou (no(valor1<valor2) e mpar(nmero)) ento proposio1 caso contrrio proposio2 fim se Passo 3 (Equipe) Fazer as seguintes atividades: a) Traduzir para a linguagem proposicional o desafio apresentado no passo 2, de acordo com a simbologia estudada no livro texto; b) Simplificar a expresso encontrada no passo 3, usando as equivalncias tautolgicas; c) Apresentar a nova escrita do pseudocdigo; d) Contar quantas equivalncias tautolgicas foram usadas para reescrever o pseudocdigo. Atribuir as letras BA se sua resposta for 3 regras; Atribuir as letras EV se sua resposta for 4 regras; Atribuir as letras TI se sua resposta for 5 regras; Atribuir as letras PO se sua resposta for 6 regras

Gesiane de Salles Cardin Denzin

Cincia da Computao 3 Srie Lgica Matemtica

Pg. 7 de 11

Passo 4 (Equipe) Elaborar um relatrio e entreguem-no ao professor com: a traduo do desafio para a linguagem proposicional realizada no passo 3, bem como todo raciocnio realizado para mont-la; a expresso simplificada encontrada no passo 4, enfatizando as equivalncias tautolgicas usadas; a nova escrita do pseudocdigo montada no passo 5; as letras encontradas aps a atribuio feita no passo 6.

ETAPA 4 (tempo para realizao: 2 a 5 horas)

Aula tema: Lgica Proposicional argumentos Vlidos; Regras de Deduo; Mtodos Dedutivos; Argumentos Verbais; Lgica Posicional Tableaux Semnticos. Tcnicas de Demonstrao. Esta atividade importante para que voc aprenda usar ferramentas da lgica formal para ver como chegar a concluses a partir de proposies dadas. Para realiz-la importante seguir os passos descritos.

PASSOS
Passo 1 (Equipe) Ler atentamente o captulo do livro texto que descreve os conceitos introdutrios da lgica proposicional, regras de deduo e mtodos dedutivos. Passo 2 (Equipe) Ler a seguir, o texto entregue pelos proprietrios da empresa Playing Game aos seus funcionrios: Jos quer ir ao teatro assistir pea A Vida uma Comdia, mas no tem certeza se a mesma est sendo exibida. Seus amigos, Maria, Lus e Jlio tm opinies discordantes sobre se a pea est ou no em cartaz. Se Maria estiver certa, ento Jlio est enganado. Se Jlio estiver enganado, ento Lus est enganado. Se Lus estiver enganado, ento a pea no est sendo exibida. Ora, ou a pea A Vida uma Comdia est sendo exibida, ou Jos no ir ao teatro. Verificou-se que Maria est certa. Passo 3 (Equipe) Traduzir o texto apresentado no passo 2 para a linguagem proposicional de acordo com a simbologia estudada no livro texto. Passo 4 (Equipe) Construir uma prova de validade direta para o argumento encontrado no passo 3; fazer uso das regras de deduo; e responder por meio deste estudo, qual das alternativas oferecidas a

Gesiane de Salles Cardin Denzin

Cincia da Computao 3 Srie Lgica Matemtica

Pg. 8 de 11

seguir, pelos proprietrios, apresenta a soluo correta para o dilema apresentado no texto do passo 2. (a) a pea A Vida uma Comdia est sendo exibida; (b) Lus e Jlio no esto enganados; (c) Jlio est enganado, mas no Lus; (d) Lus est enganado, mas no Jlio; (e) Jos no ir ao teatro.

ETAPA 5 (tempo para realizao: 2 a 5 horas)

Aula tema: Lgica Proposicional argumentos Vlidos; Regras de Deduo; Mtodos Dedutivos; Argumentos Verbais; Lgica Posicional Tableaux Semnticos. Tcnicas de Demonstrao. Esta atividade importante para que voc aprenda usar ferramentas da lgica formal para ver como chegar a concluses a partir de proposies dadas. Para realiz-la importante seguir os passos descritos.

PASSOS
Passo 1 (Equipe) Dar continuidade Etapa 4 e fazer as seguintes atribuies: Atribuir a letra I se sua resposta for a alternativa (a) Atribuir a letra O se sua resposta for a alternativa (b) Atribuir a letra A se sua resposta for a alternativa (c) Atribuir a letra U se sua resposta for a alternativa (d) Atribuir a letra E se sua resposta for a alternativa (e) Passo 2 (Equipe) Elaborar um relatrio e entreg-lo ao professor com: a proposio composta encontrada no passo 3 da etapa 4, bem como todo raciocnio realizado para mont-la; a soluo encontrada no passo 4 da etapa 4, apresentando juntamente a soluo, todas regras de deduo utilizadas na prova direta; a letra encontrada aps a atribuio feita no passo 1 desta etapa.

ETAPA 6 (tempo para realizao: 2 a 5 horas)

Aula tema: Lgica de Predicados Linguagem; Quantificadores, Predicados e Validade. Lgica de Predicados Regras de Deduo; Mtodos Dedutivos; Argumentos Verbais. Esta atividade importante para que voc aprenda a trabalhar com expresses que contenham variveis cujo valor lgico vai depender do valor atribudo varivel, cuja possibilidade no existia em fbfs proposicionais.
Gesiane de Salles Cardin Denzin

Cincia da Computao 3 Srie Lgica Matemtica

Pg. 9 de 11

Para realiz-la importante seguir os passos descritos.

PASSOS
Passo 1 (Aluno) Ler atentamente o captulo do livro texto que descreve os conceitos introdutrios da lgica de predicados, regras de deduo e mtodos dedutivos. Ler tambm o texto a seguir apresentado pelos proprietrios da empresa Playing Game aos seus funcionrios: Todo notebook tem uma entrada USB. Alguns notebooks tm leitor biomtrico. Portanto, alguns notebooks tm uma entrada USB e um leitor biomtrico. Passo 2 (Equipe) Traduzir para a linguagem de predicados o enunciado do desafio dado no passo 2; fazer uso da simbologia estudada no livro texto e da notao: N ( x) para x um notebook, U ( x) para x tem uma entrada USB e B( x) para x tem leitor biomtrico. Passo 3 (Equipe) Responder: Qual das alternativas abaixo, mostra as regras de deduo usadas (na ordem da prova) para demonstrar a validade do argumento encontrado no passo 3? (a) particularizao existencial(pe); particularizao universal(pu); simplificao(simp); modus ponens(mp); conjuno(conj); comutatividade(com); generalizao existencial (ge). (b) particularizao universal (pu); simplificao(sim); modus tollens(mt); dupla negao(dn) ; conjuno(conj); adio(ad); generalizao existencial(ge). Atribuir a letra N se sua resposta for a alternativa (a) Atribuir a letra T se sua resposta for a alternativa (b) Passo 4 (Equipe) Elaborar um relatrio e entreg-lo ao professor com: o argumento encontrado no passo 3, bem como todo raciocnio realizado para montlo; a demonstrao da validade do argumento realizada no passo 4, apresentando todas as regras de deduo utilizadas nesta prova; a letra encontrada aps a atribuio feita no passo 5.

ETAPA 7 (tempo para realizao: 2 a 5 horas)

Aula tema: lgebra de Boole. Esta atividade importante para que voc aprender se certa estrutura matemtica uma lgebra de Boole, desenhar um circuito lgico para representar uma expresso booleana e escrever a funo booleana que representa um circuito lgico.
Gesiane de Salles Cardin Denzin

Cincia da Computao 3 Srie Lgica Matemtica

Pg. 10 de 11

Para realiz-la importante seguir os passos descritos.

PASSOS
Passo 1 (Aluno) Ler atentamente o captulo do livro texto que descreve os conceitos introdutrios da lgebra de Boole e circuitos lgicos. Passo 2 (Equipe) Considerar que o ltimo desafio foi iniciado pela seguinte informao: A luz de uma sala controlada por dois interruptores, um em cada extremidade. Passo 3 (Equipe) Encontrar uma funo booleana da informao dada no passo 2. Passo 4 (Equipe) Encontrar uma expresso booleana das informaes dadas nos passos 2 e 3.

ETAPA 8 (tempo para realizao: 2 a 5 horas)

Aula tema: lgebra de Boole. Esta atividade importante para que voc aprender se certa estrutura matemtica uma lgebra de Boole, desenhar um circuito lgico para representar uma expresso booleana e escrever a funo booleana que representa um circuito lgico. Para realiz-la importante seguir os passos descritos.

PASSOS
Passo 1 (Equipe) Dar continuidade a etapa 7 e responder: Qual das alternativas a seguir, representa um circuito lgico que permite que a luz seja acesa ou apagada em qualquer dos dois interruptores? Provar sua resposta.

Gesiane de Salles Cardin Denzin

Cincia da Computao 3 Srie Lgica Matemtica

Pg. 11 de 11

(a)

(b)

(c)

Passo 2 (Equipe) Fazer as seguintes atribuies: Atribuir as letras AM se sua resposta for a alternativa (a), no passo 1 desta etapa. Atribuir as letras DS se sua resposta for a alternativa (b), no passo 1 desta etapa. Atribuir as letras YS se sua resposta for a alternativa (c), no passo 1 desta etapa. Passo 3 (Equipe) Elaborar um relatrio e entreguem-no ao professor com: a funo booleana encontrada no passo 3 da etapa 7, bem como todo raciocnio realizado para mont-la; a expresso booleana encontrada no passo 4 da etapa 7, explicitando o raciocnio realizado para mont-la; as letras encontradas aps a atribuio feita no passo 2 desta etapa. Passo 4 (Equipe) Finalizar seu projeto. Depois de todas as etapas 7 e 8 realizadas, colocar na ordem de realizao dos desafios, as letras encontradas e montar o nome do jogo que os proprietrios da Playing Game criaram para o mais novo RPG online da empresa.

Livro Texto da Disciplina

SOUZA, Joo. Lgica Matemtica. 1 ed. So Paulo: Elsevier, 2007.

Gesiane de Salles Cardin Denzin