El siguiente libro gratuito está dirigido para todas aquellas personas interesadas en aprender sobre la lógica informática.
La lógica computacional es la misma lógica matemática aplicada al entorno de las ciencias de la computación. Su uso es importante en diversos niveles: en los circuitos computacionales, en la programación lógica y en la exploración y mejora (de recursos temporales y espaciales) de algoritmos.
La lógica se prolonga al corazón de la informática mientras nace como una disciplina: El trabajo de Alan Turing sobre el Entscheidungsproblem seguido del trabajo de Kurt Gödel sobre teoremas incompletos.
En la lógica de programación, un programa se apoya en una recolección de axiomas y normas.
Sobre el Libro (Por el Autor)
La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental a varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos.
En el presente volumen se presentan las soluciones a exámenes sobre dicha asignatura impartida en el Dpto. de Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla durante los años 2000 – 2004.
En ellos se analizan y solucionan ejercicios sobre tautología y semántica lógica, resultando un documento muy interesante para los estudiantes e interesado en esta área de la informática computacional.
Contenido
Este libro contiene 11 temas o capítulos los cuales contienen exámenes resueltos.
Ficha Técnica
Año: 2004
Editor: Universidad de Sevilla
Idioma: Español
Tamaño: 210 KB
Licencia: Pendiente de Revisión (Posiblemente Creative Commons)
Descarga el Libro
Si te interesaron los temas, te dejamos aquí abajo el enlace de descarga.
Acerca de OpenLibra
OpenLibra busca reunir bajo una misma plataforma el mayor número de publicaciones libres posible. Esto implica una serie de riesgos en cuanto a los contenidos que han de asumirse y sobre los que queremos informar a nuestros usuarios.
En OpenLibra, los libros son responsabilidad exclusiva de sus autores. Esto significa que OpenLibra, no puede garantizar la validez de sus contenidos.
Preguntas Frecuentes
¿Qué quiere decir Biblioteca Libre?
Quiere decir que todos los libros que la componen están licenciados bajo alguno de los muchos tipos de licencia libre que existen y que, por tanto, el autor da su autorización para su reproducción y redistribución.
¿Son entonces todos los libros de esta biblioteca gratis?
Sí; al menos para su versión digital. Muchos autores, además, ofrecen la versión impresa (ya sea directamente o a través del circuito comercial habitual) por la que pueden cobrar lo que estimen oportuno.
Pero algunos de los libros que hay en la Biblioteca tienen Copyright…
El copyright y las licencias libres no son excluyentes. De hecho, las segundas se basan en la legislación sobre la primera para otorgar los derechos de copia y distribución. Es por eso que toda obra bajo una licencia libre, posee un copyright que garantiza la voluntad de su autor. Lo importante es qué permite ese copyright con respecto a la obra licenciada.
Pues he visto algún libro por aquí que tiene un Copyright y un ‘todos los derechos reservados’.
Cierto; en estos casos, lo más habitual es que la editorial haya devuelto los derechos de explotación al autor. Suele ocurrir con los manuales técnicos una vez pasado un tiempo prudencial o, por ejemplo, cuando se han agotado las ediciones impresas y no se pretende una reedición. Una vez los autores vuelven a tener el control, pueden ceder su trabajo al dominio público o permitir su redistribución libre para volver a poner su obra en circulación.
Si los libros son libres y gratis, ¿puedo hacer con ellos lo que quiera? ¿Los puedo imprimir, traducir y/o vender?
No; no puedes hacer aquello que su licencia no permita. Cómo se explica en el enlace de más arriba, algunas licencias solo permiten la descarga y redistribución sin ánimo de lucro. Si por ejemplo, quieres traducir la obra y editarla de forma ordinaria, algunos autores te exigirán que pagues los derechos pertinentes.
Actualmente…
- ¿Quieres aprender Coreano? Curso Gratuito con profesora nativa enseña las frases más usadas en K-dramas
- ¿Buscas empleo en programación? Curso gratuito de C++ te prepara para salarios de $17,500 a $35,000 mensuales
- Creadores de Kali Linux están ofreciendo capacitación en ciberseguridad gratis y en línea
- Curso gratis te enseña pentesting con Termux y ya está causando sensación
¿Quieres Más?
Encuentra cursos y libros gratuitos, además de cupones de Udemy, en nuestros Telegram.
Fuente de Información: Wikipedia
