Download - planificacion Lógica 2016
-
7/26/2019 planificacion Lgica 2016
1/3
Centro de educacin Tcnica N1
Escuela Tcnica Don Antonio Sanchez Platero General Roca- Ro Nero
Plani!icacin Anual "ica
Pro!#"ic $ore %a&i'iliano Go'ez
(unda'entacin
La lgica Matemtica surge como el resultado de la convergencia de 4 lineas de pensamiento:
1. la Lgica antigua (Aristoteles)2. La idea de un lenguaje completo y automtico para el raonamiento.!. Los nuevos progresos en lge"ra y geometr#a acaecidos despu$s de 1%&'4. La idea de ue ay partes de la matemtica ue son sistemas deductivos* esto es* cadena de raonamientosue se con+orman a las reglas de la lgica.
La lgica proposicional y la lgica de primer orden o lgica de predicados +orman parte de las lgicasclsicas y constituyen el sustento de la programacin lgica. ,l raonamiento lgico se emplea enmatemtica para demostrar teoremas- en ciencias de la computacin para veri+icar si los programas son
correctos o no* en las ciencias +#sicas o naturales para o"tener conclusiones de eperimentos- en las /ienciassociales y en la vida cotidiana* para resolver una incre#"le cantidad de pro"lemas. 0os re+erimos a la Lgicapropocional clsica con L/ y utiliaremos L* para denotar la lgica de primer orden.,n este sentido la lgica proposicional es una importante rama de la matemtica ue se +ormalia en el siglo33. 5e atri"uye a Aristoteles (!&46!226A/) el primer estudio sistemtico y +ormal del raonamiento lgicoy el empleo del t$rmino lgica para re+erirse al estudio de los argumentos o a la verdad de la ciencia. ,l+iloso+o y matemtico Aleman 7. 8. Lei"ni (19496119) a realiado importantes contri"uciones durante elsiglo 3; y +ue 7. esolver situaciones pro"lemticas distinguir el raonamiento correcto del incorrecto. ;eri+icar si los programas son correctos o no.
Pro)sitos es)ec!icos en !uncin de cada unidad*
+nidad ,*
>econocer los distintos elementos ue componen una proposicin y los valores de verdad ue estas
pueden tomar. >econocer los posi"les valores de verdad y su uso mediante ta"las de verdad. /omprender las +ormas de conectar proposiciones y los resultados lgicos ue esto conlleva.
+nidad ,,
>econocer las partes ue componen un raonamiento y la +ormas de compro"ar la veracidad delmismo.
/onocer las reglas de in+erencias mas comunes utiliadas para compro"ar los raonamientos.
-
7/26/2019 planificacion Lgica 2016
2/3
+nidad ,,,
/onocer los di+erentes m$todos de demostraciones y las reglas utiliadas en los mismos. >econocer la importancia del uso de las demostraciones en la resolucin de pro"lemas comBnes.
+nidad ,
/onocer el lge"ra de eglas derivadas de in+erencia. @$cnicas dededuccin. @eor#as aiomticas. /onceptos "sicos. ;erdad y valide lgica. /onsistencia.roposiciones y ta"la de verdad- roposiciones y valor de verdad* proposicin compuesta* varia"les de
enunciados (varia"les proposicionales)* ta"la de verdad./onein entre proposiciones (compuestas)* conjuncin* disyuncin* disyuncin eclusiva* negacin*proposicin condicional* proposicin rec#proca* proposicin contra rec#proca* proposicin "i condicional.@autolog#a y contradicciones.
+nidad .*>aonamientos
>aonamientos: raonamiento* raonamiento vlido* +alacia* in+erencia: >egla de in+erencia mas usuales.emostraciones: @eorema corolario* lema* demostracin* raonamientos y cuanti+icadores: e+inicionesmatemticas* regla de particulariacin* regla de generaliacin.
+nidad ,,,* emostraciones
M$todo de demostracin: demostracin vac#a* demostracin trivial* demostracin directa* demostracin porla contrarec#proca* demostracin por contradicciones y "Bsueda de contraejemplos.
+nidad ,*Clge"ra de esponsa"ilidad y constancia
=ijar pautas comunes de convivencia en el grupo y de compromiso con la material =ormar y +omentar una actitud responsa"le acia las tareas individuales y grupales. 7enerar el inter$s por temas ue se relacionan con la lgica en general.
-
7/26/2019 planificacion Lgica 2016
3/3
%odalidad de tra/a0os
el dictado de la asignatura se distri"uye en clases tericas y prcticas. ,l en+oue de la materia esesencialmente prctico. Las clases tericas promueven la participacin de los estudiantes* la metodlog#a deenseDana es +undamentalmente epositiva. La introduccin de cada nuevo concepto* por uno o dos ejemplosue ilustran su aplicacin
en las clases prcticas se "rindan algunas eplicaciones epositivas para retomar y re+orar los contenidospresentados en teor#a* pero en general la mayor parte de las clases se destina a atender las consultas de losestudiantes y guiarlos en la resolucin de as actividades prcticas* intentando guiarlos en cada etapa delproceso.
Estrateias
,la"oracin e tra"ajos prcticos en todos los temas desarrollados ,posicin oral y resolucin de pro"lemas dados en en conjunto* ermitir el tra"ajo entre estudiantes +omentando la ayuda mutua e"ate de conceptos dados en +orma a"ierta. ,valuacin escrita al alcanar puntos estrat$gicos de cada uno de los temas dados.
Ealuacin 2 acreditacin
La evaluacin se entiende como un proceso por lo ue se realiar en +orma continua atendiendo a laapropiacin de los contenidos conceptuales y su aplicacin prctica en la resolucin de las situacionespro"lemticas* adems con evaluaciones escritas orales e individuales* al alcanar puntos estrat$gicos decada unidad