Visión general de etiquetas para: 'matemáticas'

Entradas en este sitio con 'matemáticas'

• Sistemas Deductivos Proposicionales
  En temas anteriores hemos visto algunos algoritmos para resolver el  problema de la deducción , por ejemplo, por medio de Tableros Semánticos o DPLL, todos ellos basados e
• Formas Prenex, de Skolem y Teorema de Herbrand
  Al igual que vimos cómo extender los Tableros Semánticos de LP a LPO, en este capítulo vamos a ver los fundamentos necesarios para extender las Formas Normales y Formas Cl
• Formas Normales, Cláusulas y Algoritmo DPLL
  En este tema vamos a abordar los métodos más comunes de preprocesamiento de fórmulas LP, que también serán aplicables a fórmulas LPO, y mostraremos uno de los algoritmos c
• Tableros Semánticos en Lógica de Primer Orden
  Igual que la Lógica de Primer Orden extiende la Lógica Proposicional, el método de Tableros Semánticos que veremos para Lógica de Primer Orden se obtendrá añadiendo al mét
• Tableros Semánticos en Lógica Proposicional
  El método de los Tableros Semánticos proporciona un algoritmo para la decisión de la satisfactibilidad de un conjunto de fórmulas sin necesidad de preprocesamiento de las
• Sintaxis y Semántica de la Lógica de Primer Orden
  Aunque la Lógica Proposicional posee un semántica sencilla y existen algoritmos de decisión (aunque no sean eficientes) para los problemas básicos que hemos encontrado ( S
• Sintaxis y Semántica de la Lógica Proposicional
  Nuestro objetivo central en esta entrada será presentar dos de los principales elemento del lenguaje para la Lógica Proposicional (su Sintaxis y Semántica). De forma natur
• Ejemplos Resueltos de Formalización en LPO
  Todas las plantas tienen flores. Los helechos no tienen flores. Por tanto, los helechos no son plantas. Solución: $\Sigma = \{P^{(1)}, F^{(1)}, H^{(1)}\}$ $P(x)$ : $x$ es
• Ejemplos Resueltos de Formalización Proposicional
  O está lloviendo y nevando, o está soplando el viento. $p$: Está lloviendo $q$: Está nevando $r$: Está soplando el viento $$(p \wedge q) \vee r$$ O los hombres han nacido
• Lógica de Primer Orden: una Introducción Informal
  A partir de las bondades que ofrece la Lógica Proposicional, y también conociendo sus limitaciones, damos aquí una introducción (principalmente, informal) de la Lógica de
• Introducción a la Lógica
  (Para los cursos  LI-TI  y IA-IC ) Debemos tener en cuenta que la Lógica (cualquier Lógica Matemática) tiene dos componentes fundamentales:  Semántica y   Sintaxis .  No s
• Teoría de la Probabilidad: Lo Mínimo
  La teoría de la probabilidad es el estudio de la  incertidumbre . Con este resumen se intentan dar los fundamentos necesarios para poder entender los algoritmos más habitu
• De la Resolución Proposicional a la Resolución LPO
  En esta entrada se presentan mecanismos para extender la Resolución Proposicional al contexto de los Lenguajes de Primer Orden. Esta entrada no es autocontenida, sino que
• ¿Qué Hay Detrás de los Dobles Grados?
  De que los dobles grados están de moda, no hay duda, y de que empiezan ya a aparecer como champiñones en cada campus universitario que se precie, tampoco, pero... ¿qué obj
• TC: Conjuntos Recursivamente Enumerables. Indecidibilidad
  Se presentan en este capítulo los conjuntos recursivamente enumerables, y se estudian los primeros casos de separación entre éstos y los conjuntos recursivos por medio del
• TC: Funciones Recursivas
  Comenzaremos presentando tres procedimientos de definición de funciones. Intuitivamente, resultará evidente que si las funciones que se toman de partida para cada procedim
• TC: Programas y Funciones Computables
  Como ya comentamos en el capítulo anterior, para abordar cuestiones acerca de la computabilidad necesitamos elegir un  modelo de computación , que nos permita precisar lo
• TC: Preliminares
  Este capítulo está dedicado a introducir de forma muy somera los fundamentos de los conceptos y herramientas matemáticas que necesitaremos a lo largo del curso. Ha de tene
• Introducción a Prover9 y Mace4
  Prover9 es un Demostrador Automático de Teoremas para Lógicas de Primer Orden (también se puede utilizar con Lógica Proposicional) y Mace4 busca modelos finitos y contraej
• Fundamentos Matemáticos del Machine Learning (I)
  El objetivo de la serie de entradas que comienza aquí es el de hacer un repaso por los fundamentos matemáticos que hay detrás del concepto de aprendizaje que nos encontram
• ¿Puede existir Matemática sin Computación?
  Esta entrada no va a ser un alegato en favor de la  computación  como rama de la  matemática ... no es necesario, la computación está suficientemente bien fundamentada (al
• Conceptos Matemáticos y Terminología para la Programación Funcional
  Una función , \(f\), es una aplicación (relación) de un conjunto \(A\) en un conjunto \(B\) tal que cada elemento de \(A\) se relaciona con un único elemento de \(B\). Lo
• Programming Mathematical Models ... with NetLogo
  This post has the goal to serve as guide for the session  "Programming Mathematical Models ... with NetLogo"  from the  5th International Summer School of Mathematics  in
• Curso acelerado de Lógica Proposicional
   En esta entrada vamos a intentar dar un curso acelerado (aceleradísimo) acerca de qué es la  Lógica Proposicional  y de qué forma se pueden automatizar algunos de los pro
• Cómo se demuestra que un programa es correcto: Semántica Denotacional
  Mucho se escribe acerca de que una de las bondades habituales de los lenguajes funcionales (puros) es la capacidad que nos proporciona para poder asegurar que los programa
• Programación Funcional Reactiva
  La Programación Funcional Reactiva (FRP, por sus siglas en inglés) surgió a partir del trabajo de Conal Elliott y Paul Hudak sobre Functional Reactive Animation (Fran). El
• Programación Funcional: Una mirada diferente
  Es cierto que los artículos sobre Programación Funcional son difíciles de entender, pero no tendrían por qué serlo. Las razones para que haya ese obstáculo de comprensión
• Sistemas Basados en Reglas
  Hay muchos casos en los que podemos resolver situaciones complejas haciendo uso de reglas deterministas, hasta el punto de que su uso consigue sistemas automáticos que se
• Introducción a la Lógica Difusa
  La forma en que la gente piensa es, inherentemente, difusa. La forma en que percibimos el mundo está cambiando continuamente y no siempre se puede definir en términos de s
• Opinión 141 de Doron Zeilberger
  Doron Zeilberger :  La Evolución Biológica no nos preparó para el razonamiento lógico ni para las demostraciones rigurosas y, análogamente, la Evolución Cultural Matemátic
• Análisis Formal de Conceptos
  El análisis formal de conceptos proporciona una metodología para derivar una jerarquía de conceptos (como una ontología) a partir de una colección de objetos y las propied
• Una introducción a Prolog
  Habitualmente, programar un ordenador significa dar una sucesión de tareas que, al ejecutarlas paso a paso, permiten resolver un problema concreto. Sin embargo, el proceso
• Fractales
  El matemático  Benoît Mandelbrot  fue el responsable de desarrollar, en 1975, el concepto de fractal, que proviene del vocablo latino  fractus  (puede traducirse como “que
• Autómatas Celulares
  Los autómatas celulares (AC) surgen en la década de 1940 con  John Von Neumann , que intentaba modelar una maquina que fuera capaz de autoreplicarse, llegando así a un mod
• Sistemas Complejos, Sistemas Dinámicos y Redes Complejas
  Un  sistema   es un conjunto de elementos o partes que interaccionan entre sí a fin de alcanzar un objetivo concreto.  En consecuencia, para que el comportamiento de un si
• El auge de un joven paradigma científico
  Desde el siglo XVI ha habido dos paradigmas principales en la metodología para hacer ciencia. El primero de ellas es el paradigma " experimental ". Durante un experimento
• Sobre el modelado matemático
  De entre todas las opciones para crear modelos, la del modelado matemático destaca sobre las demás por su eficacia y buenas propiedades. Se presenta bajo formas tan dispar
• Lo imposible (de Fernando Orejas)
  En su famoso artículo de 1936, del que ya se ha hablado en otras entradas de este blog, Turing hacía varias cosas notables. Primero, definía un modelo de máquina (la máqui
• Teoría Algorítmica de la Información
  La Teoría Algorítmica de la Información (AIT) es el resultado de poner la Teoría de la Información de Shannon y la Teoría de la Computabilidad de Turing en una coctelera y
• Publicaciones matemáticas de calidad usando Yutzu
  Mostramos cómo por medio de Yutzu y su nuevo editor, puede resultar realmente sencillo crear publicaciones científicas de calidad en la web y sin amplios conocimientos de
• Teoría de la Computabilidad... ¿extinguida?
  A pesar de que con los nuevos planes de estudio asignaturas como TCO (Teoría de la Computabilidad) se dan por extinguidas, espero que su utilidad siga existiendo por medio
• Organized Mathematics = Organized Crime
  Mathematics is noble, Organization is not. While it is probably true that mathematical organizations are better than other ones, they are not much better. I am sorry to sa
• Por qué y cómo se hace investigación en matemáticas
  Yo tenía 5 años cuando finalizó la Segunda Guerra mundial, y 15 años cuando se declaró la guerra de Argelia. Ésta duró 7 años. Comencé a amar la matemática alrededor de lo
• Objetivos de i-Math
  Curiosos objetivos los de i-Math (mega-proyecto CONSOLIDER) en un país como España, que precisamente "abierta" en investigación matemática no se puede decir que sea... Cur

Etiquetas relacionadas