Clave de asignatura: 3116
Grupo: 1103
Maestro: Julio Beltrán Miranda
Ayudante: Teobaldo Ocadio Ibáñez
Calificación final.
Pueden verla en esta tabla o consultar el sitio oficial de la UNAM.
Como verán, no tomé en cuenta la calificación de los exámenes sobre diagramas de Venn (cuyas respuestas están aquí).
Horario:
Lunes 10-12 Hr. Salón 208
Jueves 10-12 Hr. Salón 314 ó Sala de computadoras "Giordano Bruno"
| El primer grupo tomará clase de: | 10:00 a 11:00 | de 12:00 a 12:45 | y de 13:30 a 13:45. |
| El segundo grupo tomará clase de: | 11:00 a 12:00 | de 12:45 a 13:30 | y de 13:45 a 14:00 |
Cuando los grupos no estén en las computadoras, tendrán tarea para realizar en la biblioteca, individualm,ente o en grupo. De esta manera aprenderemos a realizar derivaciones en una sola semana, y podremos reservar algunas sesiones en el final del semestre para revisar los temas de traducción y de Diagramas de Venn, a fin de repetir ese examen. Espero que este esfuerzo adicional de ustedes y mío les resulte provechoso y sea de su gusto. Atte. Julio.
Clases de inglés (apoyo)
Cursos de inglés básico coordinados por la Dra. Lourdes Domínguez.
** ¡Favor de presentarse a la brevedad en una clase con las instructoras (Isabel y Paola), para que sus lugares queden asegurados!**
Los salones son distintos para cada día de la semana:
| lunes: | 329 |
| martes: | Torre de Humanidades 1 Piso 2 salón 2 (TH2-2) |
| miércoles: | 216 |
| jueves: | Torre de Humanidades 1 Piso 2 salón 2 (TH2-2) |
| viernes: | 324 |
El horario es de 2 a 4 PM (aunque no estoy seguro, porque la Dra. Domínguez no me lo puso en su mail, si bien ése era el horario el año pasado.)
Las calificaciones finales en el curso de inglés fueron:
| Nombre | Calif. |
| Cruz Pelcastre, Alejandro | 9.5 |
| Lorenzo González, Roberto | 8.3 |
| Muñoz Don Juan, Héctor | 8.4 |
| Olivieras Rojas, Isabel | 6.5 |
| Villamil Morales, Elizabeth | NP |
Libro de texto:
Simpson, Elements Of Symbolic Logic
- Copias del libro de texto pueden obtenerse en:
Print & Copy Shop
Calle de Medicina 24
Col. Copilco
Tel. 5659-3435
Pulsa sobre la imagen para ir al mapa Google de ubicación.
- Software para practicar derivación natural comprobar la validez de argumentos (Bertie3) es un programa para ejercitar la derivación "natural" Bertie3
- Emuladores de DOS para Windows 7 o posterior, o inclusive para otros sistemas operativos, o bien, para instalar en la memoria USB (todo esto es desconocido para mí, y no puedo darles orientación más allá de estas referencias):
- DOSBOX (el único que Teobaldo y yo hemos empleado) http://portableapps.com/apps/games/dosbox_portable
- Bochs http://bochs.sourceforge.net/
- Windows Preinstallation Environment http://en.wikipedia.org/wiki/Windows_Preinstallation_Environment
- V-Box http://www.vbox.me/
- QEMU http://wiki.qemu.org/Main_Page
