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
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/151740
Ver los metadatos del registro completo
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 |