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

Autores
Peratto, Patricia
Año de publicación
2022
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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
Materia
Ciencias Informáticas
Didáctica
Inducción
Lógica
Secuencia Didáctica
Epistemología
Didactics
Induction
Logic
Didactic Sequence
Epistemology
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/151740

id SEDICI_c166334e46d58cab7168e28510825cb7
oai_identifier_str oai:sedici.unlp.edu.ar:10915/151740
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Una secuencia didáctica para un curso de lógicaA didactic sequence for a course of logicPeratto, PatriciaCiencias InformáticasDidácticaInducciónLógicaSecuencia DidácticaEpistemologíaDidacticsInductionLogicDidactic SequenceEpistemologySe 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 Operativa2022-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf77-91http://sedici.unlp.edu.ar/handle/10915/151740spainfo:eu-repo/semantics/altIdentifier/url/https://publicaciones.sadio.org.ar/index.php/JAIIO/article/download/409/344info:eu-repo/semantics/altIdentifier/issn/2451-7496info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T11:11:05Zoai:sedici.unlp.edu.ar:10915/151740Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 11:11:05.832SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Una secuencia didáctica para un curso de lógica
A didactic sequence for a course of logic
title Una secuencia didáctica para un curso de lógica
spellingShingle Una secuencia didáctica para un curso de lógica
Peratto, Patricia
Ciencias Informáticas
Didáctica
Inducción
Lógica
Secuencia Didáctica
Epistemología
Didactics
Induction
Logic
Didactic Sequence
Epistemology
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
dc.creator.none.fl_str_mv Peratto, Patricia
author Peratto, Patricia
author_facet Peratto, Patricia
author_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Didáctica
Inducción
Lógica
Secuencia Didáctica
Epistemología
Didactics
Induction
Logic
Didactic Sequence
Epistemology
topic Ciencias Informáticas
Didáctica
Inducción
Lógica
Secuencia Didáctica
Epistemología
Didactics
Induction
Logic
Didactic Sequence
Epistemology
dc.description.none.fl_txt_mv 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
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.
publishDate 2022
dc.date.none.fl_str_mv 2022-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/151740
url http://sedici.unlp.edu.ar/handle/10915/151740
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://publicaciones.sadio.org.ar/index.php/JAIIO/article/download/409/344
info:eu-repo/semantics/altIdentifier/issn/2451-7496
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
77-91
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260615241924608
score 13.13397