Universidad Nacional del Altiplano — Puno

Sistema de Bibliotecas

“Centro de Recursos para el Aprendizaje y la Investigación”

Catálogo
en Línea

Inicio Biblioteca Virtual Repositorio Institucional Directorio SB Libros UNAP Ayuda Sugerencias

Bienvenidos

Universidad Nacional del Altiplano

Sistema de Bibliotecas al servicio de la comunidad universitaria

Biblioteca Central

Centro de Recursos para el Aprendizaje

Infraestructura moderna al servicio de la investigación

Sala de Lectura

Espacios para el Estudio e Investigación

Ambientes cómodos y equipados para nuestros estudiantes

Puno - Perú

Lago Titicaca, Patrimonio Cultural

La universidad más importante del altiplano peruano

Recursos Digitales

Biblioteca Virtual y Repositorio Institucional

Accede a tesis, libros electrónicos y bases de datos académicas

Biblioteca Central

Fachada de la Biblioteca Central UNAP

Más de 120,000 títulos disponibles en nuestras colecciones

Acervo Bibliográfico

Colecciones Especializadas

Libros, revistas y material de consulta para todas las áreas del conocimiento

Campus UNAP

Edificio Central Universitario

Formando profesionales desde 1856

Arquitectura

Biblioteca Central UNAP

Un espacio emblemático de nuestra universidad

Nuestro Equipo

Personal del Sistema de Bibliotecas

Profesionales comprometidos con el servicio a la comunidad

Cultura Viva

Islas Flotantes de los Uros

Preservando la riqueza cultural del altiplano

New search

Información del autor

Autor Jaime Alejandro Bhórquez Villamizar

Documentos disponibles escritos por este autor (1)

Hacer una sugerencia Refinar búsqueda

Lógica y Matemáticas Discretas en la Informática / Jaime Alejandro Bhórquez Villamizar / Bogotá : Escuela Colombiana de Ingeniería (2012)

Público

ISBD

Vista personalizada

Título : Lógica y Matemáticas Discretas en la Informática : El Estilo Calculatorio
Tipo de documento: texto impreso
Autores: Jaime Alejandro Bhórquez Villamizar, Autor
Mención de edición: 1a ed.
Editorial: Bogotá : Escuela Colombiana de Ingeniería
Fecha de publicación: 2012
Colección: Informática
Número de páginas: x.; 440 p.
Il.: gráfs.; tbls.
Dimensiones: 24 cm.
ISBN/ISSN/DL: 978-958-8726-04-5
Nota general: Incluye Notas bibliográficas.
Idioma : Español (spa)
Clasificación: [Agneaux] ASPECTOS SOCIALES - PERÚ

Clasificación: 624.183402 Hormigón. Manuales
Nota de contenido: Introducción -- Sintaxis -- Sistemas formales -- Lógica proposicional -- Semántica de la lógica proposicional -- Lógica de predicados y operatorias -- Cálculo de predicados -- La lógica como lenguaje para modelar -- Operatorias -- Teoría de sucesiones -- Una teoría de la programación -- Conjuntos, relaciones y funciones -- Conceptos de relación y función -- Cardinalidad e inducción sobre conjuntos -- Aritmética aditiva -- Aritmética multiplicativa -- Análisis combinatorio -- Relaciones matemáticas -- Inducción estructural.
Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=93109

Lógica y Matemáticas Discretas en la Informática : El Estilo Calculatorio [texto impreso] / Jaime Alejandro Bhórquez Villamizar, Autor . - 1a ed. . - Bogotá : Escuela Colombiana de Ingeniería, 2012 . - x.; 440 p. : gráfs.; tbls. ; 24 cm.. - (Informática) .
ISBN : 978-958-8726-04-5
Incluye Notas bibliográficas.
Idioma : Español (spa)
Clasificación: [Agneaux] ASPECTOS SOCIALES - PERÚ

Clasificación: 624.183402 Hormigón. Manuales
Nota de contenido: Introducción -- Sintaxis -- Sistemas formales -- Lógica proposicional -- Semántica de la lógica proposicional -- Lógica de predicados y operatorias -- Cálculo de predicados -- La lógica como lenguaje para modelar -- Operatorias -- Teoría de sucesiones -- Una teoría de la programación -- Conjuntos, relaciones y funciones -- Conceptos de relación y función -- Cardinalidad e inducción sobre conjuntos -- Aritmética aditiva -- Aritmética multiplicativa -- Análisis combinatorio -- Relaciones matemáticas -- Inducción estructural.
Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=93109

Lógica y Matemáticas Discretas en la Informática

Bhórquez Villamizar, Jaime Alejandro - Bogotá : Escuela Colombiana de Ingeniería - 2012
Incluye Notas bibliográficas.

Introducción -- Sintaxis -- Sistemas formales -- Lógica proposicional -- Semántica de la lógica proposicional -- Lógica de predicados y operatorias -- Cálculo de predicados -- La lógica como lenguaje para modelar -- Operatorias -- Teoría de sucesiones -- Una teoría de la programación -- Conjuntos, relaciones y funciones -- Conceptos de relación y función -- Cardinalidad e inducción sobre conjuntos -- Aritmética aditiva -- Aritmética multiplicativa -- Análisis combinatorio -- Relaciones matemáticas -- Inducción estructural.

Reserva
Reservar este documento

Ejemplares (1)

Código de barras Signatura Tipo de medio Ubicación Sección Estado
16-1275-01 511.3 B51 Libros Bib. Esp. Ciencias Educación Estanteria (Libros) Disponible