Browsing by Author "Muñoz Quevedo, José M."

Now showing items 1-7 of 7

    • Un cálculo temporal de predicados de tipo modal 

      Muñoz Quevedo, José M.
      Se construye un cálculo predicativo temporal de tipo modal, referido solamente al pasado, con una semántica natural de estructuras con dominios crecientes con el tiempo. Se hallan esquemas y reglas válidas para esta semántica ...
      Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas. 

    • Consistencia, validez y completitud de un sistema proposicional de lógica temporal 

      Muñoz Quevedo, José M.
      Se examinan desde el punto de vista proposicional, los requerimientos de un sistema de lógica temporal adecuado para el desarrollo de una teoría de conjuntos en la cual el universo se expanda con el tiempo. Se propone un ...
      Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas. 

    • Introducción a la teoría de conjuntos 

      Muñoz Quevedo, José M.
      Hoy, más de veinte años después de la primera edición, surge la pregunta: ¿es un texto aún vigente? Los temas tratados corresponden a los que podrían llamarse tópicos básicos eternos, de conocimiento imprescindible para ...

    • Presentación 

      Muñoz Quevedo, José M.
      Con el presente número iniciamos una nueva serie del Boletín de Matemáticas, revista semestral del Departamento de matemáticas y Estadística de la Universidad Nacional de Colombia, Sede de Santafé de Bogotá.
      Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas. 

    • Presentación 

      Muñoz Quevedo, José M.
      El Boletín de Matemáticas es una publicación semestral del Departamento de Matemáticas y Estadística de la Universidad Nacional de Colombia sede de Santafé de Bogotá.
      Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas. 

    • Sobre un limite en l2 (- ∞, + ∞) 

      Muñoz Quevedo, José M.
      En esta nota queremos dar otra demostración del siguiente TEOREMA: Si f es una función continúa de L2, derivable en casi toda parte de ℝ y con derivada en L2, entonces
      Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas. 

    • El tiempo y la teoría de conjuntos 

      Muñoz Quevedo, José M.
      Después de algunas consideraciones sobre el concepto «tiempo», se bosqueja la forma como ,se puede hacer  una legítima teoría temporal de conjuntos, en la, cual todos los conjuntos no existen simultáneamente, sino que el ...
      Universidad Nacional de Colombia Revistas electrónicas UN Ideas y Valores.