Portafolio Laura Escobar Orozco IU Pascual Bravo

  Comparto el link por si el mapa no es visible en la imagen https://coggle.it/diagram/ZTXlficP9Medrn63/t/importancia-de-condicionales-en-el-desarrollo-de-algoritmos/a4ade3e95a149e5c412a7cf1be9547ce75d9a6b8ca58b085bf62775b371c1cd7

1.Sea el conjunto universal de todas las personas. Dentro de este conjunto, A es el conjunto de los analistas de sistemas, B el de los contables, C el de las mujeres y D el de las personas mayores de 40 años. Realice un diagrama de Venn para cada uno de los siguientes puntos y indicando el área sombreada que corresponda a su solución:   a)El conjunto de todas las mujeres analistas de sistemas que sean al mismo tiempo contables. b)El conjunto de todos los hombres contables mayores de 40 años. c)El conjunto que incluya todas las mujeres analistas de sistemas, menores de 40 años y todos los contables menores de 40 años.   2.Hallar la unión, la intersección y el conjunto diferencia de A y B, donde A = {1,3,4,5} y B = {3,5,7,8} 3.Sea E = {0,1, 2, …,9},      X = {2,3,4},     Y = {1,2,5} y   Z = {2,5,7}. El símbolo ¬ significa complemento             Hallar: ¬ (X U Y),    ¬X U ¬Y...

 1.  Considere las afirmaciones: Él o no está informado o él no es honesto No es verdadero que él esté informado y sea honesto ¿Son lógicamente equivalentes? (Demostrar)   2. Considere las afirmaciones:   Si las mercancías no fueron entregadas, el cliente no puede haber pagado  Si el cliente ha pagado, las mercancías deben de haber sido entregadas ¿Son contrarrecíprocas? (Demostrar).   3. Determine los valores de verdad de los enunciados siguientes.  Si 7 < 2, entonces -2 < -7  2 + 2 = 5 sii 4 + 4 = 10  1 + 1 = 2 sii 4 + 4 = 10 4. Sean p y q los enunciados: “Está permitido nadar en la costa de Nueva Jersey” y “Se han divisado tiburones cerca de la costa”, respectivamente. Expresa cada una de las siguientes fórmulas en lenguaje natural.  1. p Λ  q  2. p ↔ – q   Solución: Afirmación 1: Él o no está informado o él no es honesto Afirmación 2: No es verdadero que él esté informa...

 

  Con el aumento de amenazas de hackers y grupos criminales, se destaca la necesidad de implementar metodologías que integren la seguridad desde las etapas iniciales del desarrollo. Se revisan metodologías tradicionales y aquellas específicas para el desarrollo de software seguro, centrándose en dos de ellas: Correctness by Construction (CbyC) y Security Development Lifecycle (SDL). Metodologías Tradicionales: Se destaca la importancia del proceso de desarrollo en la creación de software seguro. Se menciona la evolución desde enfoques "code and fix" hasta metodologías formales y ágiles. Se reconoce que las metodologías tradicionales se centran en mejorar la calidad, pero actualmente es esencial incluir la seguridad desde el inicio. Metodologías Enfocadas al Desarrollo de Software Seguro: Se resalta la necesidad de producir software resistente a ataques y se reconoce la presencia de metodologías qu...