1 / 12

Introduction to Logic for Education: LogE Program

Learn the basics of logic for educational purposes, focusing on programming concepts to enhance logical reasoning in elementary students. Explore syntax, semantics, and examples of LogE program. Team: Bruno, Cristiano, Guilherme, Victor.

cloris
Download Presentation

Introduction to Logic for Education: LogE Program

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

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

  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. Equipe: Bruno Rodrigo (brca) Cristiano Campos (ccc2) Guilherme Dias (gds) Victor Wanderley (vcw) Lógica para Educação

More Related