Atps Logica Matemática

ATIVIDADES PRÁTICAS SUPERVISIONADAS

Ciência da Computação

3ª. Série Lógica Matemática

A Atividade Prática Supervisionada (ATPS) é um procedimento metodológico de ensino-aprendizagem desenvolvido por meio de etapas, acompanhadas pelo professor, e que tem por objetivos:  Favorecer a autoaprendizagem do aluno.  Estimular a corresponsabilidade do aluno pelo seu aprendizado.  Promover o estudo, a convivência e o trabalho em grupo.  Auxiliar no desenvolvimento das competências requeridas para o exercício profissional.  Promover a aplicação da teoria na solução de situações que simulam a realidade.  Oferecer diferenciados ambientes de aprendizagem

Para atingir estes objetivos, a ATPS propõe um desafio e indica os passos a serem percorridos ao longo do semestre para a sua solução.

Aproveite esta oportunidade de estudar e aprender com desafios da vida profissional.

AUTORIA: Gesiane de Salles Cardin Denzin Faculdade Anhanguera de Limeira

Ciência da Computação – 3ª Série – Lógica Matemática

Gesiane de Salles Cardin Denzin

Pág. 2 de 12

COMPETÊNCIAS E HABILIDADES

Ao concluir as etapas propostas neste desafio você terá desenvolvido as competências e habilidades descritas a seguir.  Conhecimento mais adensado dos aspectos teóricos, científicos e tecnológicos relacionados à computação;  Capacidade de raciocinar logicamente;  Desenvolver a autonomia intelectual;  Saber conciliar teoria e prática.

Produção Acadêmica Relatórios parciais, com os resultados das pesquisas e atividades realizadas.

Participação Esta atividade será, em parte, desenvolvida individualmente pelo aluno e, em parte, pelo grupo. Para tanto, os alunos deverão:  Organizar-se, previamente, em equipes de participantes conforme orientação do professor.  Entregar seus nomes, RAs e e-mails ao professor da disciplina.  Observar, no decorrer das etapas, as indicações: Aluno e Equipe.

Padronização O material escrito solicitado nesta atividade deve ser produzido de acordo com as normas da ABNT1, com o seguinte padrão:  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.  Espaçamento de 1,5 entre linhas.  Se houver citações com mais de três linhas, devem ser em fonte tamanho 10, com um recuo de 4cm da margem esquerda e espaçamento simples entre linhas.  Com capa, contendo:  Nome de sua Unidade de Ensino, Curso e Disciplina.  Nome e RA de cada participante.  Título da atividade.  Nome do professor da disciplina.  Cidade e data da entrega, apresentação ou publicação.

1 Consultar o Manual para Elaboração de Trabalhos Acadêmicos. Unianhanguera. Disponível em: <http://www.unianhanguera.edu.br/anhanguera/bibliotecas/normas_bibliograficas/index.html>.

Ciência da Computação – 3ª Série – Lógica Matemática

Gesiane de Salles Cardin Denzin

Pág. 3 de 12

DESAFIO

Na clássica obra “Um estudo em Vermelho”, o autor Sir Arthur Conan Doyle utiliza das táticas da Lógica de Dedução, para prender a atenção dos leitores, fazendo com que isto torne essa história mais inteligente e cheia de mistérios. Logo no início o autor deixa claro alguns trechos em que utiliza a Lógica Dedutiva quando coloca em cena seu personagem Sherlock Holmes, um detetive extremamente hábil, que mostra seu talento para desvendar os mais misteriosos crimes com estudos de diversos assuntos, os quais outros detetives extremamente competentes não seriam capazes de desvendar de uma maneira tão clara e lógica. A historia é narrada por John Watson, um doutor que serviu um tempo na guerra no Afeganistão e que graças a certos ferimentos voltou para Inglaterra. Levando uma vida irregular, sem muita preocupação e com baixas condições 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 também 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 proprietários da empresa Playing Game que desenvolve jogos de RPG online. Como haviam acabado de criar um grande jogo que ainda não havia sido divulgado para a equipe e encantados com a forma simples e perfeita com que Holmes usava a lógica dedutiva decidiram criar uma gincana interna para estimular a criatividade, o trabalho em equipe e o raciocínio lógico de seus programadores. Para tanto, lançaram 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 relatórios sobre um desafio que fornece letras e resulta em um de um jogo.

Livro Texto da Disciplina

A produção desta ATPS é fundamentada no livro-texto da disciplina, que deverá ser utilizado para solução do desafio:

SOUZA, João Nunes de. Lógica para Ciência da Computação: uma introdução concisa. 2ª ed. Rio de Janeiro: Campus - Elsevier, 2008.

Ciência da Computação – 3ª Série – Lógica Matemática

Gesiane de Salles Cardin Denzin

Pág. 4 de 12

ETAPA 1 (tempo para realização: 2, 5 horas)

 Aula tema: Apresentação da Disciplina e Metodologia de Trabalho. Introdução à Lógica. Álgebra de Conjuntos.

Esta atividade é importante para que você aprenda a usar a notação de conjuntos e trabalhar de forma aplicada suas operações. Para realizá-la é importante seguir os passos descritos. PASSOS

Passo 1 (Aluno) Ler atentamente o capítulo do livro texto que descreve os conceitos introdutórios de conjuntos, subconjuntos

...