|
|
Bienvenido a la página de Lógica. Aquí se publicará
toda la información del curso.
Coordenadas de los profesores
Noticias
Notas Parcial III prof. I.C. Martínez
Notas Parcial II (completas) prof. I.C. Martínez
Notas Parcial II (completas) prof. M.E. Vidal
Notas Parcial I prof. I.C. Martínez.
Revisión Miércoles 17/02 de 4:00 a 6:00. OJO con los exámenes marcados con "f": tienen problemas de formato en las demostraciones.
Notas Parcial I prof. M.E. Vidal
El primer examen del trimestre pasado (Sept-dic 2009) se
encuentra disponible aqui
La clase extra del Viernes 29/01/2010
(Prof. Martínez) será de 9:30 am a 11:30 am
en MEM 009.
Las prácticas serán publicadas en
moodle.ldc.usb.ve. Alli deben buscar el curso de
lógica e inscribirse. Deben colocar su nombre
completo claramente. Nada de nicks ni apodos. Cuando se
inscriban pedirá una clave, que es: "inferencia".
Horarios
Teoría: Lunes y Miércoles, 7-8:
- Secciones 1,2: ENE 101
- Secciones 3,4: ENE 124
Práctica: Jueves 3-4:
- Secc 1: AUL 015 , Encargado
- Secc 2: AUL 016 , Encargado
- Secc 3: AUL 017 , Encargado
- Secc 4: AUL 018 , Encargado
Objetivo general
Introducir al estudiante en los sistemas formales de modelación
del razonamiento.
Al término del curso se espera que se hayan alcanzado los siguientes
objetivos:
Desarrollar en el estudiante la capacidad de abstraer un problema a través
de su formulación en lógica de primer orden.
Introducir el uso de la lógica como disciplina de razonamiento.
Introducir al estudiante en las pruebas deductivas.
Texto del Curso
- Gries, David and Schneider, Fred B. (1994): A Logical Approach to
Discrete Math. Texts and Monographs in Computer Science. Springer-Verlag.
Calendario
Enero-Marzo 2010
Evaluación
- I Parcial 35%. Octubre 14 (Miercoles 4ta)
- II Parcial 35%. Noviembre 4 (Miercoles 7ma)
- III Parcial 30%. Diciembre 7 (Lunes 12da)
Notas Importantes
- Todas las evaluaciones son acumulativas.
- Los estudiantes involucrados en copia tendrán 1
(uno) en la materia, una amonestaci&ocute;n en la
coordinaci&ocaute;n y dependiendo de la gravedad una
solicitud de apertura de expediente disciplinario.
- En caso de no asistir a un exámen por problemas de
salud, debe solicitar su repetici&ocauten ante el Decanato de
Estudios Profesionales.
- El ex´men de recuperaci&ocute;n para los casos
solicitados por el Decanato de Estudios Profesionales,
cubrir´ todos los temas dictados durante las doce
semanas del trimestre y se realizará durante la
semana 12.
Bibliografía Complementaria:
- Nimal Nissanke (1999) Introductory logic and sets for computer scientists;
Addison-Wesley.
- Tineo, L., and Lara, I. (1996): Problemario para CI-2511: Lógica
Simbólica. Reporte CI-1996-007. Universidad Simón Bolívar.
- Copi, Irving (1979): Lógica Simbólica. MacMillan Publishing
Co., Inc.
- Thomason, Richmond (1970): Symbolic Logic: an introduction. MacMillan
Publishing Co., Inc.
- Grassmamm, W. K. and Tremblay, J.-P. (1996): Matemática Discreta
y Lógica. Prentice Hall.
Esta página fue creada el el 14 de Octubre de 2002.
Ultima actualización: 11 de Enero de 2008|.
Por favor dirija sus comentarios a Ivette
Carolina Martínez
Página mantenida por Ivette Martínez
Por favor dirigir comentarios al webmaster
| |