Presentación guía sencilla en Microsoft Excel.pptx
Ingenieria de Software y Logica
1. Ingeniería de Software y Lógica Juan G. Vélez Rodríguez Carlos M. Martínez Bonilla Juan D. Ferreira Covaleda
2.
3. Esta Ingeniería trata con áreas muy diversas de la Informática y de las Ciencias de la Computación:Construcción de Compiladores, Sistemas Operativos, Desarrollos Intranet/Internet, etc. ¿Quées la Ingeniería de Software?
16. El término “Ingeniero de Software”, sin embargo, se utiliza en forma genérica en el ambiente empresarial ya que no todos los ingenieros de software poseen realmente un grado de Ingeniería de universidades reconocidas. Ingeniero de Software
17. La mayor parte de los Ingenieros de Software tienen grados universitarios en las áreas de Ciencias de Computación o Matemáticas, que es donde se ofrecen los cursos de programación y “Software Engineering”. Muchos empleadores buscan empleados que tengan al menos un Bachillerato con buenas destrezas y experiencia en una variedad de sistemas de computadoras y tecnologías. Empleados que mantengan su conocimiento actualizado tienen buenas posibilidades de avanzar en sus carreras profesionales. Ingeniero de Software
18. Empleadores que usan las computadoras para aplicaciones científicas o de ingeniería, buscan personas que tengan grados universitarios en ciencias de computación o de información, matemáticas, ingeniería o ciencias físicas. Ingeniero de Software
19. Ingeniero de Software Empleadores que usan las computadoras para aplicaciones empresariales prefieren contratar personas que tengan grados universitarios en sistemas de información gerencial y empresarial y que posean altas destrezas de programación.
20. La “IEEE ComputerSociety” y la “AssociationforComputerMachinery” (ACM) han formado el grupo “JointSteeringCommitteefortheEstablishment of Software EngineeringBody of Knowledge” para definir los estándares de ética, gama de conocimientos requeridos, prácticas recomendadas y currículos necesarios para establecer la Ingeniería de Software como profesión. Ingeniero de Software
21. Se espera que en esta década de 2008-2018 el campo de la Ingeniería de Software tenga un rápido crecimiento. Debido a éste rápido crecimiento, los programadores deben aprender a trabajar con nuevas y distintas herramientas de programación y deben adaptarse a los nuevos cambios en esta rama de la tecnología para ser competitivos y sobresalir en éste campo. Perspectivas Laborales E.E.U.U.
23. Perspectivas Laborales Puerto Rico En Puerto Rico, el Ingeniero de Software no tiene los mismo beneficios ni salarios al compararse con los Ingenieros de Software en los Estados Unidos. Muchas de las empresas mayores de desarrollo de Software se encuentran allá en E.U. aunque en Puerto Rico existen compañías como LockHeed Martin, HP y HoneyWell que buscan Ingenieros de Software para contratarlos.
24. Así como en Estados Unidos va a crecer la demanda de empleos en Ciencias de Computadoras, se esperaría que otros lugares también hubiese ese crecimiento laboral, incluyendo a Puerto Rico ya que hay varias Universidades en Puerto Rico que ofrecen estos cursos para preparar sus estudiantes para ese campo laboral. Perspectivas Laborales Puerto Rico
31. Razones para que un Argumento sea Débil Una o varias premisas son falsas. Ejemplo:
32. Razones para que un Argumento sea Débil Las premisas no soportan efectivamente la conclusión. Ejemplo:
33. Tipos de Argumentos Deductivo Inductivo Va de lo universal a lo particular. Va de lo particular a lo universal.
34. Validez Deductiva Un argumento es deductivamente válido si y sólo si, es imposible que teniendo premisas verdaderas, la conclusión sea falsa. Ejemplo:
35. Tautología Es una proposición que resulta verdadera a cualquier interpretación. Ejemplo: Llueve o no llueve. La lámpara está encendida o apagada.
36. Contradicción Es una proposición lógicamente falsa. Ejemplo: Llueve y no llueve simultáneamente. La lámpara está encendida y apagada al mismo tiempo.
37. Consistencia Un conjunto de proposiciones que son verdaderas simultáneamente, son consistentes. En caso contrario son inconsistentes. Ejemplo: Mi único hermano es más alto que yo. Mi único hermano es más bajo que yo.
38. Lógica Aristotélica Como su nombre lo indica, se debe al filósofo griego Aristóteles. Se basa en silogismos. Las categorías son reemplazadas por letras mayúsculas.
40. Lógica Proposicional (SL) La unidad básica del lenguaje representa proposiciones completas. Las proposiciones son representadas co letras mayúsculas. Es importante establecer una clave de simbolización.
41. Lógica Proposicional Ejemplo: Hay una manzana en el escritorio: A Si hay una manzana en el escritorio, entonces Juan estuvo en clase: B : C A B
42. Lógica Proposicional La segunda premisa debe contener la primera premisa y la conclusión, como partes. Ejemplo: A Si A, entonces C
44. Negación El negar una negación es equivaente a afirmar la proposición. Ejemplo: T: El Titanic es sumergible ¬ T: El Titanic es insumergible. ¬ ¬ T: El Titanic no es insumergible.
48. Condicional La proposición a la izquierda del condicional es el Antecedente. La proposición a la derecha del condicional es el Consecuente. No existe, necesariamente, relación causa y efecto. Es asimétrico.
52. Es aquella que puede ser simbolizada con una letra mayúscula. Es la unidad básica con la que se construyen proposiciones más complejas. Proposición Atómica
53. En español fbf, en inglés wff. Proposición simple o compuesta con: Sentido completo. Su veracidad puede ser comprobada. Fórmula Bien Formada
54. Toda proposición atómica es fbf. Si A y B son fbf, entonces: ¬ A es fbf. (A & B) es fbf. (A ˅ B) es fbf. (A -> B) es fbf. (A ↔ B) es fbf. Todas las fbf pueden ser generadas con estas reglas. Fórmula Bien Formada
55. Es el primer conectar que aparece cuando se descompone una proposición. Ejemplo: ¬ (A ˅ (B -> C)) el Operador lógico ppal. es: ¬ Operador Lógico Principal
56. Tablas de Verdad Despliega el valor de verdad de una proposicion compuesta, para cada combinación posible de valores que se pueda asignar a sus componentes.
60. Consistencia Es un criterioesencial en matemáticas Un conjunto de sentenciasesconsistentesieslogicamenteposibleparatodosellas. Al menosuna de ellastieneque ser verdad . Un conjunto de sentenciaseslogicamenteconsistente, si al menosunalineacompleta de unatabla de verdadcompletaesverdad. De otramaneraesinconsistente.
61. Validacion CONSIDERE ESTE ARGUMENTO L (J V L ) L J SERA VALIDO ? PODEMOS CONSTRUIR UNA TABLA DE VERDAD : SEA L : LLUEVE ; J: HACE CALOR ; NO L : NO LLUEVE NO LLUEVE ENTONCES ( HACE CALOR O LLUEVE) NO LLUEVE POR LO TANTO HACE CALOR
64. Definiciones Tautología: unaproposicioncompuestaquequeesverdadera en todos los casos. ej un teorema. Contradicción: unaproposicióncompuestaqueesfalsa en todos los casos Proposiciónvalida : proposición que es una verdad formal. Contingente: una proposicion que puede ser verdadera o falsa
66. De Sentencias a Predicados Cadaunoconocelogica Ninguno sera confundido Alguno sera confundido Nosotrostrataremos de crearunacontradiccion Para cualquierahabra confusion entonces se definieroncuantificadores: Un cuantificador es una expresión que afirma que una condición se cumple para un cierto número de individuos
67. Cuantificadores Expresionescomo : cadauno ,ninguno, todos , alguno , existe, son llamadoscuantificadores . En matemáticas entre los mascomunes : paratodo,existe un x , no existe etc. Todocuantificadordebe ser seguido de una variable y una formula queincluyaesa variable ej : x > 0 , a> 0 si a nx a essiempre > 0 .
68. Notacion Se lee: cuantificador universal para todo x : ; ej : x, existe x tal que x > 5. Cuantificador existencial existe por lo menos un x : x I f(x ) = x + 4 I x : existe un único x tal que ! x , I x > 5
69. Predicados y Cuantificadores Pedro es un matemático Todos los matemáticossabenCálculo Pedro sabeCálculo 2 es un número primo Todonúmero primo esimpar Dos es un númeroimpar
70. ConstruyendoBloques de LogicaCuantificada Predicado de unapropiedad: 0 es un número Predicado de relaciones entre propiedades: el sucesor de un númeroes un número . Predicado de 3 relaciones : a^2 =0 tiene2 solucionesreales Predicados de n relaciones. ej :si a> b > 0 y k,q>0 a + b > 0 a+1 > b+1 > 0 a+2 b>2 >0 ,…., a+k > b+q>0 n veces.
71. El Universo del Discurso Cadaasignacióndebeestarclaramentedefinido a dondepertenece o estadefinido . Ej. Para todo x N , y R si x* y > 0 x* y C .
72. Multiples Cuantificadores Se puedencombinarsiempre y cuandoesténclaramentedefinidos . Cualquiersentenciamatemática en general y cualquiersentencialógicaque se use en argumentos o querequieranconsistencia formal. Ejs. Lenguajescomputacionales, requierendefinición y cuantificadoresprecisospara ser útiles.
73. Fórmulas Unafórmulaesunarelacionqueimplicaunatautologíaej: PV= K T ; E = mc^2. Unatautología se verifica con unatabla de verdad. Toda fórmuladebe ser biendefinida, esdecir sitiene n partescada parte porseparadotienequeestarbiendefinida. ej sea n= m*q n,m,qdeben ser definidospropiamenteporseparado.
74. Formula Consistente y Formal Ej la definición formal de límite : Sea F(x) unafunción real , entoncesdecimosque : Lim f(x)= L dondea,L R >0, >0 x R, si 0 < Ix-aI < If(x) – L I < ε
75. Matemáticas y Computadoras La fuerza de la Lógica Formal reside en su capacidad para… deducir precisa y, en muchos casos, mecánicamente, ciertas expresiones simbólicas nuevas a partir de otras anteriores. Las expresiones inferidas son los teoremas El conjunto de todos los programas sintácticamente válidos en un determinado lenguaje de programación es un ejemplo de lenguaje formal.
76. Magnus, P. (2010). Forall x AnIntroductionto Formal Logic. Recuperado de: http://www.fecundity.com/logic Wikipedia. (2010). Ingeniería de Software. Recuperado de: http://es.wikipedia.org/wiki/Ingenier%C3%ADa_de_software Colegio de Ingeniería Universidad de Puerto Rico RecintoUniversitario de Mayagüez. (2002). Propuesta para el Establecimiento de un Programa de Bachillerato en Ciencia de Computación e Ingeniería de Software en el Colegio de Ingeniería del Recinto Universitario de Mayagüez de la Universidad de Puerto Rico. Recuperado de: http://ece.uprm.edu/~bvelez/projects/Computing/BCCCIS-CAAS.pdf Referencias:
77. Quispe, R. (2007). ¿Que es la Ingenieria de Software?. Blog de Rodolfo Quispe-Otazu. Recuperado de: http://www.rodolfoquispe.org/blog/que-es-la-ingenieria-de-software.php Referencias: