pragama 3.1

pragrama 3.3

programa 3.6

en este programa se define una variable y se le da un escrito al tipo de dato char los cuales se imprimen

ejercicios de pagina 139

guia de examen

concepto de algoritmo
computadora
compilador
interprete
dispositivos de almacenamiento
hardware
software
lenguaje maquina
lenguaje ensamblador
lenguaje de programacion
lenguaje c
elementos de diagrama de flujo
seudocodigo
variables y constantes
diagrama n-s

algoritmo hecho en clase

realizar un algoritmo que lea la edad en meses de una persona y determine si puede votar o no puede votar (imprime puede votar o no puede votar)

1.-inicio
2.-leer n
3.-calcular años=n*12
4.-si años<216 hacer paso 5 si no paso 7
5.-imprimir si puede votar
6.-saltar paso 7
7.-imprimir no puede votar
8.-fin

Métodos Formales de verificaciones de programas.

Aserciones7
Una parte importante de uan verificación formal es la documentación de un programa atraves de asertos o afirmaciones – sentencias logicas ciertas hacerca del programa que se declaran verdaderas-. Un aserto se escribe como un comentario y describe lo que se supone sea verdadero sobre las variables del programa en ese punto.

Precondiciones y poscondiciones
Las precondiciones y poscondiciones son afirmaciones sencillas sobre condiciones al principio y al final de los modulos.

Reglas para prueba de programas
Un medio util para probar que un programa p hace lo que realmente ha de hacer es proporcional aserciones que expresen las condiciones antes y después de que p sea ejecutado. En realidad las aserciones son como sentencias o declaraciones que pueden ser o bien verdaderas o bien falsas.

Invariantes de bucles
Una invariante de bucle es una condicion que es verdadera antes y después de la ejecución de un bucle. Las invariantes de bucle se utilizan para demostrar la conexión (exactitud) de algoritmos iterativos. Utilizando invariantes se pueden detectar errores antes de comenzar la codificacion y por esa razon reducir tiempo de depuración y prueba.