Lógica para Educação Equipe: Bruno Rodrigo (brca) Cristiano Campos (ccc2) Guilherme Dias (gds) Victor Wanderley (vcw)

Apresentação em tema: "Lógica para Educação Equipe: Bruno Rodrigo (brca) Cristiano Campos (ccc2) Guilherme Dias (gds) Victor Wanderley (vcw)"— Transcrição da apresentação:

1 Lógica para Educação Equipe: Bruno Rodrigo (brca) Cristiano Campos (ccc2) Guilherme Dias (gds) Victor Wanderley (vcw)

2 Roteiro da Apresentação O que é LogE? Motivação; Introdução Sintaxe; Semântica; Exemplos;

3 O que é? Lógica para fins educacionais (Ensino Fundamental); Teste de Raciocínio –Comparativo (figuras, símbolos); –Lógico (conjuntos); –Geométrico; –Proporcional (aritmética); –Relações (comutato,transitivo).

4 Motivação Deficiência estudantil em lógica matemática: –Sistema de ensino falho; –Falta de recursos auxiliares no cronograma de ensino; –Necessidade da lógica matemática no desenvolvimento do indivíduo; Interesse do grupo em proporcionar recursos de mudanças, facilitando o aprendizado em matemática mostrando que a própria não é coisa para “doido ”;

5 Introdução Linguagem baseada no paradigma de programação orientada a objeto; Tem como finalidade auxiliar o desenvolvimento do raciocínio lógico em crianças do Ensino Fundamental; Definição de programas simples que trabalhem com manipulação de figuras geométricas; Noções de conjuntos; Capacidade de definir novos Tipos e Objetos;

6 Funcionamento LogE trabalha basicamente com comparações entre estruturas; Em geral uma estrutura proposta pelo professor é colocada em comparação com as resposta do aluno; Um programa LogE consiste numa resposta Verdadeiro (true) ou falso (false) verificando o acerto do aluno;

7 Sintaxe básica Definição de Programa: – Programa ::= DeclTipos DeclObjetos Comparacao Podem ser declarados tipos como expressões, objetos, parâmetros, atributos,comandos e chamada de métodos;

8 Exemplo: Comparação entre tamanho de objetos diferentes(1/4) Tipos de objetos: –Tipo Quadrado = {int tamanho;}{ }{ } –Tipo Triangulo = {int tamanho;}{ }{ } –Tipo Circulo = {int tamanho;}{ }{ } Tipo com método: –Tipo FormaGeometrica = { }{Triangulo,Quadrado,Circulo}{... (declaração dos métodos)..

9 Exemplo: Comparação entre tamanho de objetos diferentes(2/4) –void setTamanho( int tamanho){ tipo.tamanho = tamanho;} –int getTamanho(){ return tipo.tamanho;} –boolean ehTriangulo(){ return (tipo == Triangulo)} –boolean ehQuadrado(){ return (tipo == Quadrado)} –boolean ehCirculo(){ return (tipo == Circulo)} –}

10 Exemplo: Comparação entre tamanho de objetos diferentes(3/4) Declaração de Objeto: –Objeto Forma Tipo FormaGeometrica { –Objeto quad1 tipo Quadrado{ } – Objeto tri1 tipo Triangulo{ } – quad1.setTamanho(10); –tri1.setTamanho(10); –}

11 Exemplo: Comparação entre tamanho de objetos diferentes(4/4) Chamada do programa: –Forma.quad1.getTamanho() == Forma.tri1.getTamanho() Depois de declarado o programa, o aluno poderá informar qual seria o objeto que ele acha ser igual(em tamanho ao proposto). Assim o programa irá verificar e informar se ele acertou ou errou.

12 Lógica para Educação Equipe: Bruno Rodrigo (brca) Cristiano Campos (ccc2) Guilherme Dias (gds) Victor Wanderley (vcw)