|
|
Bienvenido a la página de Lógica. Aquí se publicará
toda la información del curso.
Coordenadas de los profesores
Noticias
Notas Parcial II prof. I.C. Martínez
Notas Parcial II 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
| |