Hoja de vida

Nombre CARLOS FERNANDO MORA ESPINOSA
Nombre en citaciones MORA ESPINOSA, CARLOS FERNANDO
Nacionalidad Colombiana
Sexo Masculino

Formación Académica

  •  
  • Maestría/Magister Universidad Nacional de Colombia - Sede Bogotá
    MAESTRIA EN MATEMATICAS
    Juliode1999 - Diciembrede 2002
    FORMAS DE DIRICHLET Y PROCESOS DE MARKOV
  •  
  • Pregrado/Universitario Universidad Nacional de Colombia - Sede Bogotá
    MATEMATICAS
    Enerode1993 - Noviembrede 1998
    SOLUCIÓN DE ECUACIONES DIFERENCIALES ESTOCÁSTICAS EN ANÁLISIS NO ESTÁNDAR

    Experiencia profesional

  •  
  • Fundación Universidad Central
    Dedicación: 40 horas Semanales Enero de 2012 Noviembre de 2016

    Actividades de docencia
    -   Pregrado - Nombre del curso:  MATEMATICAS ESPECIALES CÁLCULOS VECTORIAL, INTEGRAL, DIFERENCIAL, ECUACIONES DIFERENCIALES, ALGEBRA LINEAL,LÓGICA MATEMATICA, FUNDAMENTOS DE MATEMÁTICAS,TEORÍA DE NÚMEROS, VARIABLE COMPLEJA, 25 Enero 2012 Noviembre 2016
  •  
  • Universidad Militar Nueva Granada - Unimilitar
    Dedicación: 9 horas Semanales Enero de 2006 Noviembre de 2016

  •  
  • Universidad De La Salle - Unisalle
    Dedicación: 12 horas Semanales Agosto de 2003 Noviembre de 2016

  •  
  • Fundación Universidad Central
    Dedicación: 40 horas Semanales Enero de 1999 Noviembre de 2011

    Actividades de docencia
    -   Pregrado - Nombre del curso:  MATEMATICAS ESPECIALES CÁLCULOS VECTORIAL, INTEGRAL, DIFERENCIAL, ECUACIONES DIFERENCIALES, ALGEBRA LINEAL Y LÓGICA MATEMATICA, 30 Enero 1999 Noviembre 2011

    Áreas de actuación

  •  Ciencias Naturales -- Matemática -- Matemáticas Puras
  •  
    Los ítems de producción con la marca corresponden a productos avalados y validados para la última Convocatoria Nacional para el Reconocimiento y Medición de Grupos de Investigación, Desarrollo Tecnológico o de Innovación y para el Reconocimiento de Investigadores del SNCTeI
     

    Generación de contenido virtual

    Nombre LÓGICA MATEMÁTICA  TipoProducción técnica - Contenido Virtual - Aplicativo,  en 2016-06-20 00:00:00.0   disponible en www.ucentral.edu.co   Descripción:El contenido de este material está dividido en nueve capítulos de la siguiente manera: En el primer capítulo, se realiza una introducción a los conjuntos con sus formas de expresión, la caracterización de conjunto finito, infinito, enumerable y no enumerable, relaciones de pertenencia, contenencia e igualdad, operaciones entre conjuntos, propiedades de los conjuntos, el conjunto partes, cardinal de un conjunto, familias y solución de problemas de encuestas. En el segundo capítulo se estudia la lógica y el razonamiento, algunos tipos de razonamiento, falacias, proposiciones conectivos lógicos y la simbolización de proposiciones. En el tercer capítulo, se estudia la sintáxis de fórmulas bien formadas con los diferentes algoritmos que permiten determinar la decisión de fórmulas bien formadas, detectar conectivo principal de una fórmula bien formada, construcción de árboles de fórmulas bien formadas y determinar las notaciones infija, prefija y postfija de una fórmula bien formada. En el cuarto capítulo, se estudia la semántica de las proposiciones, las tablas de verdad, la proposición condicional y sus variantes, tautologías, contradicciones, contingencias, equivalencias lógicas y las leyes del álgebra de proposiciones. En el quinto capítulo, se realiza un estudio de la inferencia lógica que hace parte de la lógica formal, con la cual se determina la validez e invalidez de argumentos con ayuda de las reglas de inferencia y con los conceptos de consistencia e inconsistencia. En el sexto capítulo, se estudia la lógica de primer orden para estudiar la inferencia en los lenguajes de primer orden con las funciones proposicionales, los cuantificadores, la sintáxis y la semántica de la lógica de primer orden, y reglas de inferencia adicionales que permiten determinar la validez de argumentos que contienen proposiciones categóricas. En el séptimo capítulo, se estudian los silogismos categóricos, el modo y la forma de un silogismo, las proposiciones categóricas y métodos que permiten determinar la validez de un silogismo, entre ellos los diagramas de Venn. En el octavo capítulo, se estudian los métodos de demostración en matemáticas, directo, contraposición, por contradicción e inducción matemática. En el noveno capítulo, se estudian las Álgebras de Boole con las propiedades que las caracterizan, se construyen funciones booelanas que son representadas con circuitos lógicos, y éstos a su vez son simplificados con los mapas de Karnaugh.

    Artículos

  • Producción bibliográfica - Artículo - Corto (Resumen)
  • CARLOS FERNANDO MORA ESPINOSA, "FORMAS DE DIRICHLET Y PROCESOS DE MARKOV" . En: Colombia 
    Boletín De Matemáticas  ISSN: 0120-0380  ed: Sociedad Colombiana de Matemáticas
    v.X fasc.2 p.110 - 129 ,2003,  DOI: 
  • Producción bibliográfica - Artículo - Corto (Resumen)
  • CARLOS FERNANDO MORA ESPINOSA, "ECUACIONES DIFERENCIALES ESTOCÁSTICAS EN ANÁLISIS NO ESTÁNDAR" . En: Colombia 
    Boletín De Matemáticas  ISSN: 0120-0380  ed: Sociedad Colombiana de Matemáticas
    v.VII fasc.1 p.39 - 50 ,2000,  DOI: