Echartea Alvarez Karen M

**strellitaprincess** Mar Nov 18, 2008 10:34 pm

Logo es un lenguaje de programación realmente sencillo ya que sus comandos son lógicos y sencillos de aprender y es muy usado para enseñar a los principiantes en programación.
La lógica computacional es una disciplina que estudia la aplicación de la lógica clásica formal para la representación computacional de argumentos, las técnicas de deducción automática y asistida por computadora; sus fundamentos relacionados con validez y completes de sistemas de proposiciones; y las aplicaciones de esas técnicas a las diferentes áreas de las ciencias computacionales en todas las etapas de desarrollo de software, es decir, en la especificación, diseño, construcción y verificación formal de programas.
Entonces se podría decir que es logo es uno de los programas base para aprender y comprender la lógica computacional. Porque en el se empieza a usar la lógica en la forma de programar y se analiza al querer formar algo.

Karen M. Echartea Alvarez
5º semestre
N.L. 4