Programaci on b asica

gica Proposicional Conjuntos y Lo

Author: Arles Rodr guez
aerodriguezp@unal.edu.co Research Group on Articial Life - (Alife) Department of Systems and Industrial Engineering School of Engineering National University of Colombia 1st Semester 2012

Ing. Arles Rodr guez Programaci on b asica

Programaci on b asica

Programaci on b asica

Outline

Conjuntos

Logica proposicional

Ing. Arles Rodr guez Programaci on b asica

Programaci on b asica

Programaci on b asica Conjuntos

Outline

Conjuntos

Logica proposicional

Ing. Arles Rodr guez Programaci on b asica

Programaci on b asica

Programaci on b asica Conjuntos

Conjuntos

Colecci on bien denida de objetos de cualquier clase. Notaci on A = {} L = {a, b , c , d , ..., z } NO se acostumbra a repetir los elementos de un conjunto.

Ing. Arles Rodr guez Programaci on b asica

Programaci on b asica

Programaci on b asica Conjuntos

Conjuntos

Cardinal de un conjunto. A = {1, 2, 3, 4, 5}, n(A) = 5 Conjunto vac o: {} Conjunto nito Cu al es el tama no de un conjunto vac o?

Ing. Arles Rodr guez Programaci on b asica

Programaci on b asica

Programaci on b asica Conjuntos

N umeros Naturales

Cualquiera de los n umeros que se usan para contar los elementos de un conjunto. Fueron los primeros n umeros que utiliz o el ser humano para contar objetos.

Ing. Arles Rodr guez Programaci on b asica

Programaci on b asica

Programaci on b asica Conjuntos

N umeros naturales denidos en terminos de conjuntos

0 = {}. 1 es sucesor de 0: 1 = s (0) = {0} = {0} 2 es sucesor de 1, pero 1 es... : 2 = s (1), 1 = s (0) = {0} {1} = {0, 1} En general: 3 = {0, 1, 2} 4 = {0, 1, 2, 3} 5 = {0, 1, 2, 3, 4} y as sucesivamente. Aparece la relaci on de orden: a b a b

Ing. Arles Rodr guez Programaci on b asica

Programaci on b asica

Programaci on b asica Logica proposicional

Outline

Conjuntos

Logica proposicional

Ing. Arles Rodr guez Programaci on b asica

Programaci on b asica

Programaci on b asica Logica proposicional

L ogica

sintaxis x + y = 4, x 2y = + sem antica La sem antica dene el valor de verdad en cada mundo posible (modelo): x + y = 4 es verdad si x = 2 y y = 2.

Ing. Arles Rodr guez Programaci on b asica

Programaci on b asica

Programaci on b asica Logica proposicional

L ogica Proposicional

Simbolo proposicional P: El jugador est a en la casilla [2,2] S mbolos proposicionales jados Verdadero y Falso Sentencias complejas se construyen de sentencias simples (conectivas l ogicas).

Ing. Arles Rodr guez Programaci on b asica

Programaci on b asica

Programaci on b asica Logica proposicional

Conectivas l ogicas

: Negaci on : Y conjunci on : O Disyunci on : Implicaci on, reglas o armaciones si entonces : Si y solo si, Doble implicaci on.

Ing. Arles Rodr guez Programaci on b asica

Programaci on b asica

Programaci on b asica Logica proposicional

References I

Alonso Church, An Undecidable Problem in Elementary Number Theory, American Journal of Mathematics 58 (1936), 345363. J.E. Hopcroft, J.D. Ullman, and R. Motwani, Introducci on a la teor a de aut omatas, lenguajes y computaci on, second ed., Pearson Education S.A., 2002. Alan Madison Turing, On Computable Numbers, with an Application to the Entscheidungsproblem, Proceedings of the London Mathematical Society 2 (1936), no. 42, 230265.

Ing. Arles Rodr guez Programaci on b asica

Programaci on b asica

Programaci on b asica Logica proposicional

Thank you Questions?

Ing. Arles Rodr guez Programaci on b asica

Programaci on b asica