Información de la indexación
511.3 : Lógica matemática (Lógica simbólica) 511.302 Lógica matemática (Lógica simbólica). Manuales 511.32 Conjuntos 511.33 Relaciones, retículas, estructuras algebraicas ordenadas 511.8 Modelos matemáticos (simulación matemática) |
Documentos en la biblioteca con la clasificación 511.3 (4)
Hacer una sugerencia Refinar búsquedaEjercicios resueltos sobre fundamentos de los ordenadores / Alberto Gil Solla / Santiago de Compostela : Andavira Editora (2009)
Título : Ejercicios resueltos sobre fundamentos de los ordenadores Tipo de documento: texto impreso Autores: Alberto Gil Solla, Autor Mención de edición: Primera edición Editorial: Santiago de Compostela : Andavira Editora Fecha de publicación: 2009 Número de páginas: 190 páginas Il.: ilustraciones, tablas Dimensiones: 24 cm ISBN/ISSN/DL: 978-84-8408-533-1 Idioma : Español (spa) Clasificación: 511.3 Lógica matemática (Lógica simbólica) Nota de contenido: Cambios de base -- Convenios de representación -- Operaciones aritméticas -- Desplazamientos -- Operaciones lógicas -- Instrucciones y direccionamientos -- Simplez -- Simplez+iª -- Algorítmez. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=85307 Ejercicios resueltos sobre fundamentos de los ordenadores [texto impreso] / Alberto Gil Solla, Autor . - Primera edición . - Santiago de Compostela : Andavira Editora, 2009 . - 190 páginas : ilustraciones, tablas ; 24 cm.
ISBN : 978-84-8408-533-1
Idioma : Español (spa)
Clasificación: 511.3 Lógica matemática (Lógica simbólica) Nota de contenido: Cambios de base -- Convenios de representación -- Operaciones aritméticas -- Desplazamientos -- Operaciones lógicas -- Instrucciones y direccionamientos -- Simplez -- Simplez+iª -- Algorítmez. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=85307
Ejercicios resueltos sobre fundamentos de los ordenadores
Gil Solla, Alberto - Santiago de Compostela : Andavira Editora - 2009
Cambios de base -- Convenios de representación -- Operaciones aritméticas -- Desplazamientos -- Operaciones lógicas -- Instrucciones y direccionamientos -- Simplez -- Simplez+iª -- Algorítmez.
Reserva
Reservar este documento
Ejemplares (2)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 16-2385-01 511 G53 Libros Bib. Esp. Ciencias Educación Estanteria (Libros) Disponible 23-0901-01 511 G53 Libros Bib. Esp. Ing Sistemas Estanteria (Libros) Disponible
Título : Introducción a la lógica matemática Tipo de documento: texto impreso Autores: Patrick Suppes, Autor ; Shirley Hill, Autor ; Enrique Lines Escardo, Traductor Mención de edición: Primera edición Editorial: Barcelona : Reverté Fecha de publicación: 2010 Número de páginas: ix, 278, [3] páginas Il.: tablas Dimensiones: 22 cm ISBN/ISSN/DL: 978-84-291-5150-3 Nota general: Incluye índice alfabético. Título original en inglés: First course in mathematical logic Idioma : Español (spa) Idioma original : Inglés (eng) 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 -- Especificación universal y leyes de identidad -- Un sistema matemático simple axiomas de la adición -- Generalización universal. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=75932 Introducción a la lógica matemática [texto impreso] / Patrick Suppes, Autor ; Shirley Hill, Autor ; Enrique Lines Escardo, Traductor . - Primera edición . - Barcelona : Reverté, 2010 . - ix, 278, [3] páginas : tablas ; 22 cm.
ISBN : 978-84-291-5150-3
Incluye índice alfabético. Título original en inglés: First course in mathematical logic
Idioma : Español (spa) Idioma original : Inglés (eng)
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 -- Especificación universal y leyes de identidad -- Un sistema matemático simple axiomas de la adición -- Generalización universal. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=75932
Introducción a la lógica matemática
Suppes, PatrickHill, Shirley - - Barcelona : Reverté - 2010
Incluye índice alfabético. Título original en inglés: First course in mathematical logic
Simbolización de proposiciones -- Inferencia lógica -- Certeza y validez -- Tablas de certeza -- Términos, predicados y cuantificadores universales -- Especificación universal y leyes de identidad -- Un sistema matemático simple axiomas de la adición -- Generalización universal.
Reserva
Reservar este documento
Ejemplares (14)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 16-0587-01 511.3 S94 2012 Libros Bib. Esp. Ciencias Educación Estanteria (Libros) Disponible 34-0164-01 511.3 S94 2010 Libros Bib. Esp. Ing Civil Estanteria (Libros) Disponible 34-0374-02 511.3 S94 2010 Libros Bib. Esp. Ing Civil Estanteria (Libros) Disponible 22-2559-01 511.3 S94 2010 Libros Bib. Esp. Ing Estadistica e Informática Estanteria (Libros) Disponible 22-2746-02 511.3 S94 2010 Libros Bib. Esp. Ing Estadistica e Informática Estanteria (Libros) Disponible 23-1913-01 511.3 S94 2010 Libros Bib. Esp. Ing Sistemas Estanteria (Libros) Disponible 27919-74409-01 511.3 S94 2010 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible 27919-74413-02 511.3 S94 2010 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible 27919-74412-03 511.3 S94 2010 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible 27919-74411-04 511.3 S94 2010 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible 27919-74410-05 511.3 S94 2010 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible 27919-90357-06 511.3 S94 2010 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible 27919-90358-07 511.3 S94 2010 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible 27919-90359-08 511.3 S94 2010 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible
Título : Lógica y matemática : para ciencias de la computación Tipo de documento: texto impreso Autores: Barboza Gutiérrez, Fidel, Autor Mención de edición: Primera edición Editorial: s.l. : Universidad Piloto de Colombia Fecha de publicación: 2012 Número de páginas: xiii, 470 páginas Il.: diagramas, tablas Dimensiones: 23 cm ISBN/ISSN/DL: 978-958-8537-35-1 Nota general: Incluye ejemplos, ejercicios Idioma : Español (spa) Clasificación: 511.3 Lógica matemática (Lógica simbólica) Nota de contenido: Elementos de teoría de conjuntos -- Relacione y funciones -- Calculo de proposiciones -- Inferencia lógica -- Calculo de predicados -- Algebra de Boole -- Matemáticas y algoritmos. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=96000 Lógica y matemática : para ciencias de la computación [texto impreso] / Barboza Gutiérrez, Fidel, Autor . - Primera edición . - s.l. : Universidad Piloto de Colombia, 2012 . - xiii, 470 páginas : diagramas, tablas ; 23 cm.
ISBN : 978-958-8537-35-1
Incluye ejemplos, ejercicios
Idioma : Español (spa)
Clasificación: 511.3 Lógica matemática (Lógica simbólica) Nota de contenido: Elementos de teoría de conjuntos -- Relacione y funciones -- Calculo de proposiciones -- Inferencia lógica -- Calculo de predicados -- Algebra de Boole -- Matemáticas y algoritmos. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=96000
Lógica y matemática
Barboza Gutiérrez, Fidel - s.l. : Universidad Piloto de Colombia - 2012
Incluye ejemplos, ejercicios
Elementos de teoría de conjuntos -- Relacione y funciones -- Calculo de proposiciones -- Inferencia lógica -- Calculo de predicados -- Algebra de Boole -- Matemáticas y algoritmos.
Reserva
Reservar este documento
Ejemplares (1)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 16-1641-01 511.3 B24 Libros Bib. Esp. Ciencias Educación Estanteria (Libros) Disponible
Título : Razonamiento matemático Tipo de documento: texto impreso Autores: Javier Portuguez Pérez, Autor ; Jimmy Paredes Barbarón, Autor Mención de edición: Primera edición Editorial: Lima : Lumbreras Editores Fecha de publicación: 2020 Colección: Compendios académicos Número de páginas: 317 páginas Il.: diagramas, tablas Dimensiones: 21 cm ISBN/ISSN/DL: 978-612-307-969-7 Nota general: Incluye referencias bibliográficas Idioma : Español (spa) Clasificación: [Agneaux] Razonamiento matemático - Problemas y ejercicios Clasificación: 511.3 Lógica matemática (Lógica simbólica) Nota de contenido: Elementos recreativos -- Situaciones lógicas -- Ordenamiento de información -- Lazos familiares, cortes y seccionamientos -- Distribuciones numéricas -- relación de tiempos -- Deducción simple y compuesta, verdades y mentiras -- Lógica proposicional -- Lógica inferencial -- Razonamiento inductivo -- Razonamiento deductivo -- Planteo de ecuaciones -- Diofánticas -- Cronometría -- Rutas y trayectorias -- Trazos de figuras -- frecuencia de sucesos -- Conteo de figuras y razonamiento abstracto -- Problemas de movimiento -- Problemas de forma -- Rumbos y direcciones - simetrías y reflexiones -- Problemas sobre certezas -- Máximos y mínimos -- Interpretación de gráficos y tablas. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=115198 Razonamiento matemático [texto impreso] / Javier Portuguez Pérez, Autor ; Jimmy Paredes Barbarón, Autor . - Primera edición . - Lima : Lumbreras Editores, 2020 . - 317 páginas : diagramas, tablas ; 21 cm. - (Compendios académicos) .
ISBN : 978-612-307-969-7
Incluye referencias bibliográficas
Idioma : Español (spa)
Clasificación: [Agneaux] Razonamiento matemático - Problemas y ejercicios Clasificación: 511.3 Lógica matemática (Lógica simbólica) Nota de contenido: Elementos recreativos -- Situaciones lógicas -- Ordenamiento de información -- Lazos familiares, cortes y seccionamientos -- Distribuciones numéricas -- relación de tiempos -- Deducción simple y compuesta, verdades y mentiras -- Lógica proposicional -- Lógica inferencial -- Razonamiento inductivo -- Razonamiento deductivo -- Planteo de ecuaciones -- Diofánticas -- Cronometría -- Rutas y trayectorias -- Trazos de figuras -- frecuencia de sucesos -- Conteo de figuras y razonamiento abstracto -- Problemas de movimiento -- Problemas de forma -- Rumbos y direcciones - simetrías y reflexiones -- Problemas sobre certezas -- Máximos y mínimos -- Interpretación de gráficos y tablas. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=115198
Razonamiento matemático
Portuguez Pérez, JavierParedes Barbarón, Jimmy - - Lima : Lumbreras Editores - 2020
Incluye referencias bibliográficas
Elementos recreativos -- Situaciones lógicas -- Ordenamiento de información -- Lazos familiares, cortes y seccionamientos -- Distribuciones numéricas -- relación de tiempos -- Deducción simple y compuesta, verdades y mentiras -- Lógica proposicional -- Lógica inferencial -- Razonamiento inductivo -- Razonamiento deductivo -- Planteo de ecuaciones -- Diofánticas -- Cronometría -- Rutas y trayectorias -- Trazos de figuras -- frecuencia de sucesos -- Conteo de figuras y razonamiento abstracto -- Problemas de movimiento -- Problemas de forma -- Rumbos y direcciones - simetrías y reflexiones -- Problemas sobre certezas -- Máximos y mínimos -- Interpretación de gráficos y tablas.
Reserva
Reservar este documento
Ejemplares (1)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 005-11307-01 511.3076 P78 Libros Bib. Esp. Ing Económica Estanteria (Libros) Disponible
