Escoge la categoría

Lógica matemática. Notas de Clase

  • Autor:

  • Editores:

  • Editorial:

  • Año de Edición:

  • Idioma:

  • Nº Páginas:

  • ISBN:

  • Formato:
    Comparte

    Por: $18.000,00ou X de


    Comprar
    97_logica_matematica_uden
    Lógica matemática. Notas de Clase
    Por: $18.000,00ou
    48x de $375,00
    sem juros
    ComprarVendedor Libreria de la U
    4029
    Uno de los problemas con los que se enfrenta generalmente el estudiante de ingeniería es la falta de libros que cubran, de manera total o mayoritaria, los temas estudiados en el curso de lógica matemática. Por tal motivo, estas notas de clases pretenden suplir sus necesidades, brindándole un material de lectura acorde con los asuntos y objetivos de esta materia. Se trata, así, de interrelacionar con materias como algoritmo, que el estudiante cursa o cursó previamente en la carrera, así como darle las bases para otras, tales como teoría de conjuntos y álgebra abstracta, que son muy importantes en la construcción de sus conocimientos y su perfil. También en consecuencia con lo antes planteado, los ejemplos y tareas de este libro asumen el lenguaje del ingeniero de sistemas. De otro lado, si bien es lo esencial, este es un curso tradicional de lógica, posee, además, un carácter dinámico y constructivo, en el cual el estudiante logra apropiarse de los conocimientos y las bases para el estudio de muchas teorías en general. Se afirma lo anterior porque este curso encuentra un enorme apoyo en el aula virtual, a partir de una experiencia que se puso en práctica el segundo semestre del 2002, obteniéndose buen resultado en lo concerniente a investigación y elaboración de trabajos individuales y en grupos. Por tal motivo, estas notas de clases pretenden suplir sus necesidades, brindándole un material de lectura acorde con los asuntos y objetivos de esta materia. Se trata, así, de interrelacionar con materias como algoritmo, que el estudiante cursa o cursó previamente en la carrera, así como darle las bases para otras, tales como teoría de conjuntos y álgebra abstracta, que son muy importantes en la construcción de sus conocimientos y su perfil. También en consecuencia con lo antes planteado, los ejemplos y tareas de este libro asumen el lenguaje del ingeniero de sistemas. De otro lado, si bien es lo esencial, este es un curso tradicional de lógica, posee, además, un carácter dinámico y constructivo, en el cual el estudiante logra apropiarse de los conocimientos y las bases para el estudio de muchas teorías en general. Se afirma lo anterior porque este curso encuentra un enorme apoyo en el aula virtual, a partir de una experiencia que se puso en práctica el segundo semestre del 2002, obteniéndose buen resultado en lo concerniente a investigación y elaboración de trabajos individuales y en grupos. También en consecuencia con lo antes planteado, los ejemplos y tareas de este libro asumen el lenguaje del ingeniero de sistemas. De otro lado, si bien es lo esencial, este es un curso tradicional de lógica, posee, además, un carácter dinámico y constructivo, en el cual el estudiante logra apropiarse de los conocimientos y las bases para el estudio de muchas teorías en general. Se afirma lo anterior porque este curso encuentra un enorme apoyo en el aula virtual, a partir de una experiencia que se puso en práctica el segundo semestre del 2002, obteniéndose buen resultado en lo concerniente a investigación y elaboración de trabajos individuales y en grupos. De otro lado, si bien es lo esencial, este es un curso tradicional de lógica, posee, además, un carácter dinámico y constructivo, en el cual el estudiante logra apropiarse de los conocimientos y las bases para el estudio de muchas teorías en general. Se afirma lo anterior porque este curso encuentra un enorme apoyo en el aula virtual, a partir de una experiencia que se puso en práctica el segundo semestre del 2002, obteniéndose buen resultado en lo concerniente a investigación y elaboración de trabajos individuales y en grupos.

    Atributos LU

    TítuloLógica matemática. Notas de Clase
    AutorVirgilio Obeso Fernández
    URL Externa (uFilp o Target Definido)/logica_matematica_uflip_uninorte/
    Tamaño (Físico)21 x 27.7 cm
    Peso (Físico)270
    Núm. Páginas95
    Año de Edición2007
    ISXN9789588252254
    TipoLibro
    Tabla de ContenidoPrólogo

    1. Preliminares

    1.1Proposiciones

    2. Fórmulas bien formadas

    2.1 Introducción
    2.2 Árboles, definiciones recursivas
    2.3 Supresión de paréntesis
    2.4 Notación prefija, entrefija y posfija
    2.5 Decidibilidad
    2.6 Convertir una notación entrefija a prefija
    2.7 Equivalencias lógicas y su utilización
    2.8 Conjuntos completos
    2.9 Formas normales

    3. Cálculo proposicional

    3.1 Teorema de la Deducción
    3.2 Validez
    3.3 Completitud
    3.4 Consistencia

    4. Cálculo de predicados

    4.1 Introducción
    4.2 Predicados, relaciones y cuantificadores
    4.3 Representación simbólica del lenguaje cotidiano
    4.4 Variables ligadas y libres
    4.5 Teoría general de la inferencia
    4.6 Interpretación y validez

    Bibliografía

    Títulos Similares