{rfName}
Ap

Indexed in

License and use

Citations

Altmetrics

Analysis of institutional authors

Alessandra GallinariAuthor

Share

March 10, 2023
Publications
>
Book
No

Apuntes y problemas de lógica matemática

Publicated to: - - 2010-01-01 (), DOI: 9788498494754

Authors: Alessandra Gallinari

Affiliations

Abstract

Los principales objetivos de esto libro son: Introducir herramientas y conceptos básicos de la Lógica Matemática y sus aplicaciones. Ayudar a aprender a razonar y formalizar correctamente. Fijar las bases teóricas para el estudio de la Lógica Informática, así que se pueda tener una formación global acerca de los procedimientos formales y algorítmicos de razonamiento automático y resolución formal de problemas. Facilitar la comprensión de los conceptos teóricos de la Lógica Matemática, presentando una amplia colección de problemas con soluciones completas. La primera parte de la publicación trata la lógica proposicional y la segunda la lógica de predicados. El libro incluye también dos capítulos preliminares. El primero es una breve introducción histórica a la lógica y a sus relaciones con la Filosofía, las Matemáticas y la Informática. El segundo es un repaso de la teoría de conjuntos.

Keywords

Quality index

Bibliometric impact. Analysis of the contribution and dissemination channel

Esta aportación ha sido publicada por la editorial Dykinson according to the SPI Ranking, it has become a reference in its field. In the year of publication of the work, 2010-01-01, es considerada como de las mejores posicionadas, concretamente el Q1.

Leadership analysis of institutional authors

There is a significant leadership presence as some of the institution’s authors appear as the first or last signer, detailed as follows: First Author (Gallinari Biraghi, Alessandra) .