LOGICAMATEMATICAAGRONOMIA.docx
-
Upload
consuelo-silva-rivera -
Category
Documents
-
view
220 -
download
1
description
Transcript of LOGICAMATEMATICAAGRONOMIA.docx
UNIVERSIDAD NACIONAL PEDRO RUIZ GALLO
UNIVERSIDAD NACIONAL PEDRO RUIZ GALLO
FACULTAD CIENCIAS FSICAS Y MATEMTICASDEPARTAMENTO ACADMICO DE MATEMTICASILABO DE LGICA MATEMTICAI. INFORMACION GENERAL
CURSO
: Lgica Matemtica
ESCUELA PROFESIONA L: Agronoma
CICLO
: 2015 - I CREDITOS
: 03PRE-REQUISITOS
: NingunoCODIGO DEL CURSO
: MM 119HORAS
: 04 hrs. semanales
02 Teora y 02 prcticas
PROFESOR
: Lic. Consuelo Silva RiveraCORREO ELECTRNICO : [email protected]
II. SUMILLA
El curso de Lgica es de formacin bsica y proporciona al estudiante las herramientas de la lgica para utilizarlas en las deducciones o generalizaciones que requiere su formacin profesional. Est dirigido a estudiantes del Primer ciclo de la Especialidad de Agronoma y, se orienta a dar a conocer los conceptos, las definiciones, propiedades y caracterizaciones de la lgica que le permitirn analizar con mayor rigor las conclusiones que puedan formularse en un proyecto de investigacin. III. OBJETIVOS
3.1 GENERAL
Orientar al estudiante en la formacin de una disciplina cientfica, con capacidad de resolver problemas que se presentan en el desempeo de su formacin o en reas afines.Estimular y desarrollar la capacidad de anlisis del estudiante.3.2 ESPECIFICOS
a) Identificar, determinar formas proposicionales y valor de verdad.
b) Demostrar por diferentes mtodos la validez de los razonamientos.
c) Comprender la nocin de concepto, juicio, y razonamiento y los clasifica.d) Identificar y formular los razonamientos deductivos, inductivos.e) Formaliza proposiciones utilizando las reglas de formalizacin
f) Determina la forma normal conjuntiva o disyuntiva de una funcin booleana VI. ESTRUCTURA TEMATICA
La asignatura ha sido divida en 05 unidades didcticas, a fin de realizar un estudio ordenado, secuencial y comprensible.
PRIMERA UNIDAD: LGICA PROPOSICIONAL
SEMANA1:
SESIN NO1 :
Definicin y clases de lgica
Enunciado, clases
Proposiciones Simples
Proposiciones Compuestas
SESIN NO2 :
Evaluacin de esquemas lgicos: tautologa, contradiccin y contingencia
Enunciado, clases
Proposiciones Simples
Proposiciones Compuestas
SEMANA2:
SESIN NO1 :
Conectivos lgicos: negacin, conjuncin, disyuncin, condicional y bicondicional.
Tablas de verdad.
Formalizacin de las Proposiciones
SESIN NO 2 :
Trabajo grupal en clase
SEMANA3:
SESIN NO1 :
Razonamientos proposicionales vlidos
Razonamientos proposicionales no vlidos
SESIN NO 2 :
Trabajo grupal en clase
SEMANA4:
SESIN NO1 :
Principales leyes de lgica
Simplificaciones
SESIN NO 2 :
Primera Prctica Calificada
SEGUNDA UNIDAD: LGICA CLSICA
SEMANA 5
SESIN NO1 :
Concepto, Juicio y razonamientos.
Propiedades y clasificacin
Inferencias inmediatas
Inferencias mediatas
SESIN NO2 :
Formalizacin mediante un lenguaje proposicional
Inferencia
Formas conocidas de argumentos modus ponens, modus tollens, silogismo disyuntivo, silogismo hipotticoSEMANA 6:
SESIN NO1 :
Formalizacin mediante un lenguaje Proposicional: Inferencia disyuntiva, simplificacin conjuntiva, otras.
SESIN NO 2 :
Trabajo grupal en clase
SEMANA 7:
SESIN NO1 :
Deduccin e implicacin
El silogismo clsico, proposiciones predicativo-categricas clsicas.
Cuadro de Boccio
Tipos de generalidad
SESIN NO 2 :
Trabajo grupal en clase
SEMANA 8:
SESIN NO1 :
El mtodo de los diagramas de Venn, aplicacin de los diagramas de Venn a la decisin de la validez de un silogismo
SESIN NO 2 :
Segunda Prctica Calificada
TERCERA UNIDAD: LGICA CUANTIFICACIONAL
SEMANA 9
SESIN NO1 :
Funcin proposicional o enunciado abierto
SESIN NO2 :
Cuantificadores: universal y existencialSEMANA 10:
SESIN NO1 :
Cuantificadores
Frmulas cerradas
Alcance de un cuantificador
Reglas de equivalencia entre cuantificadores
Cuantificacin de funciones proposicionales y su negacin.
SESIN NO 2 :
Trabajo grupal en clase
SEMANA 11:
SESIN NO1 :
Demostracin matemtica
Demostracin de un teorema
Mtodos de demostracin: Demostracin directa, demostracin por contraposicin
Mtodos de demostracin: Demostracin directa, demostracin negando la tesis, demostracin por contradiccin
SESIN NO 2 :
Trabajo grupal en clase
SEMANA 12:
SESIN NO1 :
Mtodos de demostracin: demostracin por contraejemplo, demostracin por induccin.SESIN NO 2 :
Tercera prctica calificada.
CUARTA UNIDAD: LGEBRA DE BOOLE
SEMANA 13
SESIN NO1 :
Circuitos en serie y en paralelo
SESIN NO2 :
Simplificacin de circuitosSEMANA 14:
SESIN NO1 :
Funciones booleanas. Teoremas de Boole.
SESIN NO 2 :
Trabajo grupal en clase
SEMANA 15:
SESIN NO1 :
Descripcin algebraica de circuitos lgicos
Circuitos lgicos a partir de funciones booleanas
SESIN NO 2 :
Trabajo grupal en clase
SEMANA 16:
SESIN NO1 :
Simplificaciones
Mtodo del mapa de Karnaugh
SESIN NO 2 :
Cuarta prctica calificada.
SEMANA 17
Examen Sustitutorio
V. METODOLOGIA
El curso se desarrollar mediante clases terico- prctico a travs de la exposicin del profesor, discusin de los contenidos del curso iniciando y motivando la participacin activa del alumno en el proceso de enseanza aprendizaje, gua y orientacin del profesor en prcticas desarrolladas en clase usando el mtodo cooperativo
Investigacin de temas complementarios por parte del alumno
Se propondrn laboratorios conforme al avance, los que sern debidamente sustentados.
VI. EVALUACION
evaluaciones son de carcter obligatorio, la no asistencia a estas origina una nota de CERO, salvo justificacin debidamente documentada y oportuna
Se tomarn cuatro exmenes, obtenindose un Promedio de Exmenes(P.E)
Se tomar en cuenta una nota de tarea acadmica (T.A.) en la que se tomar en cuenta trabajo grupal, exposiciones, intervenciones orales, actitud para el trabajo acadmico y cooperacin
La nota mnima aprobatoria ser de 10.50 en la escala vigesimal
El alumno que no alcance la nota mnima aprobatoria tendr derecho a un examen sustitutorio, si su nota final es mayor o igual a siete. Este examen sustituye la menor nota obtenida en sus exmenes de unidad, obtenindose nuevamente la PF segn la formula dada.
La frmula para la obtencin del promedio final de la asignatura es
PF = 2.PE+PT+AP 4
Donde:
PF: Promedio de Exmenes
PT: Promedio de trabajos
AP: Asistencia a clase y presentacin de trabajos.
VII. BIBLIOGRAFIA
-Digenes, Rosales. Introduccin a la lgica. Lima-Per-Suppes, Patrick. Introduccin a la Lgica Simblica. Ed. CECSA
-Suppes, Patrick. Introduccin a la Lgica Matemtica. Ed REVERTE S.A.
-Smith, Introduccin a la Lgica Simblica
-Whitesitt, J.Eldon.Algebra Booleana y sus aplicacionesLambayeque, Junio de 20015Lic. Mat. Silva Rivera Consuelo