Author: Francisco Samuel Naishtat
Publisher:
ISBN:
Category : Formal languages
Languages : es
Pages : 342
Book Description
Lógica para computación
Author: Francisco Samuel Naishtat
Publisher:
ISBN:
Category : Formal languages
Languages : es
Pages : 342
Book Description
Publisher:
ISBN:
Category : Formal languages
Languages : es
Pages : 342
Book Description
Lógica para informáticos
Author: Rafel . . . [et al. ] Farré
Publisher:
ISBN: 9788426716941
Category : Computers
Languages : es
Pages : 218
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.
Publisher:
ISBN: 9788426716941
Category : Computers
Languages : es
Pages : 218
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.
Lógica computacional
Author: MARTÍN RUBIO, FERNANDO
Publisher: Ediciones Paraninfo, S.A.
ISBN: 8497321820
Category : Computers
Languages : es
Pages : 215
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.
Publisher: Ediciones Paraninfo, S.A.
ISBN: 8497321820
Category : Computers
Languages : es
Pages : 215
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.
Lógica para la computación
Author: Manuel Ojeda Aciego
Publisher:
ISBN: 9788481600544
Category : Education
Languages : es
Pages : 186
Book Description
Publisher:
ISBN: 9788481600544
Category : Education
Languages : es
Pages : 186
Book Description
Lógica para ciencia de la computación
Author: Leopoldo Bertossi D.
Publisher:
ISBN: 9789561404045
Category :
Languages : es
Pages : 302
Book Description
Publisher:
ISBN: 9789561404045
Category :
Languages : es
Pages : 302
Book Description
Lógica matemática para Ingeniería de Sistemas y Computación
Author: Sergio Augusto Cardona Torres
Publisher: ELIZCOM S.A.S
ISBN: 9589932592
Category : Mathematics
Languages : es
Pages : 141
Book Description
Publisher: ELIZCOM S.A.S
ISBN: 9589932592
Category : Mathematics
Languages : es
Pages : 141
Book Description
Lógica para la Computación
Author: Luis De Ledesma Otamendi
Publisher: Editorial Ra-Ma
ISBN: 9788478979387
Category : Computers
Languages : es
Pages : 180
Book Description
"La fuerza de la Lógica Formal reside en su capacidad para... deducir precisa y, en muchos casos, mecánicamente, ciertas expresiones simbólicas nuevas a partir de otras anteriores. Las expresiones inferidas son los teoremas" Así se abre el texto: con los símbolos y leyes lógicas que nos enseñarán a usar el sentido común y nuestra capacidad de razonar sobre la realidad. Con ellos, demostraremos teoremas con rigor y, mejor aún, aprenderemos a verificar con precisión que son realmente válidos. Estamos así en pleno centro de las Teorías de primer orden, la base de toda lógica; aparecen sus raíces sanas y fuertes desde hace más de un siglo y se muestran resultados históricos tanto por su propia importancia como por su papel en el desarrollo de la ciencia moderna. Con tales mimbres y a partir de su propio trabajo científico y experiencia docente en Lógica, el autor ha hecho de estas primeras nociones una base para el desarrollo posterior del texto. El lector que se sitúa en este punto inicial comienza el tránsito a lo largo de una línea de la que no se separará y que le conduce con claridad hasta los fundamentos y las primeras nociones de la programación lógica y PROLOG. Para el camino se le proporciona todo el equipaje necesario, pero nada más. Tendrá que asomarse a nuevos sistemas formales con su correspondiente teoría y nada será superfluo porque pronto verá cómo dicha teoría tiene la potencia necesaria para ir haciendo la Lógica cada vez más algorítmica. Este libro no es sobre la historia. Tales libros, salvo ejercicios de estilo, tienen la servidumbre de presentarse como un todo acabado. Sin embargo, el autor no ha olvidado que a todos nos gusta saber cómo han surgido las cosas y por qué alguien demostró lo que demostró. Por eso, ha procurado que el lector nunca olvide que está en un camino, ha añadido los comentarios que ha creído oportunos y ha escrito con la intención de facilitar la lectura en la medida de lo posible. Este es un texto pensado para estudiantes y profesores inclinados a las matemáticas, la lógica y los fundamentos de su automatización, alumnos de primeros cursos de Lógica y aquellos programadores de PROLOG que no han tenido la oportunidad de asomarse a la base sobre la que descansa su trabajo. "El libro tiene un aire a la vez nuevo y tradicional que lo hace muy recomendable para aquellos a los que está destinado" Eugenio Roanes Lozano, Reseña en el Boletín de la Sociedad "Puig Adam" de Profesores de Matemáticas.
Publisher: Editorial Ra-Ma
ISBN: 9788478979387
Category : Computers
Languages : es
Pages : 180
Book Description
"La fuerza de la Lógica Formal reside en su capacidad para... deducir precisa y, en muchos casos, mecánicamente, ciertas expresiones simbólicas nuevas a partir de otras anteriores. Las expresiones inferidas son los teoremas" Así se abre el texto: con los símbolos y leyes lógicas que nos enseñarán a usar el sentido común y nuestra capacidad de razonar sobre la realidad. Con ellos, demostraremos teoremas con rigor y, mejor aún, aprenderemos a verificar con precisión que son realmente válidos. Estamos así en pleno centro de las Teorías de primer orden, la base de toda lógica; aparecen sus raíces sanas y fuertes desde hace más de un siglo y se muestran resultados históricos tanto por su propia importancia como por su papel en el desarrollo de la ciencia moderna. Con tales mimbres y a partir de su propio trabajo científico y experiencia docente en Lógica, el autor ha hecho de estas primeras nociones una base para el desarrollo posterior del texto. El lector que se sitúa en este punto inicial comienza el tránsito a lo largo de una línea de la que no se separará y que le conduce con claridad hasta los fundamentos y las primeras nociones de la programación lógica y PROLOG. Para el camino se le proporciona todo el equipaje necesario, pero nada más. Tendrá que asomarse a nuevos sistemas formales con su correspondiente teoría y nada será superfluo porque pronto verá cómo dicha teoría tiene la potencia necesaria para ir haciendo la Lógica cada vez más algorítmica. Este libro no es sobre la historia. Tales libros, salvo ejercicios de estilo, tienen la servidumbre de presentarse como un todo acabado. Sin embargo, el autor no ha olvidado que a todos nos gusta saber cómo han surgido las cosas y por qué alguien demostró lo que demostró. Por eso, ha procurado que el lector nunca olvide que está en un camino, ha añadido los comentarios que ha creído oportunos y ha escrito con la intención de facilitar la lectura en la medida de lo posible. Este es un texto pensado para estudiantes y profesores inclinados a las matemáticas, la lógica y los fundamentos de su automatización, alumnos de primeros cursos de Lógica y aquellos programadores de PROLOG que no han tenido la oportunidad de asomarse a la base sobre la que descansa su trabajo. "El libro tiene un aire a la vez nuevo y tradicional que lo hace muy recomendable para aquellos a los que está destinado" Eugenio Roanes Lozano, Reseña en el Boletín de la Sociedad "Puig Adam" de Profesores de Matemáticas.
Lógica Computacional
Author: Roni Marcio Fais
Publisher: Clube de Autores
ISBN:
Category : Education
Languages : pt-BR
Pages : 90
Book Description
Um livro dedicado ao estudo de lógica voltada a computação que abrange ciência e lógica, armazenamento binário de dados, diagrama de blocos, informática e computação e programação de computadores. Foi planejado para uso em cursos técnicos profissionalizantes.
Publisher: Clube de Autores
ISBN:
Category : Education
Languages : pt-BR
Pages : 90
Book Description
Um livro dedicado ao estudo de lógica voltada a computação que abrange ciência e lógica, armazenamento binário de dados, diagrama de blocos, informática e computação e programação de computadores. Foi planejado para uso em cursos técnicos profissionalizantes.
Lg̤ica y matemt̀ica para ciencias de la computacin̤
Author:
Publisher:
ISBN: 9789588537351
Category :
Languages : es
Pages :
Book Description
Publisher:
ISBN: 9789588537351
Category :
Languages : es
Pages :
Book Description
Lógica para la computación
Author: Luis de Ledesma
Publisher:
ISBN: 9786077854333
Category :
Languages : es
Pages : 177
Book Description
Publisher:
ISBN: 9786077854333
Category :
Languages : es
Pages : 177
Book Description