Una secuencia didáctica para un curso de lógica

Se presenta una secuencia didáctica para un curso en el que se abordan lenguajes y sistemas formales, conjuntos inductivos, principio de inducción primitiva, funciones primitivas recursivas, lógica proposicional y de predicados de primer orden. La idea es secuenciar los temas a estudiar, introducien...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Peratto, Patricia
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2022
Materias:
Ciencias Informáticas
Didáctica
Inducción
Lógica
Secuencia Didáctica
Epistemología
Didactics
Induction
Logic
Didactic Sequence
Epistemology
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/151740
https://publicaciones.sadio.org.ar/index.php/JAIIO/article/download/409/344
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-151740
record_format dspace
spelling I19-R120-10915-1517402023-05-03T20:11:59Z http://sedici.unlp.edu.ar/handle/10915/151740 https://publicaciones.sadio.org.ar/index.php/JAIIO/article/download/409/344 issn:2451-7496 Una secuencia didáctica para un curso de lógica A didactic sequence for a course of logic Peratto, Patricia 2022-10 2022 2023-04-19T15:09:52Z es Ciencias Informáticas Didáctica Inducción Lógica Secuencia Didáctica Epistemología Didactics Induction Logic Didactic Sequence Epistemology Se presenta una secuencia didáctica para un curso en el que se abordan lenguajes y sistemas formales, conjuntos inductivos, principio de inducción primitiva, funciones primitivas recursivas, lógica proposicional y de predicados de primer orden. La idea es secuenciar los temas a estudiar, introduciendo al nal de una clase el tema a estudiar en la pró- xima, al principio de una clase el tema estudiado en la clase anterior y en el medio se desarrolla el cierre de clase anterior. No solo se relaciona una clase con la anterior y la siguiente sino que se relacionan temas estudiados en clases anteriores con temas estudiados en clases posteriores. Algunos temas son especialmente adecuados para ser relacionados en clases sucesivas como ser conjuntos inductivos, con principio de inducción primitiva y funciones recursivas primitivas. En lógica proposicional, sintaxis, semántica y deducción natural, se comparte el uso de conectivos y los temas se abordan en forma secuencial. Lo mismo en lógica de predicados. We present a teaching didactic sequence for a course which addresses formal languages and systems, inductive sets, the principle of primitive induction, primitive recusive functions, propositional and first order predicate logic. The idea is to sequence the topics to study, introducing at the end of a class the topic to study in the next, at the beginning of a class the theme studied in the class before and in the middle is developed the closure of the class inmediately before. Not only is related one class with the previous and the next but are related themes studied in previous classes with the ones studied in later classes. Some topics are especially adequated to be related in successive classes by example inductive sets, the principle of primitive induction and the functions primitive recursive. In propositional logic, syntax, semantics and natural deduction, is shared the use of connectives, and the themes are addressed in sequential form. The same in predicate logic. Sociedad Argentina de Informática e Investigación Operativa Objeto de conferencia Objeto de conferencia http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) application/pdf 77-91
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Didáctica
Inducción
Lógica
Secuencia Didáctica
Epistemología
Didactics
Induction
Logic
Didactic Sequence
Epistemology
spellingShingle Ciencias Informáticas
Didáctica
Inducción
Lógica
Secuencia Didáctica
Epistemología
Didactics
Induction
Logic
Didactic Sequence
Epistemology
Peratto, Patricia
Una secuencia didáctica para un curso de lógica
topic_facet Ciencias Informáticas
Didáctica
Inducción
Lógica
Secuencia Didáctica
Epistemología
Didactics
Induction
Logic
Didactic Sequence
Epistemology
description Se presenta una secuencia didáctica para un curso en el que se abordan lenguajes y sistemas formales, conjuntos inductivos, principio de inducción primitiva, funciones primitivas recursivas, lógica proposicional y de predicados de primer orden. La idea es secuenciar los temas a estudiar, introduciendo al nal de una clase el tema a estudiar en la pró- xima, al principio de una clase el tema estudiado en la clase anterior y en el medio se desarrolla el cierre de clase anterior. No solo se relaciona una clase con la anterior y la siguiente sino que se relacionan temas estudiados en clases anteriores con temas estudiados en clases posteriores. Algunos temas son especialmente adecuados para ser relacionados en clases sucesivas como ser conjuntos inductivos, con principio de inducción primitiva y funciones recursivas primitivas. En lógica proposicional, sintaxis, semántica y deducción natural, se comparte el uso de conectivos y los temas se abordan en forma secuencial. Lo mismo en lógica de predicados.
format Objeto de conferencia
Objeto de conferencia
author Peratto, Patricia
author_facet Peratto, Patricia
author_sort Peratto, Patricia
title Una secuencia didáctica para un curso de lógica
title_short Una secuencia didáctica para un curso de lógica
title_full Una secuencia didáctica para un curso de lógica
title_fullStr Una secuencia didáctica para un curso de lógica
title_full_unstemmed Una secuencia didáctica para un curso de lógica
title_sort una secuencia didáctica para un curso de lógica
publishDate 2022
url http://sedici.unlp.edu.ar/handle/10915/151740
https://publicaciones.sadio.org.ar/index.php/JAIIO/article/download/409/344
work_keys_str_mv AT perattopatricia unasecuenciadidacticaparauncursodelogica
AT perattopatricia adidacticsequenceforacourseoflogic
_version_ 1765660004078059520

Ejemplares similares