Información de la indexación
Documentos en la biblioteca con la clasificación 511.3
Refinar búsquedaElementos de lógica simbólica / Flores Rivas, José Luis
Título : Elementos de lógica simbólica Tipo de documento: texto impreso Autores: Flores Rivas, José Luis, Autor Editorial: San Salvador [El Salvador] : Universidad Centroamericana "José Simeón Cañas" Fecha de publicación: 1989 Número de páginas: 95 páginas ; 21 cm Nota general: Incluye índice Idioma : Español (spa) Clasificación: 4. Ciencias Palabras clave: Lógica simbólica y matemática. Clasificación: 511.3 Lógica matemática (Lógica simbólica) Nota de contenido: Introducción para estudiantes-- Lógica formal-- Lógica simbólica-- Las proposiciones-- Los conectivos más comunes-- Otros conectivos-- Proposiciones con tabas de verdad dadas-- Variantes del condicional-- Igualdad, tautología, contradicción y contingencia-- Álgebra de proposiciones-- Aplicaciones a los circuitos de cambio-- métodos de demostración-- Argumentos válidos-- Ejercicio de repaso. Link: http://biblio.uls.edu.sv/index.php?lvl=notice_display&id=2554 Elementos de lógica simbólica [texto impreso] / Flores Rivas, José Luis, Autor . - San Salvador (El Salvador) : Universidad Centroamericana "José Simeón Cañas", 1989 . - 95 páginas ; 21 cm.
Incluye índice
Idioma : Español (spa)
Clasificación: 4. Ciencias Palabras clave: Lógica simbólica y matemática. Clasificación: 511.3 Lógica matemática (Lógica simbólica) Nota de contenido: Introducción para estudiantes-- Lógica formal-- Lógica simbólica-- Las proposiciones-- Los conectivos más comunes-- Otros conectivos-- Proposiciones con tabas de verdad dadas-- Variantes del condicional-- Igualdad, tautología, contradicción y contingencia-- Álgebra de proposiciones-- Aplicaciones a los circuitos de cambio-- métodos de demostración-- Argumentos válidos-- Ejercicio de repaso. Link: http://biblio.uls.edu.sv/index.php?lvl=notice_display&id=2554 Reserva de material:
==> Clic aqui para reservar este documento.
Existencias:
Código de barras Clasificación Tipo de recurso Ubicación Sección Estado 10004145 511.3 F634e Libro ULS Colección General Disponible 10005567 511.3 F634e Libro ULS Colección General Disponible Estructura de matemáticas discretas para la computación / Kolman, Bernard
Título : Estructura de matemáticas discretas para la computación Tipo de documento: texto impreso Autores: Kolman, Bernard, Autor ; Robert C. Busby, Autor ; Arturo Herrera Patiño, Traductor Fecha de publicación: [1986], ©1986 Número de páginas: 441 páginas ; 24 cm Nota general: Incluye índice.
Título original: Discrete mathematical structures for computer scienceIdioma : Español (spa) Clasificación: 4. Ciencias Palabras clave: Lógica simbólica y matemática, Informática, Funciones. Clasificación: 511.3 Lógica matemática (Lógica simbólica) Nota de contenido: Conceptos fundamentales-- Relaciones y grafos dirigidos-- Funciones-- Orden, relaciones y estructuras-- Árboles y lenguajes-- Semigrupos y grupos-- Máquinas de estado finito y lenguajes-- Grupos y códigos. Link: http://biblio.uls.edu.sv/index.php?lvl=notice_display&id=2665 Estructura de matemáticas discretas para la computación [texto impreso] / Kolman, Bernard, Autor ; Robert C. Busby, Autor ; Arturo Herrera Patiño, Traductor . - [1986], ©1986 . - 441 páginas ; 24 cm.
Incluye índice.
Título original: Discrete mathematical structures for computer science
Idioma : Español (spa)
Clasificación: 4. Ciencias Palabras clave: Lógica simbólica y matemática, Informática, Funciones. Clasificación: 511.3 Lógica matemática (Lógica simbólica) Nota de contenido: Conceptos fundamentales-- Relaciones y grafos dirigidos-- Funciones-- Orden, relaciones y estructuras-- Árboles y lenguajes-- Semigrupos y grupos-- Máquinas de estado finito y lenguajes-- Grupos y códigos. Link: http://biblio.uls.edu.sv/index.php?lvl=notice_display&id=2665 Reserva de material:
==> Clic aqui para reservar este documento.
Existencias:
Código de barras Clasificación Tipo de recurso Ubicación Sección Estado 10004187 511.3 K81e Libro ULS Colección General Disponible Lógica simbólica / Copi, Irving M.
Título : Lógica simbólica Tipo de documento: texto impreso Autores: Copi, Irving M., Autor Editorial: C.E.C.S.A. Fecha de publicación: [1995?] Número de páginas: 407 páginas ; 22 cm Nota general: Incluye índice Idioma : Español (spa) Clasificación: 4. Ciencias Palabras clave: Lógica simbólica y matemática, Método deductivo. Clasificación: 511.3 Lógica matemática (Lógica simbólica) Nota de contenido: La lógica y el lenguaje-- Argumentos que contienen enunciados compuestos-- El método de deducción-- Funciones proposionales y cuantificadores-- La lógica de las relaciones-- Sistemas deductivos-- Un cálculo proposional-- Sistema y notaciones alternativas-- Un cálculo funcional de primer orden. Link: http://biblio.uls.edu.sv/index.php?lvl=notice_display&id=2556 Lógica simbólica [texto impreso] / Copi, Irving M., Autor . - No identificado : C.E.C.S.A., [1995?] . - 407 páginas ; 22 cm.
Incluye índice
Idioma : Español (spa)
Clasificación: 4. Ciencias Palabras clave: Lógica simbólica y matemática, Método deductivo. Clasificación: 511.3 Lógica matemática (Lógica simbólica) Nota de contenido: La lógica y el lenguaje-- Argumentos que contienen enunciados compuestos-- El método de deducción-- Funciones proposionales y cuantificadores-- La lógica de las relaciones-- Sistemas deductivos-- Un cálculo proposional-- Sistema y notaciones alternativas-- Un cálculo funcional de primer orden. Link: http://biblio.uls.edu.sv/index.php?lvl=notice_display&id=2556 Reserva de material:
==> Clic aqui para reservar este documento.
Existencias:
Código de barras Clasificación Tipo de recurso Ubicación Sección Estado 10004146 511.3 C783L Libro ULS Colección General Disponible Matemáticas 8 / El Salvador. Ministerio de Educación (MINED)
Título : Matemáticas 8 Tipo de documento: texto impreso Autores: El Salvador. Ministerio de Educación (MINED), Autor Editorial: San Salvador [El Salvador] : Editorial Santillana Fecha de publicación: 1996 Número de páginas: 144 páginas ; 27 cm ISBN/ISSN/DL: 978-970-642-179-1 Nota general: Incluye índice Idioma : Español (spa) Clasificación: 4. Ciencias Palabras clave: Lógica simbólica y matemática. Clasificación: 511.3 Lógica matemática (Lógica simbólica) Nota de contenido: Propiedades del complemento-- Primera ley distributiva-- Segunda ley distributiva-- Relaciones-- Dominio y rango-- Propiedad reflexiva-- Uso de la incógnita-- Términos semejantes-- Polinomio ordenado-- División de potencias. Link: http://biblio.uls.edu.sv/index.php?lvl=notice_display&id=2537 Matemáticas 8 [texto impreso] / El Salvador. Ministerio de Educación (MINED), Autor . - San Salvador (El Salvador) : Editorial Santillana, 1996 . - 144 páginas ; 27 cm.
ISBN : 978-970-642-179-1
Incluye índice
Idioma : Español (spa)
Clasificación: 4. Ciencias Palabras clave: Lógica simbólica y matemática. Clasificación: 511.3 Lógica matemática (Lógica simbólica) Nota de contenido: Propiedades del complemento-- Primera ley distributiva-- Segunda ley distributiva-- Relaciones-- Dominio y rango-- Propiedad reflexiva-- Uso de la incógnita-- Términos semejantes-- Polinomio ordenado-- División de potencias. Link: http://biblio.uls.edu.sv/index.php?lvl=notice_display&id=2537 Reserva de material:
==> Clic aqui para reservar este documento.
Existencias:
Código de barras Clasificación Tipo de recurso Ubicación Sección Estado 10004061 511.3 E49m Libro ULS Colección General Disponible Primer curso de lógica matemática / Suppes, Patrick
Título : Primer curso de lógica matemática Tipo de documento: texto impreso Autores: Suppes, Patrick, Autor ; Shirley Hill, Autor Editorial: Editorial Reverté Colombiana S.A. Fecha de publicación: [1976], © 1976 Número de páginas: 283 páginas ; 22 cm Nota general: Incluye índice.
Título original: First course in mathematical logicIdioma : Español (spa) Palabras clave: Lógica simbólica y matemática. Clasificación: 511.3 Lógica matemática (Lógica simbólica) Nota de contenido: Simbolización de proposiciones-- Inferencia lógica-- Certeza y validez-- Tablas de certeza-- Términos, predicados y cuantificadores universales-- Un sistema matemático simple: Axiomas de la adición. Link: http://biblio.uls.edu.sv/index.php?lvl=notice_display&id=2548 Primer curso de lógica matemática [texto impreso] / Suppes, Patrick, Autor ; Shirley Hill, Autor . - Colombia : Editorial Reverté Colombiana S.A., [1976], © 1976 . - 283 páginas ; 22 cm.
Incluye índice.
Título original: First course in mathematical logic
Idioma : Español (spa)
Palabras clave: Lógica simbólica y matemática. Clasificación: 511.3 Lógica matemática (Lógica simbólica) Nota de contenido: Simbolización de proposiciones-- Inferencia lógica-- Certeza y validez-- Tablas de certeza-- Términos, predicados y cuantificadores universales-- Un sistema matemático simple: Axiomas de la adición. Link: http://biblio.uls.edu.sv/index.php?lvl=notice_display&id=2548 Reserva de material:
==> Clic aqui para reservar este documento.
Existencias:
Código de barras Clasificación Tipo de recurso Ubicación Sección Estado 10003885 511.3 S959p Libro ULS Colección General Disponible