Lg̤ica y matemt̀ica para ciencias de la computacin̤ PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Lg̤ica y matemt̀ica para ciencias de la computacin̤ PDF full book. Access full book title Lg̤ica y matemt̀ica para ciencias de la computacin̤ by . Download full books in PDF and EPUB format.
Author:
Publisher:
ISBN: 9789588537351
Category :
Languages : es
Pages :
Get Book Here
Book Description
Author:
Publisher:
ISBN: 9789588537351
Category :
Languages : es
Pages :
Get Book Here
Book Description
Author: Ismael Gutiérrez García
Publisher: Universidad del Norte
ISBN: 9587410750
Category :
Languages : es
Pages : 203
Get Book Here
Book Description
Esta obra tiene su origen en los cursos de Matemáticas Discretas y Lógica Matemática ofrecidos por el autor en los programas de Ingeniería de Sistemas y Matemáticas de la Universidad del Norte (Colombia). La primera parte trata sobre el cálculo proposicional y presenta una introducción a la lógica de primer orden. La segunda parte del texto está dedicada al sistema axiomático de Zermelo - Fränkel para la teoría de conjuntos. Un aspecto relevante de esta obra es la elaboración del software educativo MaXI, que se anexa como un producto del proyecto de investigación “Dos tópicos en matemáticas discretas", financiado por la Universidad del Norte.
Author: José Alfredo Jiménez
Publisher: Alpha Editorial
ISBN: 6076225157
Category : Computers
Languages : es
Pages : 567
Get Book Here
Book Description
Matemáticas para la computación, 3a edición es un libro de texto para los cursos de matemáticas discretas de las carreras del área de la informática, y en éste se exponen los temas: Sistemas numéricos, Métodos de conteo, Conjuntos, Lógica matemática, Álgebra booleana, Relaciones, Grafos, Árboles e Introducción a los lenguajes formales. Además de incluir los temas específicos de algoritmo de Booth, problema del palomar, método de Quine y diagramas de Hasse, en esta nueva edición se ha hecho una cuidadosa revisión de todos los ejemplos y problemas propuestos.
Author: Pascual Julián Iranzo
Publisher:
ISBN: 9788478976195
Category : Computers
Languages : es
Pages : 328
Get Book Here
Book Description
La lógica es particularmente importante para la informática porque constituye la base matemática del software. Así pues, este libro aspira a desarrollar sólidas bases formales que permitan al alumno entender las relaciones existentes entre la lógica y la informática, y cómo los cálculos deductivos pueden constituir un soporte para el cómputo. Este libro se centra, principalmente, en el estudio de las características y propiedades fundamentales de los sistemas lógicos tradicionales: la lógica de proposiciones y la de predicados. Sin desdeñar el rigor matemático se ha dado gran importancia a las técnicas de formalización, y más generalmente a las técnicas de representación del conocimiento mediante la lógica, así como a los procesos deductivos. Conscientemente se ha buscado un equilibrio entre ambos extremos, lo que distingue a este libro de otras propuestas existentes en la literatura, en las que o bien se hace hincapié en los contenidos matemáticos y la metateoría, o bien se aborda el estudio de la lógica de forma meramente descriptiva y centrándose en los problemas de deducción formal (en la propia lógica). También se dedica atención a las lógicas no clásicas, por su gran influencia en la ciencia y tecnología actuales: por ejemplo, la lógica modal o las lógicas multivalentes. Características destacadas: -Equilibrio entre los contenidos formales y los prácticos. -Presentación gradual de los conceptos. -Énfasis en los conceptos recurrentes. -Más de 85 ejemplos y 120 cuestiones y problemas propuestos. Específicamente, el libro va dirigido tanto a alumnos de primer curso de las Ingenierías Técnicas como de la Ingeniería Superior en Informática. Ahora bien, aunque la selección de los temas se ha hecho pensando en las necesidades de éstos, también puede ser útil a alumnos de matemáticas u otras ingenierías.
Author: Rafel . . . [et al. ] Farré
Publisher:
ISBN: 9788426716941
Category : Computers
Languages : es
Pages : 218
Get Book Here
Book Description
La finalidad de este libro es proporcionar al lector fundamentos de lógica en el ámbito de las ciencias de la computación. La audiencia principal son pues los estudiantes de titulaciones en informática, aunque el libro también es útil como complemento en la formación básica de otras ciencias e ingenierías. En esta obra sólo se asumen conocimientos previos muy básicos de matemáticas, conocimientos que además se revisan brevemente en un capítulo de preliminares. El libro está escrito de forma amena y cercana, simplificando al máximo la carga notacional y con numerosos ejemplos que ilustran los conceptos explicados. Todos los ejercicios propuestos, más de 200, van acompañados de su correspondiente solución, desarrollada en todo detalle. El libro trata de dos lógicas fundamentales: la Lógica Proposicional y la Lógica de Primer Orden. Después del capítulo de preliminares matemáticos, los dos siguientes capítulos giran alrededor de la definición de la Lógica Proposicional y de las técnicas de deducción en esta lógica y sus aplicaciones. Siguiendo el mismo esquema, en la segunda parte del libro se define la Lógica de Primer Orden y se explican los métodos de deducción y algunas aplicaciones, en el primer capítulo. El siguiente capítulo está dedicado a una aplicación relevante de la lógica y sus métodos deductivos en la informática: la programación lógica. Un último capítulo recopila todos los problemas propuestos junto a sus correspondientes soluciones. Los autores del libro son Doctores en Informática o Matemáticas. En la actualidad ocupan plazas de Lector, Profesor Titular o Catedrático en la Universidad Politécnica de Cataluña y cuentan con muchos años de experiencia en la docencia y la investigación de la lógica en el ámbito de la informática.
Author: Sergio Augusto Cardona Torres
Publisher: ELIZCOM S.A.S
ISBN: 9589932592
Category : Mathematics
Languages : es
Pages : 141
Get Book Here
Book Description
Author: MARTÍN RUBIO, FERNANDO
Publisher: Ediciones Paraninfo, S.A.
ISBN: 8497321820
Category : Computers
Languages : es
Pages : 215
Get Book Here
Book Description
El libro recoge los tres componentes de un Sistema Lógico: el sintáctico, el interpretativo y el axiomático para llegar al desarrollo de los métodos de razonamiento automático, componente esencial de los Sistemas Inteligentes.
Author: Leopoldo Bertossi D.
Publisher:
ISBN: 9789561404045
Category :
Languages : es
Pages : 302
Get Book Here
Book Description
Author: F. Michavila
Publisher: Reverte
ISBN: 8429194509
Category : Computers
Languages : es
Pages : 348
Get Book Here
Book Description
Este es un libro, en el lenguaje BASIC, dirigido a estudiantes y postgraduados. También ha de ser útil al profesional que precise de unos conocimientos básicos de los algoritmos más adecuados para la resolución de los problemas comunes de la Ingeniería, Ciencias y Administración.
Author: Francisco Samuel Naishtat
Publisher:
ISBN:
Category : Formal languages
Languages : es
Pages : 342
Get Book Here
Book Description
