Biografía de Gottlob Frege

Frege fue un defensor del logicismo, la tesis de las matemáticas son reducibles a la lógica, en el sentido de que las verdades de la matemática son deducibles de las verdades de la lógica. Sin embargo su defensa del logicismo era de alcance limitado, aplicándola solo a la aritmética, puesto que Frege permaneció en gran medida kantiano respecto de la geometría. Frege introdujo a toda prosa una modificación en uno de sus axiomas, de la que dejo constancia en un apéndice de la obra.

Biografía de Gerhard Gentzen

Establece que toda derivación en el cálculo de consecuencias lógicas puede ser normalizada como una derivación igual conclusión pero sin utilizar lemas auxiliares. Sus principales trabajos fueron en fundamentos de la matemática y la teoría de la demostración, Gentzen introduce la noción de sistema de deducción natural para lógica clásica y lógica intuicionista. Demuestra que toda prueba puede escribirse de manera normalizada sin cortes por ello introduce el cálculo de consecuencias lógicas o se cuentes.

Biografía de Alfred Tarski

Realizo importantes investigaciones sobre fundamentación de la matematica.Logico filosofo y matemático estadounidense se de origen polaco. Autor de introducción ala lógica y ala metodología de ciencias deductivas.(1936) la concepción semántica de la verdad y los fundamentos de la semántica(1972)

Biografía de Heráclito Grecia

Afirma que el fundamento de todo está en el cambio incesante el ante de viene que todo se transforma en un proceso de continuo nacimiento y destrucción al que nada escapa.

Biografía de George Boole

Boole aplico una serie de símbolos y operaciones los símbolos podían manipularse según reglas fijas que producirían resultados lógicos. Las matemáticas modernas tendrán una evolución lenta, hasta completamente indispensable para conseguir la matemática lógica.

Preposiciones o expreciones de lenguaje

Lógica (evaluables).
Abiertas (las variables cambian).
Indeterminadas (no puede ser variable, ni evaluable).

Ciclo de vida evolutivo

Este modelo acepta que los requerimientos del usuario puedan cambiar en cualquier momento. El modelo del ciclo de vida evolutivo afronta este problema mediante una interacción de ciclos, requerimientos –desarrollo-evaluación.
NOTA: Luego de cada desarrollo obtenemos una versión del producto.

Ciclo de vida en cascada o (Ciclo de vida clasico)

Es el mas empleado en la ing. En sistemas y se desarrollo a partir del ciclo convencidad de una ingeniera
Ingeniero de sistemas.
Análisis.
Diseño.
Codificación.
Prueba.
Utilización.
Sustitución.
Mantenimiento.

Ciclo de vida lineal

Es el más sencillo de todos los modelos. Consiste en descomponer la actividad global del proyecto en etapas separadas que son realizadas de manera lineal, es decir cada se realiza una sola vez, cadena.
Análisis.
Diseño.
Implementación.
Bebuggile.
Instalación.
Aceptación.

Ciclo de vida UV

Este ciclo fue diseñado por Alan Dwis, y contiene las mismas etapas que el ciclo de vida en cascada puro. A este sele agregaran 2 sud etapas de retroalimentación entre las etapas de análisis y mantenimiento, y en las de diseño y de bbuging.
NOTA: Este modelo nos ofrece mayor garantía de corrección del terminar el proyecto.

Ciclo de vida sashimi

Este ciclo de vida es parecido al ciclo de vida pasada puro, pero este ciclo no se puede sola por las etapas aumento la eficiencia ya que la retroalimentación entre etapas se encuentra implícitamente en el modelo.

Ciclo de vida orientada a objetos

Este ciclo de vida orientada a objetos recién de la década de los 90 grados, tal vez como una de las mejores metodologías a seguir pura la creación de productos. Los objetos están representados por un conjunto de propiedades a los cuales denominados atributos, por otra parte, el comportamiento que tendrán estos objetos los denominamos métodos.
NOTA: Un modelo muy versátil, tanto para pequeños como para grandes proyectos.

Negación (NOT)

Algunos peces pueden nadar
Ningunos peces nadan

El agua es transparente
El agua no es transparente

México está en América
México no está en América

La mesa es azul
La mesa no es azul

Todos los días hace calor
No hace calor todos los días

Ningún oso polar tiene frio
Todos los osos polares tienen frio

Algún sabio no toma café
Ningún sabio toma café

El carro si funciona
El carro no funciona

Las niñas hablan mucho
Las niñas no hablan mucho

Yo no reprobé la materia de lógica
Yo si reprobé la materia de lógica

Conexiones lógicas binarias

Conjunción AND (^)
Dos preposiciones que se
Evalúan como p q -> p^q.

Disyunción OR (˅)
Con que alguna preposición
Se cumpla se cumple la
Completa combinación p q->p˅q

Condicional IF
Si p entonces q
(p->q)

Bicondicional IFTHE
p si solo q (p<->q)

Periféricos

Entrada
•Teclado
•Mouse
•Micrófono
•Cámara
•Escáner
•Lector de huellas
•Iphod
•Plenal pant

Salida
•Monitor
•Impresora
•Bocinas
•Cañón
•Proyector
•Audífonos
•Plotter
•Copiadora

Mixto
•Modem
•USB
•Red
•Fax
•CD
•DVD
•Disquete
•Blue raw
•Fire warell

Buses de datos: Son aquellos que reproducen información
Para almacenar en la memoria principal.

Buses de control: Son aquellos periféricos que usan la información para transferirla (Visualizarla).

Concepto de ciclo de vida

Se entiende como la sucesión de etapas por las que pasa el software desde que un proyecto es concebido hasta que se deja de usar.

Existen diversos modelos del ciclo de vida, es decir, diversas formas de ver el proceso del desarrollo del software, y cada uno de ellos va asociado, a una serie de métodos, herramientas y procedimientos que debemos usar a lo largo de un proyecto.

Nota: Se realiza de acuerdo a la naturaleza del proyecto de la aplicación de los métodos a usar controles y entregas.

Project Manager

Project Manager (líder del proyecto) el control de proceso de desarrollo y subministro se implementa las bases para construir de forma productiva software de alta calidad.

Métodos:
Criterios de calidad.
•Planificación
•Estimación del proyecto $$$
•Análisis de requisitos
•Diseño de estructura datos
•Programas, procedimientos
•Codificación
•Pruebas
•Mantenimiento

Herramientas:
Integran soporte aut. En cada fase de forma que sirve pata todo el proceso de desarrollo.

Procedimientos:
Secuencia en la que se aplican los métodos:
•Documentos que se reducen
•Controles que aseguren su calidad

Arte de la industria

Arte de la industria:

•Los sistemas informáticos se caracterizan por una rápida evolución de los componentes hardware, hoy dispone en una minicomputadora e incluso en una computadora personal.

•El software es un mecanismo que nos permite utilizar y explotar este potencial.

•Es necesario analizar, como la vamos a hacer, controlar el desarrollo de forma que al final obtengamos resultados esperados.

Evolución la industria del software
1970_________50 años_______Norma ISO 12270_____

Industria y la
Ciencia del software
Code & Fix
Primer método
Para la generación
Del software

Estandalizar el desarrollo del software
•Documentación
•Gestión
•Adquisición
•Validación
•Uso
•Requisitos de aplicación
•Servicios de sistema

Etapas para el desarrollo y ciclos de vida del software.
•Planificación
•Implementación
•Puesta en producción

ISO 12207

ISO 12207

Establece un proceso de ciclo de vida para el software que incluye procesos y actividades pasando por la adquisición y configuración de los servicios del sistema.

El estándar se basa en dos principios fundamentales: Modularidad y Responsabilidad.
Los procesos se clasifican en tres tipos: principales, de soporte y de la organización.

Procesos principales:
•Adquisición
•Suministro
•Desarrollo
•Operación
•Mantenimiento

Proceso de soporte:
•Documentación
•Gestión de codificación
•Aseguramiento de calidad
•Verificación
•Validación
•Revisión conjunta
•Auditoria
•Resolución de problemas

Procesos de organización:
•Gestión
•Mejora
•Infraestructura

Ciclo de vida de cascada

Nota: Un modelo muy versátil, tanto para pequeños como para grandes proyectos.

Ciclo de vida de interacción

Ciclo de vida de interacción
Y el producto final forma los entendidos durante la etapa de solicitud de requerimientos.

Es un modelo ideal a seguir cuando el usuario necesita entregas rápidas aunque el proyecto aun no esté terminado.

Ciclo de vida espiral

En este modelo hay cuatro actividades que envuelven a las etapas:

Primera planificación: Relevamiento de requerimientos iniciales o luego de una interacción.

Análisis de riesgo: De acuerdo con el relevamiento de requerimientos decidimos si continuamos con el desarrollo.

Implementación: Desarrollamos un prototipo basado en los requerimientos.

Evaluación

Ciclo de vida incremental

Ciclo de vida incremental
Se basa en la tecnología de construir e incrementando las funcionalidades del programa.

Ciclo de vida de prototipos

Ciclo de vida de prototipos

Se utiliza para validar los requerimientos de los usuarios en cualquier ciclo de vida. Antes de adoptar este modelo de ciclo debemos evaluar si el esfuerzo por crear un prototipo vale realmente la pena adaptarlo.

Pseudocódigo

Pseudocódigo: Es una descripción de alta nivel de un algoritmo que emplea una mezcla de lenguajes natural con algunas convenciones sintácticas propias de lenguajes de programación, como asignaciones, ciclos y condicionales, es estudiado para describir algoritmos en libros y publicaciones científicas, y como producto intermedio durante el desarrollo de un algoritmo.

En pseudocódigo se describen los algoritmos utilizando una mezcla de lenguaje común, con instrucciones de programación, palabras claves, etc.

Pseudocódigo ejemplo:
Inicio de programa
Int x, y, z;
Leer valor de x;
Leer valor de y;
Realizar operación z= x/y;
Desplegar z en pantalla;
If deseas repetir el programa;
Si ve al paso 2;
No finalizar programa