Mindblown: a blog about philosophy.
-
Capítulo 9 “Grados, Caminos y Conexión”
GRAFOS NO DIRIGIDOS El grado de un vértice es el número de aristas incidentes con él, cada bucle se cuenta dos veces: – Denotaremos el grado de un vértice por dG(Vértice). – Denotaremos el conjunto de vértices adyacentes por Γ(Vértice). dG(1) = 2 dG(2) = 1 dG(3) = 1 Γ(1) = {2,3} Γ(2) = {1}…
-
Capítulo 8 “Un grafo puede ser …”
NO DIRIGIDO DIRIGIDO SIMPLE El grafo no tiene bucles ni dos aristas que unan el mismo par de vértices El grafo no tiene bucles ni dos arcos que unan el mismo par de vértices en la misma dirección MULTIGRAFO El grafo tiene bucles y/o dos aristas que unan el mismo par de vértices El grafo…
-
Capítulo 7 “Conceptos Básicos sobre Grafos”
Un grafo no dirigido posee: – Conjunto de vértices – Conjunto de aristas no ordenadas Un grafo dirigido posee: – Conjunto de vértices – Conjunto de arcos ordenados Un grafo no dirigido asociado consiste en obtener los vértices y arcos de un grafo dirigido e ignorar la dirección de los arcos, convirtiendolos en arístas. Un…
-
Comenzamos con matemática discreta.
-
Capítulo 6 “Deducción Natural”
La deducción natural consiste en obtener todas las conclusiones que se deducen basandose en la elección de una regla de inferéncia que aplicado a una o varias fbfs obtiene una nueva fbf y termina cuando se obtiene la fbf conclusión, es una método cercano al razonamiento intuitivo del ser humano, básicamente hay que: Descomponer las…
-
Capítulo 5 “Tablas de verdad y Contraejemplo”
En la lógica de primer orden el significado semántico que tiene una proposición se conoce como el valor de verdad de dicha proposición, respetando siempre el principio de bivalencia que dice que una proposición atómica puede tomar uno de los dos valores de verdad verdadero o falso. “El perro es el mejor amigo del hombre”.…
-
Capítulo 4 “Lenguaje de Predicados”
En el lenguaje de predicados, la construcción de las fórmulas lógicas se realiza teniendo en cuenta no sólo las conexiones posibles entre proposiciones sino que en cada una de ellas se distingue a los individuos y a sus propiedades, ademas de letras y conectivas lógicas, el lenguaje de predicados lo componen constante, funciones y cuantificadores.…
-
Capítulo 3 “Lenguaje Proposicional”
El lenguaje proposicional nos permite construir fórmulas lógicas proposicionales fbf (fórmulas bien formadas) a partir de proposiciones atómicas y moleculares, como ya he dicho este lenguaje se compone de letras (variables proposicionales) y de conectivas lógicas para relacionar las variables entre sí. Ejemplo: (A = Javier estudia) ¬ A = Javier no estudia También debemos…
-
Capítulo 2 “El lenguaje de la lógica”
El lenguaje formal de la lógica de primer orden (LPO), es uno de los lenguajes más potentes para la representación del conocimiento en teoría de la computación, carece de ambigüedades y posee una forma clara de representación basada en la forma y no en el contenido, se puede realizar en dos niveles de abstracción: lenguaje…
-
Capítulo 1 “Conceptos básicos de la lógica”
Lógica: Gran parte de los problemas se resuelven razonando, la lógica es la ciencia que estudia los métodos para desarrollar el proceso de razonar. Razonar: Es la facultad humana que permite resolver problemas por medio de actividades mentales que conectan unas ideas con otras, existen dos tipos de razonamiento. El Razonamiento Inductivo parte de hechos…
Got any book recommendations?