CONCEPTOS ELEMENTALES DE LÓGICA INFORMÁTICA

CONCEPTOS ELEMENTALES DE LÓGICA INFORMÁTICA

BECERRA CORREA, NELSON

$ 19,000.00

U$ 4,87 4,60 €

No disponible
Editorial:
UNIVERSIDAD DISTRITAL FRANCISCO JOSE DE CALDAS
Año de edición:
2012
Materia
Computacion
ISBN:
978-958-8782-15-7
EAN:
9789588782157
Páginas:
200
$ 19,000.00

U$ 4,87 4,60 €

No disponible
Añadir a favoritos

Este libro está dividido en seis capítulos. El primero habla de los conceptos generales de la lógica; en el segundo se tratan los conceptos elementales de la lógica de proposiciones; el tercero trata sobre la lógica de predicados; posteriormente, se desarrollan los procedimientos de prueba de la lógica de predicados; en el quinto se aborda la deducción natural y por último, se trata el tema de la resolución del problema SAT de una manera muy elemental. Este texto está diseñado para abarcar el curso de Lógica Informática de la carrera de Ingeniería o Tecnología. Aquí no se inventa nada, pero como dice André Guide "Todas las cosas están ya dichas; pero como nadie escucha, hay que volver a empezar siempre". Algunos de los temas tratados son conocidos desde hace miles de al10S y han sido explicados por muchos autores con la formación adecuada para detallarlos y demostrarlos de manera ortodoxa y con claridad.Aquí no se inventa nada, pero como dice André Guide "Todas las cosas están ya dichas; pero como nadie escucha, hay que volver a empezar siempre". Algunos de los temas tratados son conocidos desde hace miles de al10S y han sido explicados por muchos autores con la formación adecuada para detallarlos y demostrarlos de manera ortodoxa y con claridad.

Este libro está dividido en seis capítulos. El primero habla de los conceptos generales de la lógica; en el segundo se tratan los conceptos elementales de la lógica de proposiciones; el tercero trata sobre la lógica de predicados; posteriormente, se desarrollan los procedimientos de prueba de la lógica de predicados; en el quinto se aborda la deducción natural y por último, se trata el tema de la resolución del problema SAT de una manera muy elemental. Este texto está diseñado para abarcar el curso de Lógica Informática de la carrera de Ingeniería o Tecnología. Aquí no se inventa nada, pero como dice André Guide "Todas las cosas están ya dichas; pero como nadie escucha, hay que volver a empezar siempre". Algunos de los temas tratados son conocidos desde hace miles de al10S y han sido explicados por muchos autores con la formación adecuada para detallarlos y demostrarlos de manera ortodoxa y con claridad.Aquí no se inventa nada, pero como dice André Guide "Todas las cosas están ya dichas; pero como nadie escucha, hay que volver a empezar siempre". Algunos de los temas tratados son conocidos desde hace miles de al10S y han sido explicados por muchos autores con la formación adecuada para detallarlos y demostrarlos de manera ortodoxa y con claridad.

Artículos relacionados

  • DOMINA PSOC5LP Y KODULAR
    CAMARGO LÓPEZ, JULIÁN ROLANDO / PERDOMO CHARRY, CÉSAR ANDREY / PERDOMO CHARRY, ÓSCAR JULIÁN
    Domina PSoC5LP y Kodular es una guía práctica para integrar hardware y desarrollar aplicaciones móviles. A través de 11 proyectos, explora el uso del microcontrolador PSoC5LP y Kodular, combinando teoría, dispositivos externos y soluciones aplicadas para crear sistemas innovadores.El libro se divide en dos partes principales: una introducción al PSoC5LP y el desarrollo de aplic...
    Disponible

    $ 137,000.00

    U$ 35,13 33,15 €

  • PENSAMIENTO DE SISTEMAS. UN ENFOQUE PARA AFRONTAR LA COMPLEJIDAD ACTUAL
    PRIETO MEJÍA, SAMUEL
    El libro Pensamiento de sistemas. Un enfoque para afrontar la complejidad actual proporciona un enfoque integral y práctico sobre el pensamiento de sistemas en siete capítulos diseñados para estudiantes del programa de Ingeniería de instituciones de educación superior. Basado en la orientación de aprendizajes del Instituto Tecnológico de Massachusetts (MIT) y la experiencia de ...
    Disponible

    $ 74,800.00

    U$ 19,18 18,10 €

  • CHATGPT PARA EXCEL
    PEÑA MILLAHUAL, CLAUDIO ALEJANDRO
    Descubre una nueva forma de dominar Excel con la ayuda de ChatGPT. Este libro combina dos poderosas herramientas: la versatilidad de Excel y la inteligencia artificial para guiarte en el manejo de funciones y fórmulas avanzadas de manera efectiva y sencilla.nnAprende a crear y optimizar macros y fórmulas mientras resuelves problemas reales que surgen en tu trabajo diario. Con e...
    ¡Última unidad!

    $ 54,000.00

    U$ 13,85 13,07 €

  • PALABRAS Y ALGORITMOS
    CHACÓN SARTORI, CAMILO
    Este es un libro singular, un intrépido y, a la vez, fascinante relato de cómo los seres humanos han estado empleando las tecnologías del lenguaje a lo largo de la historia. El relato cubre desde los primeros intentos humanos de usar signos para registrar bienes económicos, listas de reyes y hechos en la Mesopotamia antigua, pasando por el desarrollo de la escritura propiamente...
    Disponible

    $ 62,000.00

    U$ 15,90 15,00 €

  • PYTHON CON ORIENTACIÓN A OBJETOS Y AL ANÁLISIS DE DATOS
    HERNÁNDEZ BEJARANO, MIGUEL / BAQUERO REY, LUIS EDUARDO
    Este libro es una guía completa para cualquier persona que desee sumergirse en la programación de computadoras, independientemente del área o disciplina del conocimiento. Es ideal tanto para aquellos interesados en la programación orientada a objetos y el análisis de datos en un lenguaje de programación como este para personas dispuestas a aprender de forma autónoma. Ofrece una...
    Disponible

    $ 119,000.00

    U$ 30,51 28,80 €

  • MODELOS PARA EL DISEÑO DE SOFTWARE INCLUSIVO. CASO DE ESTUDIO BASADO EN EL TRASTORNO DEL ESPECTRO AUTISTA
    CONSTAIN MORENO, GUSTAVO EDUARDO / COLLAZOS, CÉSAR ALBERTO / BAUTISTA BLASCO, SUSANA
    La vida de una persona con neurodiversidad, que también se reconoce como una discapacidad intelectual en diversos contextos sociales, se vuelve más difícil cuando debe compartir experiencias y actividades conrnpersonas que no padecen dicha condición. En varios países, esta población aumenta en silencio debido a su relego social, generado, en algunos casos, por el desconocimient...
    Disponible

    $ 60,000.00

    U$ 15,38 14,52 €

Otros libros del autor

  • TECNICAS DE INTELIGENCIA ARTIFICIAL EN JUEGOS
    BECERRA CORREA, NELSON
    La investigación Desarrollo de técnicas de inteligencia artificial para el tratamiento de juego plantea la siguiente preguntas: ¿Es posible generar métodos alternativos a los comúnmente utilizados para desarrollar software de juegos Para dar respuesta a este interrogante, se hace un estudio de los métodos existentes; se diseña un algoritmo por metas (FBC); se utilizan redes ne...
    No disponible

    $ 10,000.00

    U$ 2,56 2,42 €