Download 01_Adm. de Emp._Trim01_FEB_1L_Lógica Matemática

Document related concepts

Lógica proposicional wikipedia , lookup

Disyunción lógica wikipedia , lookup

Negación lógica wikipedia , lookup

Valor de verdad wikipedia , lookup

Conjunción lógica wikipedia , lookup

Transcript
República Bolivariana de Venezuela
Universidad Bicentenaria de Aragua
Vicerrectorado Académico
Facultad de Ciencias Administrativas y Sociales
Escuela de Administración de Empresas
UNIDAD CURRICULAR
TRIMESTRE
CÓDIGO
PRELACIÓN
UNIDADES
CRÉDITO
-
3
LÓGICA MATEMÁTICA
I
FEB-1L
DENSIDAD HORARIA
COMPONENTE ASISTIDO POR EL DOCENTE
OTROS COMPONENTES
HORAS DE APRENDIZAJE
HORAS GUIADAS
AUTÓNOMO
4
6
EJE DE FORMACION DE COMPETENCIA
COMPETENCIA
ESPECIFICA
ESPECIFICA
GÉNERICA
BÁSICA
DE EJES
TOTAL HORAS
SEMANALES
10
ESPECIFICA
INVESTIGACION
COMPETENCIA
Desarrolla el pensamiento lógico y la capacidad de análisis por medio del estudio de conectivos lógicos, leyes de
inferencia, leyes algebraicas, teorías de conjuntos y operaciones booleanas con el fin de proporcionar las
herramientas necesarias para la solución de problemas cotidianas con una actitud crítica y reflexiva
UNIDADES DE COMPETENCIA
NÚCLEOS TEMATICOS
ESTRATEGIAS
Razona sobre el valor veritativo Proposiciones e Inferencias Lógicas:
de diferentes planteamientos, Proposiciones,
Conectivos
lógicos,
- Exposición Oral
representando e identificando las Simbolización de las proposiciones, Tablas
- Búsqueda de
proposiciones, haciendo uso de
de la verdad, Tautología, Contingencia,
Información
las leyes y reglas de inferencia
que conllevan a conclusiones Contradicción, Construcción de Tabla de la
- Conversatorio
Condicionales
Asociadas,
válidas para resolver problemas Verdad,
- Discusión
Equivalencia lógica de las proposiciones,
de cotidianos.
- Lluvia de Ideas
Leyes
de
álgebra
proposicional,
- Aprendizaje Basado
Implicaciones, Equivalencias, Método Quine.
en Problemas
Inferencia Lógica, Reglas de inferencia.
Reconoce
los
diferentes
elementos de una proposición,
simbolizando los Cuantificadores
Universales y Existenciales, para
interpretar
los
símbolos
matemáticos en su lenguaje
natural..
Aplica la Teoría de conjuntos
tanto
en
operaciones
en
problemas con lenguaje natural
como temático para clasificar los
diferentes
elementos que
conforman su contexto habitual.
Representa circuitos y Barreras
lógicas por medio de la
aplicación del Algebra Booleana
para la identificación de
la
funcionalidad de los circuitos
eléctricos,
entre
otras
aplicaciones
Lógica
Predicativa:
Proposiciones:
Elementos, Simbolización, Cuantificadores,
Validez.
Teoría de Conjuntos: Conjuntos, Notación,
Conjuntos
particulares,
Igualdad,
Operaciones, Partición, Diagrama de Venn,
Propiedades de álgebra de conjunto,
Identidades fundamentales de conjuntos,
Diagrama de Venn.
Algebra Booleana: Principios, Axiomas,
Demostración, Aplicación, Identidades, Leyes
Booleanas,
Aplicaciones,
Polinomios
Booleanos, Definición e identificación,
Demostración, Aplicación, Circuitos lógicos
en serie y paralelos, Definición, Combinación
República Bolivariana de Venezuela
Universidad Bicentenaria de Aragua
Vicerrectorado Académico
Facultad de Ciencias Administrativas y Sociales
Escuela de Administración de Empresas
REFERENCIAS
Barreiro, Mudler.(1969) .Elementos de la lógica simbólica. Editorial Kepeluz. Buenos Aires.
Blanche, R. . (1963). Introducción a la Lógica. Editorial Eudeba. Buenos Aires.
Copi, I.(2009).Introducción a la Lógica Formal. Editorial Tecno. Madrid España
Deano, A. (2014).Introducción a la Lógica Formal. Editoriales Tecnos. Madrid España.