Ju

Taller de exposiciones

1.

La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.1

La programación lógica es un tipo de paradigmas de programación dentro del paradigma de programación declarativa. El resto de los subparadigmas de programación dentro de la programación declarativa son: programación funcional,programación con restricciones, programas DSL (de dominio específico) e híbridos. 

2.

algoritmo en DFD

algoritmo en pseint

3.

eficiencia en un algoritmo

En Ciencias de la Computación, el término eficiencia algorítmica es usado para describir aquellas propiedades de losalgoritmos que están relacionadas con la cantidad de recursos utilizados por el algoritmo. Un algoritmo debe ser analizado para determinar el uso de los recursos que realiza. 

4.

  Algoritmos.
Definición:

 Es una fórmula para resolver un problema.

Un programa de computadoras, es un algoritmo que le dice a la computadora los pasos específicos para llevar a cabo una tarea.

Es un conjunto de acciones o secuencias de operaciones que ejecutadas en un determinado orden resuelven un problema.

Un algoritmo es un conjunto ordenado y finito de operaciones que se utiliza para la solución de un problema. Se trata de instrucciones o reglas definidas que, a través de pasos sucesivos, que permiten realizar una actividad.

Cabe destacar que los algoritmos son muy importantes en la informática ya que permiten representar datos como secuencias de bits.    

Ejemplos: El ejemplo mas popular es una receta de comida. La analogía es clara.

Otros pueden ser los siguientes entre muchos.
Cambiar una llanta: Juan recibe la siguiente información: “su automóvil tiene una llanta pinchada”.

Juan se dirige al parqueadero con el objeto de cambiar la llanta pinchada. Entonces,
debe revisar llantas (subproceso)
si están bien, devolverse
sino asegurar vehículo
colocar gato y aflojar pernos
reemplazar llanta
asegurar llanta
guardar herramienta.

5.

VERIFICACIÓN POR SEGUIMIENTO CON TABLAS DE VARIABLES

El uso de las tablas de variables para la verificación del algoritmo supone un proceso similar al del seguimiento escrito, pero centrado sobre las variables y con una presentación y estructuración más adecuada. Los cambios en el valor de las variables, el número de iteración en los bucles, etc. se reflejan en una o varias tablas consiguiéndose una presentación más ordenada y legible.

La programación de computadoras

Programar una computadora consiste en escribir las instrucciones para que la computadora realice una tarea; se suele decir que la computadora resuelve problemas, pero lo correcto es decir que la computadora ejecuta las instrucciones que resuelven el problema, en este sentido la tarea consiste en ejecutar las instrucciones. Al conjunto de instrucciones específicas para que la computadora realice la tarea se le llama programa.
5.
Dato entrada
Salario de los trabajadores
Dato salida
 suma de los salarios
6.
Entrada
Tiempo de cada cimpetidor
Tiempo por competidores
Salida
Sumar todos los tiempos y dividir x el numero de competidores