La ingeniería de software ofrece métodos y técnicas para desarrollar software de alta calidad. Aborda todas las fases del ciclo de vida del desarrollo de sistemas de información aplicables a áreas como negocios, investigación, medicina, entre otras. En 2004, había 760,840 ingenieros de software en Estados Unidos. Se espera un rápido crecimiento de este campo en la próxima década debido a los cambios tecnológicos.
Este documento introduce el tema de la lógica matemática. Explica que la lógica estudia los métodos de razonamiento y provee reglas para determinar la validez de argumentos. Además, define la lógica como la ciencia del pensamiento científico y sus formas, y explica conceptos fundamentales como proposiciones, tablas de verdad, y operadores lógicos como la negación, conjunción, disyunción, condicional y bicondicional.
Breve reseña sobre las Leyes del Algebra proposicional con sus respectivas tablas de verdad, y a su vez mencionando las reglas de la Inferencia Deductiva.
El documento resume conceptos básicos de lógica proposicional, incluyendo definiciones de proposición, conectivos lógicos (negación, conjunción, disyunción, implicación, bicondicional), tablas de verdad, y tipos de proposiciones (atómicas, moleculares). También explica cómo formalizar proposiciones usando símbolos lógicos y cómo construir tablas de verdad para evaluar proposiciones compuestas.
Cuadro comparativo de sistemas operativo libres y privativosYesenia Serrano
Este documento compara los sistemas operativos libres y privativos. Define los sistemas operativos libres como aquellos cuyos dueños renuncian a obtener utilidades y pueden usarse y modificarse libremente. Los sistemas privativos tienen código cerrado y limitan el uso. Luego compara características como acceso al código, actualizaciones, soporte y libertad de uso. Incluye ejemplos de empresas desarrolladoras como Apple, Microsoft, Red Hat y Debian. Concluye que ambos tipos tienen ventajas y la elección depen
Fundamentos de la lógica. Lógica proposicional. Proposiciones. Tipos. Operadores y Conectivos lógicos. Formalización. Traducción de frases al Lenguaje Natural. Equivalencias proposicionales. Tautología. Contradicción. Contingencia.
El documento describe el cálculo de predicados, incluyendo definiciones, variables, cuantificadores y restricciones. Específicamente, define predicados como enunciados que contienen variables que pueden tomar valores de un dominio específico. Explica los cuantificadores universal y existencial y cómo se usan para indicar si un predicado se cumple para toda la población o al menos para un caso. Además, describe cómo se pueden representar expresiones comunes del lenguaje natural usando estos conceptos de lógica de predicados.
Este documento introduce el tema de la lógica matemática. Explica que la lógica estudia los métodos de razonamiento y provee reglas para determinar la validez de argumentos. Además, define la lógica como la ciencia del pensamiento científico y sus formas, y explica conceptos fundamentales como proposiciones, tablas de verdad, y operadores lógicos como la negación, conjunción, disyunción, condicional y bicondicional.
Breve reseña sobre las Leyes del Algebra proposicional con sus respectivas tablas de verdad, y a su vez mencionando las reglas de la Inferencia Deductiva.
El documento resume conceptos básicos de lógica proposicional, incluyendo definiciones de proposición, conectivos lógicos (negación, conjunción, disyunción, implicación, bicondicional), tablas de verdad, y tipos de proposiciones (atómicas, moleculares). También explica cómo formalizar proposiciones usando símbolos lógicos y cómo construir tablas de verdad para evaluar proposiciones compuestas.
Cuadro comparativo de sistemas operativo libres y privativosYesenia Serrano
Este documento compara los sistemas operativos libres y privativos. Define los sistemas operativos libres como aquellos cuyos dueños renuncian a obtener utilidades y pueden usarse y modificarse libremente. Los sistemas privativos tienen código cerrado y limitan el uso. Luego compara características como acceso al código, actualizaciones, soporte y libertad de uso. Incluye ejemplos de empresas desarrolladoras como Apple, Microsoft, Red Hat y Debian. Concluye que ambos tipos tienen ventajas y la elección depen
Fundamentos de la lógica. Lógica proposicional. Proposiciones. Tipos. Operadores y Conectivos lógicos. Formalización. Traducción de frases al Lenguaje Natural. Equivalencias proposicionales. Tautología. Contradicción. Contingencia.
El documento describe el cálculo de predicados, incluyendo definiciones, variables, cuantificadores y restricciones. Específicamente, define predicados como enunciados que contienen variables que pueden tomar valores de un dominio específico. Explica los cuantificadores universal y existencial y cómo se usan para indicar si un predicado se cumple para toda la población o al menos para un caso. Además, describe cómo se pueden representar expresiones comunes del lenguaje natural usando estos conceptos de lógica de predicados.
La programación funcional se basa en el cálculo lambda y enfatiza el uso de funciones puras sin efectos secundarios. Los lenguajes funcionales como Lisp, Scheme y otros derivan del cálculo lambda y tratan a las funciones como datos de primer orden. La característica clave es evitar el cambio de estado mediante el uso de funciones matemáticas puras.
Este documento presenta una introducción a la lógica matemática. Define conceptos clave como proposiciones, proposiciones compuestas, operadores lógicos como conjunción, disyunción, negación, condicional y bicondicional. Explica las tablas de verdad para cada operador lógico y cómo determinar si una fórmula es una tautología, contradicción o indeterminada.
Este documento describe el Cuerpo de Conocimiento de Ingeniería de Software (SWEBOK), el cual define el conocimiento de esta disciplina. Fue creado por el Comité de Coordinación de Ingeniería de Software de la IEEE y ACM. Cubre temas como las fases del desarrollo de software, la gestión de proyectos, herramientas, métodos, y calidad. El objetivo es promover una visión consistente de la ingeniería de software a nivel mundial.
Java es un lenguaje de programación orientado a objetos, multiplataforma e interpretado cuya sintaxis es similar a C y C++. Es portable, multihilo y distribuido, lo que lo hace sólido y seguro al evitar errores de programación y manipulación del código. Java también es independiente de la plataforma gracias a su máquina virtual que interpreta el bytecode generado.
Pseudo código es un lenguaje que permite a los programadores expresar algoritmos de una manera matemática antes de codificarlos en un lenguaje de programación específico. Ofrece ventajas como representar operaciones repetitivas complejas de forma fácil y facilitar la transición entre el diseño y la codificación. Un ejemplo muestra la estructura básica de un programa en pseudo código para contar el número de cifras de un número.
El documento introduce el cálculo de predicados como una extensión de la lógica proposicional que permite representar razonamientos cuya validez no puede establecerse con la lógica proposicional. Explica que el cálculo de predicados introduce predicados y funciones para representar las componentes de las proposiciones, como sujetos y predicados, permitiendo representar argumentos donde se utilizan partes de proposiciones. Finalmente, presenta los elementos básicos del alfabeto del cálculo de predicados, incluyendo símbolos para constant
El software de programación es un conjunto de herramientas que permiten el desarrollo de aplicaciones de software y es utilizado por programadores. Incluye compiladores que traducen código fuente a lenguaje de máquina, depuradores que monitorean la ejecución de programas línea por línea, e intérpretes que ejecutan programas.
Este documento describe los fundamentos de la programación en pseudocódigo usando el software Pseint. Explica que el pseudocódigo representa algoritmos de una forma cercana a los lenguajes de programación con elementos del lenguaje natural. Además, detalla las partes de un algoritmo en pseudocódigo, los tipos de datos, estructuras de control y funciones disponibles en Pseint para representar y ejecutar algoritmos de forma gráfica.
Este documento compara y contrasta los sistemas operativos libres frente a los licenciados. Explica que los sistemas operativos libres como Linux, Debian y Ubuntu permiten a los usuarios editar y mejorar el código, mientras que los licenciados como Windows, macOS e iOS tienen código cerrado que no puede modificarse. Además, proporciona ejemplos de empresas pioneras en ambos tipos de sistemas operativos y realiza una tabla comparativa de sus características principales.
El documento presenta el método de las 6 etapas para resolver problemas utilizando computadoras. Identifica las etapas como descripción del problema, definición de la solución, diseño de la solución, desarrollo de la solución, depuración y pruebas, y documentación. También introduce conceptos clave como modelado, UML, algoritmos y programación en Java.
Este documento trata sobre inteligencia artificial y procesamiento del lenguaje natural. Explica que el lenguaje natural es un sistema complejo de signos y describe los diferentes niveles del lenguaje incluyendo fonología, morfología, sintaxis y semántica. También describe aplicaciones del procesamiento del lenguaje natural como traducción automática y resúmenes. Finalmente, resume la arquitectura típica de un sistema de procesamiento del lenguaje natural.
Este documento presenta un seminario-taller sobre el desarrollo de proyectos multimedia. El seminario cubrirá temas como los elementos del diseño web, la terminología del diseño web, y los modelos de diseño de sitios web. Los estudiantes aprenderán a crear sitios web utilizando HTML y herramientas como FrontPage y Photoshop. El documento también proporciona información general sobre Internet, como direcciones URL, dominios y protocolos.
Este documento resume los conceptos básicos de lógica proposicional. Define los tipos de razonamiento lógico, proposiciones, operadores lógicos y tablas de verdad. Explica las operaciones lógicas de conjunción, disyunción, condicional, bicondicional y negación. Además, muestra cómo evaluar fórmulas lógicas y determinar si son tautologías, contradicciones o contingencias. Finalmente, incluye dos ejercicios prácticos para aplicar estos conceptos
Describimos el uso de tablas de verdad, as como las deniciones de los
principales conectivos logicos: :, ^, _, Y, ) y ,. Nos extendemos un
poco en la discusion del conectivo condicional ).
Este documento presenta una introducción al álgebra proposicional. Explica que las proposiciones son enunciados a los que se les puede asignar un valor de verdad, ya sea verdadero o falso. Distingue entre proposiciones simples, que consisten en una sola variable, y proposiciones compuestas, que contienen dos o más enunciados simples. Además, describe los principales operadores lógicos como la negación, conjunción, disyunción, implicación y doble implicación, y provee sus tablas de
Este documento presenta conceptos básicos de lógica y teoría de conjuntos. Define tautología como una proposición lógica que es verdadera en todas las filas de su tabla de verdad. Explica cómo construir tablas de verdad para determinar si una proposición es una tautología, contingencia o contradicción. Luego, introduce principios lógicos como el principio de contradicción, exclusión de tercero e identidad. Finalmente, presenta leyes lógicas como la conmutativa, asociativa, distributiva
Este documento presenta conceptos básicos de lógica proposicional. Explica que la lógica se enfoca en las relaciones entre proposiciones en lugar de su verdad o falsedad. Define proposiciones, proposiciones compuestas y los conectivos lógicos como la negación, conjunción, disyunción y condicional. Finalmente, introduce las tablas de verdad como una herramienta para determinar el valor de verdad de proposiciones compuestas.
El documento presenta tres alternativas técnicas y económicas para un proyecto de sistema de control publicitario. Describe los equipos, software y personal necesarios para cada alternativa, incluyendo especificaciones técnicas. Además, analiza los costos de implementación y operación de cada alternativa para determinar cuál es la más viable económicamente. El autor concluye que la primera alternativa es la más factible técnica y económicamente para el proyecto.
El documento habla sobre la capacitación de recursos humanos en software libre en Venezuela. Explica que el software libre está ganando terreno y que en Venezuela se está capacitando a las personas para fortalecer el uso del software libre de manera productiva y eficiente. La Academia de Software Libre ofrece capacitaciones presenciales y en línea en diversas áreas tecnológicas de manera gratuita dirigidas a estudiantes, profesionales y público en general.
Este documento presenta una introducción a los valores de verdad de los operadores lógicos. Explica la negación, conjunción, disyunción inclusiva y exclusiva, condicional y bicondicional a través de sus tablas de verdad respectivas. También describe cómo construir tablas de verdad para proposiciones compuestas, incluyendo la notación y prioridad de los operadores.
Este documento presenta un plan de animación a la lectura para niños de primer curso de primaria. El plan consiste en 10 sesiones para leer y trabajar con tres cuentos de la colección "El zoo de las letras". Cada sesión incluye actividades antes, durante y después de la lectura para desarrollar la comprensión, vocabulario y creatividad de los niños. El objetivo principal es fomentar el gusto por la lectura de los alumnos a través de actividades lúdicas.
Este sitio es creado con el fin de dar a conocer a todos sus visitantes, qué es la comprensión de lectura, como se desarrolla la comprensión de lectura, los métodos y técnicas más eficaces para llegar a tener una adecuada comprensión de lectura ante cualquier tipo de texto, la información que se presenta en este sitio es una información confiable, de la cual se podrá aprender mucho y aplicar todas las recomendaciones brindadas.
La programación funcional se basa en el cálculo lambda y enfatiza el uso de funciones puras sin efectos secundarios. Los lenguajes funcionales como Lisp, Scheme y otros derivan del cálculo lambda y tratan a las funciones como datos de primer orden. La característica clave es evitar el cambio de estado mediante el uso de funciones matemáticas puras.
Este documento presenta una introducción a la lógica matemática. Define conceptos clave como proposiciones, proposiciones compuestas, operadores lógicos como conjunción, disyunción, negación, condicional y bicondicional. Explica las tablas de verdad para cada operador lógico y cómo determinar si una fórmula es una tautología, contradicción o indeterminada.
Este documento describe el Cuerpo de Conocimiento de Ingeniería de Software (SWEBOK), el cual define el conocimiento de esta disciplina. Fue creado por el Comité de Coordinación de Ingeniería de Software de la IEEE y ACM. Cubre temas como las fases del desarrollo de software, la gestión de proyectos, herramientas, métodos, y calidad. El objetivo es promover una visión consistente de la ingeniería de software a nivel mundial.
Java es un lenguaje de programación orientado a objetos, multiplataforma e interpretado cuya sintaxis es similar a C y C++. Es portable, multihilo y distribuido, lo que lo hace sólido y seguro al evitar errores de programación y manipulación del código. Java también es independiente de la plataforma gracias a su máquina virtual que interpreta el bytecode generado.
Pseudo código es un lenguaje que permite a los programadores expresar algoritmos de una manera matemática antes de codificarlos en un lenguaje de programación específico. Ofrece ventajas como representar operaciones repetitivas complejas de forma fácil y facilitar la transición entre el diseño y la codificación. Un ejemplo muestra la estructura básica de un programa en pseudo código para contar el número de cifras de un número.
El documento introduce el cálculo de predicados como una extensión de la lógica proposicional que permite representar razonamientos cuya validez no puede establecerse con la lógica proposicional. Explica que el cálculo de predicados introduce predicados y funciones para representar las componentes de las proposiciones, como sujetos y predicados, permitiendo representar argumentos donde se utilizan partes de proposiciones. Finalmente, presenta los elementos básicos del alfabeto del cálculo de predicados, incluyendo símbolos para constant
El software de programación es un conjunto de herramientas que permiten el desarrollo de aplicaciones de software y es utilizado por programadores. Incluye compiladores que traducen código fuente a lenguaje de máquina, depuradores que monitorean la ejecución de programas línea por línea, e intérpretes que ejecutan programas.
Este documento describe los fundamentos de la programación en pseudocódigo usando el software Pseint. Explica que el pseudocódigo representa algoritmos de una forma cercana a los lenguajes de programación con elementos del lenguaje natural. Además, detalla las partes de un algoritmo en pseudocódigo, los tipos de datos, estructuras de control y funciones disponibles en Pseint para representar y ejecutar algoritmos de forma gráfica.
Este documento compara y contrasta los sistemas operativos libres frente a los licenciados. Explica que los sistemas operativos libres como Linux, Debian y Ubuntu permiten a los usuarios editar y mejorar el código, mientras que los licenciados como Windows, macOS e iOS tienen código cerrado que no puede modificarse. Además, proporciona ejemplos de empresas pioneras en ambos tipos de sistemas operativos y realiza una tabla comparativa de sus características principales.
El documento presenta el método de las 6 etapas para resolver problemas utilizando computadoras. Identifica las etapas como descripción del problema, definición de la solución, diseño de la solución, desarrollo de la solución, depuración y pruebas, y documentación. También introduce conceptos clave como modelado, UML, algoritmos y programación en Java.
Este documento trata sobre inteligencia artificial y procesamiento del lenguaje natural. Explica que el lenguaje natural es un sistema complejo de signos y describe los diferentes niveles del lenguaje incluyendo fonología, morfología, sintaxis y semántica. También describe aplicaciones del procesamiento del lenguaje natural como traducción automática y resúmenes. Finalmente, resume la arquitectura típica de un sistema de procesamiento del lenguaje natural.
Este documento presenta un seminario-taller sobre el desarrollo de proyectos multimedia. El seminario cubrirá temas como los elementos del diseño web, la terminología del diseño web, y los modelos de diseño de sitios web. Los estudiantes aprenderán a crear sitios web utilizando HTML y herramientas como FrontPage y Photoshop. El documento también proporciona información general sobre Internet, como direcciones URL, dominios y protocolos.
Este documento resume los conceptos básicos de lógica proposicional. Define los tipos de razonamiento lógico, proposiciones, operadores lógicos y tablas de verdad. Explica las operaciones lógicas de conjunción, disyunción, condicional, bicondicional y negación. Además, muestra cómo evaluar fórmulas lógicas y determinar si son tautologías, contradicciones o contingencias. Finalmente, incluye dos ejercicios prácticos para aplicar estos conceptos
Describimos el uso de tablas de verdad, as como las deniciones de los
principales conectivos logicos: :, ^, _, Y, ) y ,. Nos extendemos un
poco en la discusion del conectivo condicional ).
Este documento presenta una introducción al álgebra proposicional. Explica que las proposiciones son enunciados a los que se les puede asignar un valor de verdad, ya sea verdadero o falso. Distingue entre proposiciones simples, que consisten en una sola variable, y proposiciones compuestas, que contienen dos o más enunciados simples. Además, describe los principales operadores lógicos como la negación, conjunción, disyunción, implicación y doble implicación, y provee sus tablas de
Este documento presenta conceptos básicos de lógica y teoría de conjuntos. Define tautología como una proposición lógica que es verdadera en todas las filas de su tabla de verdad. Explica cómo construir tablas de verdad para determinar si una proposición es una tautología, contingencia o contradicción. Luego, introduce principios lógicos como el principio de contradicción, exclusión de tercero e identidad. Finalmente, presenta leyes lógicas como la conmutativa, asociativa, distributiva
Este documento presenta conceptos básicos de lógica proposicional. Explica que la lógica se enfoca en las relaciones entre proposiciones en lugar de su verdad o falsedad. Define proposiciones, proposiciones compuestas y los conectivos lógicos como la negación, conjunción, disyunción y condicional. Finalmente, introduce las tablas de verdad como una herramienta para determinar el valor de verdad de proposiciones compuestas.
El documento presenta tres alternativas técnicas y económicas para un proyecto de sistema de control publicitario. Describe los equipos, software y personal necesarios para cada alternativa, incluyendo especificaciones técnicas. Además, analiza los costos de implementación y operación de cada alternativa para determinar cuál es la más viable económicamente. El autor concluye que la primera alternativa es la más factible técnica y económicamente para el proyecto.
El documento habla sobre la capacitación de recursos humanos en software libre en Venezuela. Explica que el software libre está ganando terreno y que en Venezuela se está capacitando a las personas para fortalecer el uso del software libre de manera productiva y eficiente. La Academia de Software Libre ofrece capacitaciones presenciales y en línea en diversas áreas tecnológicas de manera gratuita dirigidas a estudiantes, profesionales y público en general.
Este documento presenta una introducción a los valores de verdad de los operadores lógicos. Explica la negación, conjunción, disyunción inclusiva y exclusiva, condicional y bicondicional a través de sus tablas de verdad respectivas. También describe cómo construir tablas de verdad para proposiciones compuestas, incluyendo la notación y prioridad de los operadores.
Este documento presenta un plan de animación a la lectura para niños de primer curso de primaria. El plan consiste en 10 sesiones para leer y trabajar con tres cuentos de la colección "El zoo de las letras". Cada sesión incluye actividades antes, durante y después de la lectura para desarrollar la comprensión, vocabulario y creatividad de los niños. El objetivo principal es fomentar el gusto por la lectura de los alumnos a través de actividades lúdicas.
Este sitio es creado con el fin de dar a conocer a todos sus visitantes, qué es la comprensión de lectura, como se desarrolla la comprensión de lectura, los métodos y técnicas más eficaces para llegar a tener una adecuada comprensión de lectura ante cualquier tipo de texto, la información que se presenta en este sitio es una información confiable, de la cual se podrá aprender mucho y aplicar todas las recomendaciones brindadas.
Elementos que articulan en el proceso de comprensión lectorainfoudch
Los tres elementos principales que articulan el proceso de comprensión lectora son: 1) el lector, 2) el texto y 3) la actividad. El lector aporta capacidades cognitivas y conocimientos previos, el texto tiene características como estructura y contenido, y la actividad incluye el objetivo y consecuencias de la lectura. Estos tres elementos interactúan dinámicamente y se ven influenciados también por el contexto sociocultural del lector.
Este documento define el concepto de competitividad y explica cómo se puede aumentar. La competitividad se refiere a la capacidad de una empresa u país para competir con éxito en el mercado, por ejemplo, ofreciendo bajos precios, alta calidad o avanzada tecnología. Para ser más competitivo, se puede reducir costos, aumentar productividad de empleados o mejorar la red de distribución. También describe cómo se construye un párrafo para desarrollar un concepto mediante ejemplos y argumentos.
LECTURA PARA PRIMARIA DE SEGUNDO A CUARTO GRADO
COMPRENSIÓN DE LA LECTURA 1
FICHAS PARA EL DESARROLLO DE LA COMPRENSIÓN DE LA LECTURA DESTINADOS A NIÑOS DE 7 A 9 AÑOS
Atte.
Edgar Zavaleta Portillo
Proceso, modelos y metodos de ingenieria de softwaresergio
El documento describe los procesos de software, incluyendo las fases del proceso de software como la especificación, el diseño e implementación, y la validación. También discute los modelos de procesos de software como el modelo en cascada y el desarrollo evolutivo, así como la ingeniería de software basada en componentes. Finalmente, compara los procesos, modelos y métodos de ingeniería de software.
El documento describe 13 tipos de lectura, incluyendo lectura oral, silenciosa, superficial, selectiva, comprensiva, reflexiva, crítica, recreativa, mecánica, fonológica, diagonal, literal e involuntaria. Explica brevemente cada tipo de lectura y su objetivo. También incluye un video sobre la importancia de leer y recursos web relacionados.
El documento describe diferentes niveles y tipos de lectura, incluyendo lectura fonética, denotativa, connotativa y de extrapolación. También describe mecanismos auxiliares para la decodificación de palabras como sinonimia, contextualización y radicación. Además, discute las causas del desinterés por la lectura como el uso repetitivo de textos en la escuela y el impacto de los medios audiovisuales, así como las consecuencias de la falta de lectura como deficiencias en ortografía, vocabulario y comprensión lectora.
El documento describe diferentes tipos de lectura como la lectura mecánica, oral, reflexiva, rápida, crítica y organizativa. También describe técnicas de estudio efectivas y malos hábitos como la regresión, vocalización, movimientos corporales y vocabulario deficiente. Finalmente, ofrece consejos para lograr una buena lectura como encontrar material adecuado y crear un espacio de concentración.
Este documento resume los diferentes tipos de párrafos según su estructura, función dentro del texto y modo discursivo. Explica que un párrafo puede ser introductorio, de desarrollo, descriptivo, narrativo, expositivo u argumentativo. Describe los elementos que componen un párrafo como la frase inicial, de desarrollo y de cierre. Además, incluye ejemplos de cada tipo de párrafo.
Este documento presenta 10 tipos de lectura: científica, receptiva, involuntaria, silenciosa, oral, literal, reflexiva, rápida, informativa y mecánica. La lectura científica es importante para la investigación y requiere profundidad. La lectura receptiva permite agrupar y sacar conclusiones de ideas. La lectura involuntaria se da de manera involuntaria en calles. La lectura silenciosa incluye novelas u otros textos por placer.
El documento define el párrafo, sus características y tipologías. Un párrafo se divide por medio de un punto y aparte y contiene una idea principal y secundarias. Las características incluyen la unidad y coherencia. Existen varios tipos de párrafos según su contenido, estructura lógica, ubicación y función como de apertura, transición o cierre.
Este documento describe los diferentes tipos de lectura. Identifica la lectura oral, la lectura silenciosa, la lectura silenciosa extensiva e intensiva, la lectura rápida y superficial, la lectura involuntaria, la lectura integral, reflexiva y mediana, y la lectura selectiva atenta y de vistazo. En resumen, clasifica la lectura en función de si es oral o silenciosa, el propósito e intensidad de la lectura, y si es una lectura completa o selectiva de partes del texto.
Este documento describe los tres tipos principales de párrafos que se usan en la redacción de textos: 1) párrafo de introducción, que presenta el tema y anticipa el contenido; 2) párrafo de desarrollo, que explica las ideas principales con ejemplos y detalles; y 3) párrafo de cierre, que resume lo discutido y plantea una conclusión o pregunta final. El documento también incluye ejemplos y actividades para practicar la escritura de cada tipo de párrafo.
El documento describe los tres tipos de párrafos que componen un texto: la introducción, el desarrollo y la conclusión. Explica que la introducción presenta el tema y anticipa el contenido, el párrafo de desarrollo explica las ideas principales con ejemplos y citas de autoridad, y la conclusión resume las ideas clave y plantea reflexiones finales.
Desarrollo de Microtaller que tiene como propósito de Fortalecer las capacidades pedagógicas en los docentes, para el buen manejo y desarrollo de estrategias de comprensión lectora en los estudiantes, desde el análisis crítico de la ECE
Comprension lectora - niveles de lecturaOrlando Nieto
Este documento describe los tres niveles de representación mental en la comprensión lectora: el código de superficie, el texto base y el modelo de situación. Explica las características de cada nivel, así como conceptos clave como proposiciones, inferencias y conocimiento previo. También cubre estrategias para comprender y resumir un texto, como supresión, generalización y construcción de proposiciones.
Esta presentación en power point, da a conocer la especificación de la comprensión lectora, al igual que da ejemplos de actividades para realizar con los estudiantes
El documento describe cuatro tipos de comprensión lectora: literal, inferencial, crítica y metacomprensión. La comprensión literal implica obtener el significado directo del texto. La inferencial requiere inferir significados más allá de lo explícito usando conocimientos previos. La crítica implica emitir juicios sobre el texto. La metacomprensión se refiere a la habilidad de monitorear la propia comprensión y aplicar estrategias para mejorarla.
El documento presenta varias estrategias para mejorar la comprensión lectora, como leer cuidadosamente los títulos y encabezados, tratar de anticipar los temas, subrayar las ideas principales de cada párrafo, escribir resúmenes con sus propias palabras, usar técnicas de lectura rápida, examinar texto para encontrar información específica, deducir el significado de palabras desconocidas a partir del contexto y utilizar cognados y ayudas visuales.
Este documento introduce la lógica proposicional y cubre temas como expresiones lógicas, tablas de verdad, conectores lógicos, leyes del cálculo proposicional y aplicaciones de la lógica en el diseño de circuitos electrónicos utilizando compuertas lógicas como AND y OR.
Este documento presenta conceptos fundamentales de álgebra para estudiantes de la Escuela de Ciencias de la Computación de la UTPL. Introduce los sistemas de números reales, exponentes, radicales, expresiones algebraicas y fraccionarias. Explica cada tema con ejemplos y actividades recomendadas para que los estudiantes practiquen y consoliden su comprensión de estos importantes conceptos matemáticos básicos.
Este documento introduce conceptos básicos de lógica y conjuntos. Explica que una proposición es una unidad semántica que es verdadera o falsa, y presenta ejemplos de proposiciones y no proposiciones. También define operadores lógicos como la negación, y muestra cómo cambian los valores de verdad de una proposición. Finalmente, explica que en lenguaje natural usamos proposiciones más complejas que involucran operadores lógicos.
Metodos de demostracion Directa e indirectaasignacion 1 norbelyN261190
El documento presenta métodos de demostración directa e indirecta. La demostración directa parte de postulados o proposiciones probadas para inferir una tesis a través de inferencias lógicas. La demostración indirecta establece la validez de una tesis probando que las consecuencias de su contraria son falsas. También define conceptos como proposiciones, conectivos lógicos y leyes de la lógica proposicional. Finalmente, presenta ejemplos de demostraciones y razonamientos lógicos.
1) La teoría de la programación enfatiza la importancia de analizar los objetivos y pasos de un programa antes de codificar.
2) Los algoritmos representan los pasos que debe seguir un programa para lograr su propósito de manera independiente al lenguaje.
3) Existen lenguajes de programación de bajo y alto nivel, siendo estos últimos más fáciles de entender para los humanos.
Este documento presenta información sobre lógica proposicional. Explica que la lógica proposicional estudia proposiciones y cómo se relacionan usando conectivos lógicos. Define proposición, conectivos lógicos como la negación, conjunción, disyunción e implicación, y muestra sus tablas de verdad. Además, explica cómo se aplica la lógica en la vida diaria al tomar decisiones y resolver problemas.
Este documento contiene información sobre lógica proposicional y demostraciones matemáticas. Explica conceptos como proposiciones, conectivos lógicos, formas proposicionales, álgebra proposicional y tipos de demostraciones como directas e indirectas. El documento está escrito en español y parece ser material de estudio para una clase de estructuras discretas o lógica matemática.
Este documento trata sobre inteligencia artificial. Explica que la inteligencia artificial intenta replicar la inteligencia humana a través de programas de computadora y puede considerarse una ciencia o ingeniería. También describe algunas características clave de los métodos de inteligencia artificial como el uso de símbolos no matemáticos y la habilidad de razonar con conocimiento. Finalmente, menciona algunas aplicaciones comunes de la inteligencia artificial como la robótica y los sistemas expertos.
Este documento presenta una breve introducción sobre hipótesis estadísticas y pruebas de hipótesis. Explica que una hipótesis nula se puede rechazar o aceptar, cometiendo un posible error. También describe cómo R puede usarse para realizar análisis estadísticos y crear gráficos, y los pasos para instalar R en un sistema operativo.
Este documento presenta una introducción a la lógica matemática. Explica que la lógica estudia el razonamiento y permite determinar si un argumento es válido. Se define una proposición y se introducen los conectivos lógicos and, or y not para formar proposiciones compuestas. También se explican las proposiciones condicionales y bicondicionales con sus tablas de verdad correspondientes. El objetivo final es que los estudiantes aprendan a realizar demostraciones formales mediante métodos directos y por
Este documento introduce los conceptos básicos de los lenguajes de programación, los tipos de datos y los algoritmos. Explica que existen lenguajes de bajo y alto nivel, y que los programas se traducen a lenguaje máquina mediante compiladores e intérpretes. Además, define los tipos de datos enteros, reales, lógicos, caracteres y cadenas, y explica las características de los algoritmos.
Este documento introduce los conceptos básicos de los lenguajes de programación, los tipos de datos y los algoritmos. Explica que existen lenguajes de bajo y alto nivel, y que los programas se traducen a lenguaje máquina mediante compiladores e intérpretes. Además, define los tipos de datos enteros, reales, lógicos, caracteres y cadenas, y explica las características de los algoritmos.
Este documento resume los conceptos fundamentales de la lógica proposicional, incluyendo las definiciones de proposición, conectivos lógicos, tablas de verdad, leyes lógicas y reglas de inferencia. Explica que la lógica proposicional estudia las relaciones entre proposiciones y su valor de verdad, y define proposiciones, conectivos como la negación, conjunción, disyunción y condicional. También cubre tablas de verdad, tautologías, contradicciones y leyes l
Este documento resume los conceptos fundamentales de la lógica proposicional. Explica que la lógica proposicional estudia las relaciones entre proposiciones y su verdad. Define proposiciones, operadores lógicos, tablas de verdad y leyes lógicas. También describe reglas de inferencia como modus ponens y modus tollens que permiten derivar nuevas conclusiones.
Este documento describe las conectivas lógicas más comunes y cómo se utilizan para combinar valores de verdad. Las conectivas lógicas más utilizadas son la negación, conjunción, disyunción, condicional y bicondicional. También explica cómo construir tablas de verdad para determinar el valor de verdad de proposiciones compuestas utilizando diferentes conectivas lógicas.
Mini Manual de R-COMMANDER, comandos, ventanas y aplicaciones del software en...Danny Carrasco
ESCUELA SUPERIOR POLITÉCNICA DE CHIMBORAZO
FACULTAD DE INFORMÁTICA Y ELECTRÓNICA
ESCUELA DE INGENIERÍA ELECTRÓNICA EN TELECOMUNICACIONES Y REDES.
TRABAJO DE PROBABILIDAD Y ESTADÍSTICA
DOCENTE: Dra. Silvia Haro.
El documento describe el análisis factorial, una técnica estadística que reduce un conjunto de variables a un número menor de factores. Explica las fases del análisis factorial como la creación de la matriz de correlaciones, la extracción de factores, las rotaciones factoriales e interpretación de los factores. Finalmente, presenta un modelo matemático del análisis factorial y conceptos clave como la comunalidad y la matriz de errores.
El documento introduce el modelo ARIMA, que se utiliza para pronosticar series temporales mediante la identificación de patrones en los datos estadísticos históricos. El modelo combina componentes autorregresivas, de integración y de media móvil para hacer predicciones a corto y largo plazo de manera óptima. El documento explica las ventajas del modelo ARIMA y cómo se utiliza software estadístico para identificar y ajustar el mejor modelo ARIMA para una serie de datos en particular.
Este documento describe el método de simulación Montecarlo para pronosticar resultados financieros bajo incertidumbre. Explica cómo generar números aleatorios y usar funciones como RAND, VLOOKUP y NORMINV en Excel para simular demanda variable, costos y ganancias múltiples veces. El objetivo es calcular medias y desviaciones estándar que midan el pronóstico y riesgo para la toma de decisiones.
Este documento describe diferentes conceptos y teoremas relacionados con probabilidad e inecuaciones, incluyendo la inecuación de Markov, la inecuación de Chebyshev, la inecuación de Chernoff, la ley de números grandes, y modelos de probabilidad. También discute limitaciones de usar frecuencias relativas y el concepto de probabilidad subjetiva.
La criptografía es el arte de escribir mensajes de forma que solo las personas autorizadas puedan leerlos. Se utiliza para comunicarse en secreto y preservar la privacidad. A lo largo de la historia, muchas personas han utilizado sistemas simples de criptografía como lenguajes secretos o sustitución de letras para ocultar información en diarios y correspondencia. La frecuencia con que se repiten letras y combinaciones de letras en diferentes idiomas puede ayudar a descifrar mensajes cifrados.
Técnicas prácticas para la solución de algunos grafos 1Juan Velez
El documento describe varias técnicas para resolver grafos. Explica el árbol recubridor mínimo para conectar todos los nodos de un grafo minimizando la distancia, la técnica de maximización de flujo para determinar la cantidad máxima que puede fluir a través de un grafo, y la técnica de la ruta más corta y el algoritmo de Floyd-Warshall para encontrar las rutas más cortas entre pares de nodos en un grafo.
Catalogo Cajas Fuertes BTV Amado Salvador Distribuidor OficialAMADO SALVADOR
Explora el catálogo completo de cajas fuertes BTV, disponible a través de Amado Salvador, distribuidor oficial de BTV. Este catálogo presenta una amplia variedad de cajas fuertes, cada una diseñada con la más alta calidad para ofrecer la máxima seguridad y satisfacer las diversas necesidades de protección de nuestros clientes.
En Amado Salvador, como distribuidor oficial de BTV, ofrecemos productos que destacan por su innovación, durabilidad y robustez. Las cajas fuertes BTV son reconocidas por su eficiencia en la protección contra robos, incendios y otros riesgos, lo que las convierte en una opción ideal tanto para uso doméstico como comercial.
Amado Salvador, distribuidor oficial BTV, asegura que cada producto cumpla con los más estrictos estándares de calidad y seguridad. Al adquirir una caja fuerte a través de Amado Salvador, distribuidor oficial BTV, los clientes pueden tener la tranquilidad de que están obteniendo una solución confiable y duradera para la protección de sus pertenencias.
Este catálogo incluye detalles técnicos, características y opciones de personalización de cada modelo de caja fuerte BTV. Desde cajas fuertes empotrables hasta modelos de alta seguridad, Amado Salvador, como distribuidor oficial de BTV, tiene la solución perfecta para cualquier necesidad de seguridad. No pierdas la oportunidad de conocer todos los beneficios y características de las cajas fuertes BTV y protege lo que más valoras con la calidad y seguridad que solo BTV y Amado Salvador, distribuidor oficial BTV, pueden ofrecerte.
KAWARU CONSULTING presenta el projecte amb l'objectiu de permetre als ciutadans realitzar tràmits administratius de manera telemàtica, des de qualsevol lloc i dispositiu, amb seguretat jurídica. Aquesta plataforma redueix els desplaçaments físics i el temps invertit en tràmits, ja que es pot fer tot en línia. A més, proporciona evidències de la correcta realització dels tràmits, garantint-ne la validesa davant d'un jutge si cal. Inicialment concebuda per al Ministeri de Justícia, la plataforma s'ha expandit per adaptar-se a diverses organitzacions i països, oferint una solució flexible i fàcil de desplegar.
Catalogo general Ariston Amado Salvador distribuidor oficial ValenciaAMADO SALVADOR
Distribuidor Oficial Ariston en Valencia: Amado Salvador distribuidor autorizado de Ariston, una marca líder en soluciones de calefacción y agua caliente sanitaria. Amado Salvador pone a tu disposición el catálogo completo de Ariston, encontrarás una amplia gama de productos diseñados para satisfacer las necesidades de hogares y empresas.
Calderas de condensación: Ofrecemos calderas de alta eficiencia energética que aprovechan al máximo el calor residual. Estas calderas Ariston son ideales para reducir el consumo de gas y minimizar las emisiones de CO2.
Bombas de calor: Las bombas de calor Ariston son una opción sostenible para la producción de agua caliente. Utilizan energía renovable del aire o el suelo para calentar el agua, lo que las convierte en una alternativa ecológica.
Termos eléctricos: Los termos eléctricos, como el modelo VELIS TECH DRY (sustito de los modelos Duo de Fleck), ofrecen diseño moderno y conectividad WIFI. Son ideales para hogares donde se necesita agua caliente de forma rápida y eficiente.
Aerotermia: Si buscas una solución aún más sostenible, considera la aerotermia. Esta tecnología extrae energía del aire exterior para calentar tu hogar y agua. Además, puede ser elegible para subvenciones locales.
Amado Salvador es el distribuidor oficial de Ariston en Valencia. Explora el catálogo y descubre cómo mejorar la comodidad y la eficiencia en tu hogar o negocio.
HPE presenta una competició destinada a estudiants, que busca fomentar habilitats tecnològiques i promoure la innovació en un entorn STEAM (Ciència, Tecnologia, Enginyeria, Arts i Matemàtiques). A través de diverses fases, els equips han de resoldre reptes mensuals basats en àrees com algorísmica, desenvolupament de programari, infraestructures tecnològiques, intel·ligència artificial i altres tecnologies. Els millors equips tenen l'oportunitat de desenvolupar un projecte més gran en una fase presencial final, on han de crear una solució concreta per a un conflicte real relacionat amb la sostenibilitat. Aquesta competició promou la inclusió, la sostenibilitat i l'accessibilitat tecnològica, alineant-se amb els Objectius de Desenvolupament Sostenible de l'ONU.
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: