Month: septiembre 2010

  • 3º clase de matemáticas

    A dia de hoy, hemos empezado con practicas de matematicas (prolog) de lo del videojuego ese “AQUI NO HAY QUIEN ESTUDIE…. MATES1” . En teoria, hemos entrado en el tema de las formulas proposicionales Teoría: En las fórmulas proposicionales tenemos: Variables proposicionales: son proposiciones atómicas (ejem: Juan come con Pepe). Estas variables se representarán por…

  • Conceptos básicos de la lógica de primer orden

    En este articulo, vamos a definir las palabras clave dentro del campo de la lógica: ————————————————————— Lógica —-> Ciencia formal de los principios de la validez de los razonamientos o inferencia. Deriva del griego λογική (logike), significa “pensamiento, razón, conocimiento, argumento”. Lógica formal ——> Parte de la lógica que se dedica al estudio de la…

  • Empezando con Matemáticas I

    Bien es cierto que para adquirir unos conocimientos avanzados de cualquier tema, lo primordial es tener una buena base de lo que queramos estudiar. En el caso de las matemáticas, empezaremos repasando la lógica de primer orden, asi como la teoria de conjuntos