Logica 1

Grupo 2008-1

Todavía no coloco material en este sitio nuevo, pero por lo pronto les muestro las tres fotografìas que sacamos el día del examen. Las pueden ampliar pulsando 2-clicks sobre cualquiera de ellas, y, ya en su sitio de origen, usando el botón con lupa.


flickr:1436122883

flickr:1436128667&context=set-72157602151630163&size=l

flickr:1436132687&context=set-72157602151630163&size=l

Programas de computadora par hacer ejercicios.

Los programas de computación que empleamos en los cursos de Logica 1 y 2 son de uso irrestricto (open source) y se llaman Bertie3 y Twootie.

Bertie3 es un programa para ejercitar la derivación "natural" y comprobar la validez de argumentos.

Twootie es un programa para explorar "árboles de verdad" y así buscar contraejemplos económica y sistemáticamente.

Baja ambos instaladores y hazlos correr en la PC donde harás tus prácticas. No funcionan en Mac antiguas, pero tengo entendido que el sistema operativo más reciente de Mac es capaz de ejecutar programas escritos originalmente para PC. ¡Ojalá sea así, porque no conozco ningún sustituto de estos programas!

Si no se indica lo contrario, el contenido de esta página se ofrece bajo Creative Commons Attribution-Noncommercial-Share Alike 2.5 License.