Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 178 vistas

    Lógica Computacional

    Cargado por

    Carlos A. Zednànreh Guzmán
    Esta asignatura trata sobre lógica computacional. Los objetivos son que los estudiantes comprendan conceptos fundamentales de lógica simbólica, inferencia y de primer orden para implementar sistemas computacionales. La asignatura cubre temas como simbolización de proposiciones, inferencia lógica, lógica de primer orden y un sistema matemático simple de axiomas de adición.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Lógica Computacional

    Cargado por

    Carlos A. Zednànreh Guzmán
    178 vistas4 páginas
    Esta asignatura trata sobre lógica computacional. Los objetivos son que los estudiantes comprendan conceptos fundamentales de lógica simbólica, inferencia y de primer orden para implementar sistemas computacionales. La asignatura cubre temas como simbolización de proposiciones, inferencia lógica, lógica de primer orden y un sistema matemático simple de axiomas de adición.

    Descripción original:

    Curso lógica computacional

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Esta asignatura trata sobre lógica computacional. Los objetivos son que los estudiantes comprendan conceptos fundamentales de lógica simbólica, inferencia y de primer orden para implementar sistemas computacionales. La asignatura cubre temas como simbolización de proposiciones, inferencia lógica, lógica de primer orden y un sistema matemático simple de axiomas de adición.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    178 vistas4 páginas

    Lógica Computacional

    Cargado por

    Carlos A. Zednànreh Guzmán
    Esta asignatura trata sobre lógica computacional. Los objetivos son que los estudiantes comprendan conceptos fundamentales de lógica simbólica, inferencia y de primer orden para implementar sistemas computacionales. La asignatura cubre temas como simbolización de proposiciones, inferencia lógica, lógica de primer orden y un sistema matemático simple de axiomas de adición.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 4

    NOMBRE DE LA ASIGNATURA O UNIDAD DE APRENDIZAJE

    LGICA COMPUTACIONAL
    CICLO

    CLAVE DE LA ASIGNATURA

    CUARTO CUATRIMESTRE

    IA419

    OBJETIVO(S) GENERAL(ES) DE LA ASIGNATURA


    Que el alumno sea capaz de comprender conceptos fundamentales de la lgica
    simblica, inferencia y de primer orden, para demostrar sus habilidades y aptitudes, ya
    que la lgica juega un papel muy importante en la implementacin de los sistemas
    computacionales.

    TEMAS Y SUBTEMAS
    UNIDAD I: SIMBOLIZACIN DE PROPOSICIONES
    1.1
    1.2
    1.3
    1.4
    1.5
    1.6
    1.7

    Proposiciones
    Simbolizacin de proposiciones
    Reglas del clculo proposicional y formalizacin
    Formas normales de clculo de predicados
    Formalizacin del lenguaje natural
    Agrupamiento y parntesis.
    Eliminacin de parntesis

    UNIDAD II: INFERENCIA LOGICA


    2.1
    2.2
    2.3
    2.4
    2.5
    2.6

    Reglas de inferencia y demostracin


    Modus ponendo ponens
    Modus tollendo tollens
    Adjuncin y simplificacin
    Disyunciones con premisas
    Modus tollendo ponens

    UNIDAD III: LOGICA DE PRIMER ORDEN


    3.1
    3.2
    3.3
    3.4
    3.5
    3.6
    3.7

    Alfabeto del lenguaje formal de la lgica de predicados


    Nombres comunes de predicados
    Representacin de las expresiones bien construidas
    Interpretaciones en lgica de primer orden
    Tablas de Certeza
    Formulas automticas y variables
    Equivalencia de formulas
    Pgina 1 de 4

    UNIDAD IV: ESPECIFICACIN UNIVERSAL Y LEYES DE IDENTIDAD


    4.1
    4.2
    4.3
    4.4
    4.5
    4.6

    Un cuantificador
    Dos o ms cuantificadores
    Lgica de la identidad
    El sentido de la identidad
    Axiomas de la identidad
    Certezas lgicas

    UNIDAD V: UN SISTEMA MATEMATICO SIMPLE: AXIOMAS DE LA ADICIN


    5.1
    5.2
    5.3
    5.4
    5.5
    5.6

    Axioma de la propiedad conmutativa


    Axioma de la propiedad asociativa
    Axioma del cero
    Axioma de los nmeros negativos
    Teoremas con variables
    Teoremas con cuantificadores universales

    ACTIVIDADES DE APRENDIZAJE CON DOCENTE E INDEPENDIENTES


    CON DOCENTE

    Que el alumno tenga la capacidad de generar


    nuevas ideas a partir de los conceptos
    tericos estudiados.
    Participar de forma proactiva y decidida.
    Resolver problemas de lgica y ponerlos en
    prctica en un sistema computacional.

    INDEPENDIENTES

    Investigar el tema antes de llegar a


    la clase.
    Investigar algunas herramientas
    informticas donde se utilice la
    lgica.
    Resolver ejercicios propuestos por
    el maestro.

    Pgina 2 de 4

    CRITERIOS Y PROCEDIMIENTOS DE EVALUACION


    ASPECTOS
    PORCENTAJE
    CRITERIOS

    INSTRUMENTOS

    Participacin
    individual

    20%

    Es el comentario que emite el


    alumno, siempre y cuando est
    basado en una idea clara de
    los conocimientos adquiridos.

    Aula

    Actividades de
    investigacin.

    10%

    Estas
    actividades
    de
    investigacin le permiten al
    alumno
    reforzar
    el
    conocimiento adquirido.

    Extra Aula

    Resolucin de
    ejercicios.

    30%

    Esto le permitir al alumno


    tener mayor dominio en los
    ejercicios matemticos.

    Aula - Extra Aula

    Examen terico.

    40%

    En el examen se pondrn de
    manifiesto, conocimientos y
    habilidades adquiridos, que
    sern evaluados por el asesor
    para determinar el nivel de
    aprendizaje del alumno e
    identificar las reas en las que
    hay que reforzarlo.

    Aula

    CRITERIOS Y PROCEDIMEINTOS DE ACREDITACION


    Para la acreditacin de esta asignatura se necesita como mnimo 85 % de asistencias a
    las sesiones presenciales, y con el 60 % de los trabajos e indicadores requeridos en clase
    y extraclase.

    Pgina 3 de 4

    ACERVO BIBLIOGRFICO
    TIPO

    TITULO

    AUTOR

    1
    2

    LIBRO

    LIBRO

    Lgica para principiantes

    LIBRO

    Lgica formal para informaticos

    Manzano M,
    Huertas A.
    Arenas L.

    LIBRO

    Introduccin a la lgica formal

    Deao, A.

    Introduccin a la lgica matemtica


    LIBRO Computacin, metodologa, lgica
    computacional y programacin

    P.SUPPES, S.HILL

    Rosario Bores,
    Romn Rosales

    EDITORIAL

    AO

    Reverte
    Mc Graw Hill

    2004
    1997

    Alianza Editorial

    2004

    Ediciones Daz de
    Santos
    Alianza Editorial

    1996

    Pgina 4 de 4

    1994

    También podría gustarte