Lógica para Educação

Log

Equipe:Bruno Rodrigo (brca)Cristiano Campos (ccc2)Guilherme Dias (gds)Victor Wanderley (vcw)

Roteiro da Apresentação

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

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).

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”;

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;

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;

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;

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)..

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)}– }

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);– }

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.

Lógica para Educação

Log

Equipe:Bruno Rodrigo (brca)Cristiano Campos (ccc2)Guilherme Dias (gds)Victor Wanderley (vcw)