Lógica matemática / Galindo Patino, Nubia Janeth

Público ISBD Título : Lógica matemática Tipo de documento: texto impreso Autores: Galindo Patino, Nubia Janeth Editorial: Bogotá : Universidad Nacional Abierta y a Distancia Fecha de publicación: 2000 Número de páginas: 160 p Dimensiones: Rústica ISBN/ISSN/DL: 978-958-651-290-9 Nota general: Incluye Bibliografía e Índice Idioma : Español (spa) Palabras clave: ALGEBRA BOOLEANA,LOGICA MATEMATICA,PROPOSICIONES Clasificación: 511.3 - Ciencias naturales y matemáticas - Principios generales - Lógica matemática (Lógica simbólica) Nota de contenido: Capítulo 1. Introducción a la lógica. // Capítulo 2. Simbolización de proposciones. // Capítulo 3. Valores de verdad y validez. // Capítulo 4. Leyes de la lógica. // Capítulo 5. Cuantificadores y círculos de Euler. // Capítulo 6. Análisis proposicional. // Capítulo 7. Circuitos lógicos. // Capítulo 8. Algebre booleana. Lógica matemática [texto impreso] / Galindo Patino, Nubia Janeth . - Bogotá : Universidad Nacional Abierta y a Distancia, 2000 . - 160 p ; Rústica. ISBN : 978-958-651-290-9 Incluye Bibliografía e Índice Idioma : Español (spa) Palabras clave: ALGEBRA BOOLEANA,LOGICA MATEMATICA,PROPOSICIONES Clasificación: 511.3 - Ciencias naturales y matemáticas - Principios generales - Lógica matemática (Lógica simbólica) Nota de contenido: Capítulo 1. Introducción a la lógica. // Capítulo 2. Simbolización de proposciones. // Capítulo 3. Valores de verdad y validez. // Capítulo 4. Leyes de la lógica. // Capítulo 5. Cuantificadores y círculos de Euler. // Capítulo 6. Análisis proposicional. // Capítulo 7. Circuitos lógicos. // Capítulo 8. Algebre booleana.

Reserva

Reservar este documento

Ejemplares (1)

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
00002925	511.3 /G158	Libro	Biblioteca Principal -Medellín	Colección General	Disponible

Lógica matemática para informáticos / Teresa Hortalá González

Público ISBD Título : Lógica matemática para informáticos : ejercicios resueltos Tipo de documento: texto impreso Autores: Teresa Hortalá González ; Narciso Martí Oliet, Autor ; Miguel Palomino Tarjuelo, Autor ; Mario Rodríguez Artalejo, Autor ; Del Vado Virseda, Rafael, Autor Editorial: Madrid : Pearson Educación Fecha de publicación: 2008 Número de páginas: 390 p Il.: il. Dimensiones: Rústica ISBN/ISSN/DL: 978-84-8322-454-0 Nota general: Incluye Bibliografía e Índice Idioma : Español (spa) Palabras clave: CÁLCULO  INFORMATICA  LOGICA MATEMATICA  LOGICA PROGRAMADA  LOGICA PROPORCIONAL  LOGICA-PROBLEMAS, EJERCICIOS ETC.  RAZONAMIENTO Clasificación: 511.3 - Ciencias naturales y matemáticas - Principios generales - Lógica matemática (Lógica simbólica) Resumen: El objetivo de este libro es dar apoyo a la docencia de elementos básicos de la lógica matemática que normalmente se incluyen en los planes de estudio típicos de titulaciones en informática. Nota de contenido: Parte I. Lógica proposicional. // Capítulo 1. Sintaxis semántica. // Capítulo 2. Formalización. Técnica de razonamiento. // Capítulo 3. Equivalencia lógica. Leyes Booleanas. // Capítulo 4. Cálculo lógico con trableaux. // Parte II. Lógica de primer orden. // Capítulo 5. Sintaxis semántica. // Capítulo 6. Formalización. Técnicas de razonamiento. // Capítulo 7. Equivalencia lógica. Leyes de los cuantificadores. // Capítulo 8. Cálculo lógico con tableaux. // Capítulo 9. Cálculo lógico con resoluciones. // Capítulo 10. Ejercicios propuestos. Lógica matemática para informáticos : ejercicios resueltos [texto impreso] / Teresa Hortalá González ; Narciso Martí Oliet, Autor ; Miguel Palomino Tarjuelo, Autor ; Mario Rodríguez Artalejo, Autor ; Del Vado Virseda, Rafael, Autor . - Madrid : Pearson Educación, 2008 . - 390 p : il. ; Rústica. ISBN : 978-84-8322-454-0 Incluye Bibliografía e Índice Idioma : Español (spa) Palabras clave: CÁLCULO  INFORMATICA  LOGICA MATEMATICA  LOGICA PROGRAMADA  LOGICA PROPORCIONAL  LOGICA-PROBLEMAS, EJERCICIOS ETC.  RAZONAMIENTO Clasificación: 511.3 - Ciencias naturales y matemáticas - Principios generales - Lógica matemática (Lógica simbólica) Resumen: El objetivo de este libro es dar apoyo a la docencia de elementos básicos de la lógica matemática que normalmente se incluyen en los planes de estudio típicos de titulaciones en informática. Nota de contenido: Parte I. Lógica proposicional. // Capítulo 1. Sintaxis semántica. // Capítulo 2. Formalización. Técnica de razonamiento. // Capítulo 3. Equivalencia lógica. Leyes Booleanas. // Capítulo 4. Cálculo lógico con trableaux. // Parte II. Lógica de primer orden. // Capítulo 5. Sintaxis semántica. // Capítulo 6. Formalización. Técnicas de razonamiento. // Capítulo 7. Equivalencia lógica. Leyes de los cuantificadores. // Capítulo 8. Cálculo lógico con tableaux. // Capítulo 9. Cálculo lógico con resoluciones. // Capítulo 10. Ejercicios propuestos.

Reserva

Reservar este documento

Ejemplares (2)

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
00002919	511.3 / L832/Ej. 1	Libro	Biblioteca Principal -Medellín	Colección General	Disponible
00002920	511.3 /L832/Ej. 2	Libro	Biblioteca Principal -Medellín	Colección General	Disponible

Matemáticas discretas / Johnsonbaugh, Richard

Público ISBD Título : Matemáticas discretas Tipo de documento: texto impreso Autores: Johnsonbaugh, Richard Editorial: México : Pearson Educación Fecha de publicación: 2005 Número de páginas: 672 p Il.: il. Dimensiones: Rústica ISBN/ISSN/DL: 978-970-26-0637-6 Nota general: Incluye Índice Idioma : Español (spa) Palabras clave: ALGEBRA BOOLEANA  ALGORITMOS  LOGICA MATEMATICA  LOGICA SIMBOLICA  MATEMATICAS DISCRETAS  MATEMATICAS EN COMPUTADORES  NUMEROS  REDES(MATEMATICAS)  TEORIA DE GRAFICOS  TEORIA DE NUMEROS Clasificación: 511.3 - Ciencias naturales y matemáticas - Principios generales - Lógica matemática (Lógica simbólica) Nota de contenido: 1. Lógica y demostración. // 2. El lenguaje de las matemáticas. // 3. Relaciones. // 4. Algoritmos. // 5. Introducción a la teoría de números. // 6. Métodos de conteo y el principio del palomar. // 7. Relaciones de recurrencia. // 8. Teoría de gráficas. // 9. Árboles. // 10. Modelos de redes. // 11. Álgebra booleanas y circuitos combinatorios. // 12. Autómatas, gramáticas y lenguaje. // 13. Geometría para cálculo. Matemáticas discretas [texto impreso] / Johnsonbaugh, Richard . - México : Pearson Educación, 2005 . - 672 p : il. ; Rústica. ISBN : 978-970-26-0637-6 Incluye Índice Idioma : Español (spa) Palabras clave: ALGEBRA BOOLEANA  ALGORITMOS  LOGICA MATEMATICA  LOGICA SIMBOLICA  MATEMATICAS DISCRETAS  MATEMATICAS EN COMPUTADORES  NUMEROS  REDES(MATEMATICAS)  TEORIA DE GRAFICOS  TEORIA DE NUMEROS Clasificación: 511.3 - Ciencias naturales y matemáticas - Principios generales - Lógica matemática (Lógica simbólica) Nota de contenido: 1. Lógica y demostración. // 2. El lenguaje de las matemáticas. // 3. Relaciones. // 4. Algoritmos. // 5. Introducción a la teoría de números. // 6. Métodos de conteo y el principio del palomar. // 7. Relaciones de recurrencia. // 8. Teoría de gráficas. // 9. Árboles. // 10. Modelos de redes. // 11. Álgebra booleanas y circuitos combinatorios. // 12. Autómatas, gramáticas y lenguaje. // 13. Geometría para cálculo.

Reserva

Reservar este documento

Ejemplares (2)

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
00002913	511.3 / J66/Ej. 1	Libro	Biblioteca Principal -Medellín	Colección General	Disponible
00002914	511.3 / J66/Ej. 2	Libro	Biblioteca Principal -Medellín	Colección General	Disponible

Primer curso de lógica matemática / Patrick Suppes

Público ISBD Título : Primer curso de lógica matemática Tipo de documento: texto impreso Autores: Patrick Suppes, Autor ; Hill, Shirley, Autor Editorial: Barcelona : Editorial Reverté Fecha de publicación: 2007 Número de páginas: 278 p Il.: il. Dimensiones: Rústica ISBN/ISSN/DL: 978-84-291-5150-3 Nota general: Título original First course in mathematical logic Tiene como título en la pasta Introducción a la lógica matemática Incluye índice alfabético Idioma : Español (spa) Palabras clave: LÓGICA MATEMÁTICA, LÓGICA SIMBÓLICA Y MATEMÁTICA Clasificación: 511.3 - Ciencias naturales y matemáticas - Principios generales - Lógica matemática (Lógica simbólica) Nota de contenido: 1. Simbolización de proposiciones. // 2. Inferencia lógica. // 3. Certeza y validez. // 4. Tabla de certeza. // 5. Términos, predicados y cuantificadores universales. // 6. Especificación universal y leyes de identidad. // 7. Un sistema matemático simple: axiomas de la adición. // 8. Generalización universal. Primer curso de lógica matemática [texto impreso] / Patrick Suppes, Autor ; Hill, Shirley, Autor . - Barcelona : Editorial Reverté, 2007 . - 278 p : il. ; Rústica. ISBN : 978-84-291-5150-3 Título original First course in mathematical logic Tiene como título en la pasta Introducción a la lógica matemática Incluye índice alfabético Idioma : Español (spa) Palabras clave: LÓGICA MATEMÁTICA, LÓGICA SIMBÓLICA Y MATEMÁTICA Clasificación: 511.3 - Ciencias naturales y matemáticas - Principios generales - Lógica matemática (Lógica simbólica) Nota de contenido: 1. Simbolización de proposiciones. // 2. Inferencia lógica. // 3. Certeza y validez. // 4. Tabla de certeza. // 5. Términos, predicados y cuantificadores universales. // 6. Especificación universal y leyes de identidad. // 7. Un sistema matemático simple: axiomas de la adición. // 8. Generalización universal.

Reserva

Reservar este documento

Ejemplares (1)

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
00002956	511.3/S959	Libro	Biblioteca Principal -Medellín	Colección General	Disponible

---

1 (1 - 4 / 4)