2010 Logica 2

Software empleado en clase:

Baja Twootie o Bertie3

Aquí puede bajar un programa que emule el ambiente DOS para el sistema operativo que corra en su computadora personal (Windows 7, Windows Vista o MacOS X). Con este emulador, podrás correr Bertie3 y Twootie en tu computadora. Seguramente te servirán también las "fachadas" o "interfaces" para dichos sistemas operativos: Dapplegery o Radnor (para MacOS X), o bien DosShell o D.O.G (para Windows).

Calificaciones del primer examen (Derivación propocisional con el conjunto extendido de reglas):

Examen de interpretaciones y contraejemplos

¡Ir al examen!

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