Mindblown: a blog about philosophy.
-
Fundamentos de Grafos I
Post original (mi blog de m1) aquí. Con cierto retraso, voy a pasar a la segunda parte de la asignatura M1: Los Grafos. Un grafo G es un par formado por un conjunto de vértices (V) y un conjunto de aristas/arcos (A). Diremos que:
-
Demostración semántica de razonamientos (I)
El post original, en mi otro blog, AQUÍ. Una vez hemos formalizado todas las sentencias del problema, nos vemos en la tarea principal, la demostración. Queremos validar R = [ P1, P2, …, Pn => Q]. Para ello, en primer lugar prepararemos el problema, para en lo sucesivo: Demostrar que R estructuralmente es correcta, para…
-
El lenguaje de los predicados (II)
La entrada original en mi otro blog AQUÍ. En el post anterior vimos el alfabeto, términos, gramática y dominio del lenguaje de los predicados. En esta segunda parte veremos como construir fórmulas preposicionales y predicativas.
-
El lenguaje de los predicados (I)
El post original de mi otro blog AQUÍ. El lenguaje de predicados extiende la lógica proposicional, en él destacamos los elementos de las sentencias de los argumentos, y la estructura de los argumentos, donde daremos mayor importancia a los individuos que intervienen y los predicados que les afectan. El alfabeto del lenguaje de los predicados…
-
Convalidaciones
Me han convalidado Fundamentos de Física y Estadística. Así que ahora llevaré una asignatura menos en cada cuatrimestre. Tiempo para prepararme mejor las demás asignaturas. El lunes, primer parcial de prácticas de Programación 1, y el martes, prueba de Matemáticas 1. Por otra parte, debo actualizar esto con nuevos contenidos que ha ido aprendiendo. Colgaré…
-
Processing
Algo nuevo que estoy aprendiendo y que considero importante para mi carrera. Aquí, toda la información: LINK Es un lenguaje basado en Java, muy sencillo de utilizar y con el que se programan aplicaciones de carácter visual, interactivas con el usuario y con estímulos externos. Más adelante hablaré de la plataforma Arduino, estrechamente ligada a…
-
Bucles
En esta segunda entrada dedicada a la asignatura Programación 1, veremos las secuencias de iteración, o bucles. Existen varios tipos de estas secuencias: If: Cuando se cumpla una condición, se ejecutará la parte de código debajo del If. If – Else if: Se usa para enumerar varias condiciones, “si ocurre la primera condición, que ejecute…
-
Adivino tu edad
Finalmente, el lenguaje que aprenderemos en Programación 1 será C. Desilusión para mí ya que es un lenguaje que ya había visto y tenía ilusión por aprender Java. Aunque hay tiempo para todo. Así mejoro conocimientos, que los tenía un poco olvidados. Tipos de datos, variables y constantes. En programación declararemos variables para datos que…
-
Lenguaje Proposicional
En este lenguaje, las fórmulas representan proposiciones, y están relacionadas entre ellas por conectivas lógicas. Mañana es miércoles o mañana es jueves : p o q (p v q) Mañana no es jueves: no p (¬p) Por lo tanto, mañana es miércoles: q
-
El lenguaje Prolog (I)
La entrada original en mi otro blog aquí: LINK El lenguaje Prolog es el que utilizamos en prácticas de Matemáticas 1, en la parte de lógica. Es un lenguaje lógico, que se utiliza para resolver problemas en los que entran en juego objetos y relaciones entre objetos.
Got any book recommendations?