MARC details
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
07532 a2200265 4500 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
2012 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9786077071655 |
| 040 ## - FUENTE DE CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
GAMADERO |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor |
GAMADERO |
| 041 ## - CÓDIGO DE IDIOMA |
|---|
| Código de lengua del texto/banda sonora o título independiente |
Español |
| 050 00 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
|---|
| Número de clasificación |
QA76. |
| Cutter |
9M35 F37 |
| Año |
2012 |
| 100 ## - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
RAFAEL FARRE |
| 245 ## - MENCIÓN DEL TÍTULO |
|---|
| Título |
Lógica para Informáticos / |
| 250 ## - MENCION DE EDICION |
|---|
| Mención de edición |
1a Edición |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Nombre del editor, distribuidor, etc. |
ALFAOMEGA |
| Lugar de publicación, distribución, etc. |
México |
| Fecha de publicación, distribución, etc. |
2012 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
220p |
| Otras características físicas |
Ilustraciòn |
| Dimensiones |
17 X 23 cm |
| 505 ## - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
Índice<br/>Prólogo __________________________________________________________________ 7<br/>Gabriel Baum<br/>Introducción _____________________________________________________________ 11<br/>Claudia Pons, Ricardo Rosenfeld y Clara Smith<br/>Capítulo 1<br/>Lógica proposicional ______________________________________________________ 16<br/>Claudia Pons<br/>Introducción ______________________________________________________________ 16<br/>Sintaxis: el lenguaje simbólico de la lógica ______________________________________ 19<br/>Semántica: interpretación y satisfacción ________________________________________ 22<br/>Implicación lógica y equivalencia lógica ________________________________________ 27<br/>Formas normales ______________________________________________________ 28<br/>Conjuntos adecuados de conectivas _______________________________________ 29<br/>Argumentaciones __________________________________________________________ 30<br/>Mecanismos formales de razonamiento ________________________________________ 32<br/>Sistema axiomático L ___________________________________________________ 33<br/>Deducción natural _____________________________________________________ 34<br/>Demostración _________________________________________________________ 34<br/>Sensatez y completitud de un sistema deductivo _____________________________ 36<br/>Decidibilidad __________________________________________________________ 37<br/>Limitaciones de la lógica proposicional _________________________________________ 37<br/>Ejercicios _______________________________________________________________ 37<br/>Bibliografía _______________________________________________________________ 40<br/>Capítulo 2<br/>Lógica de predicados _____________________________________________________ 41<br/>Claudia Pons<br/>Introducción ______________________________________________________________ 41<br/>Dominios ________________________________________________________________ 42<br/>Sintaxis: el lenguaje simbólico de la lógica ______________________________________ 43<br/>Semántica: interpretación y satisfacción ________________________________________ 46<br/>Mecanismos formales de razonamiento ________________________________________ 48<br/>Sistema axiomático K ____________________________________________________ 49<br/>Demostración __________________________________________________________ 49<br/>Sensatez, completitud y decidibilidad de un sistema deductivo ____________________ 50<br/>Sistemas de primer orden _________________________________________________ 51<br/>Ejercicios ________________________________________________________________ 53<br/>Bibliografía _______________________________________________________________ 54<br/>Capítulo 3<br/>Lógica modal ____________________________________________________________ 55<br/>Clara Smith<br/>Conceptos básicos _________________________________________________________ 55<br/>Lógica deóntica ___________________________________________________________ 72<br/>Sistemas multiagente _______________________________________________________ 80<br/>Ejercicios ________________________________________________________________ 89<br/>Bibliografía _______________________________________________________________ 92<br/>Capítulo 4<br/>Lógica de programas ______________________________________________________ 94<br/>Ricardo Rosenfeld<br/>Introducción ______________________________________________________________ 94<br/>Lógica de programas de entrada/salida _________________________________________ 95<br/>Programas secuenciales determinísticos _____________________________________ 97<br/>Programas secuenciales no determinísticos _________________________________ 112<br/>Programas concurrentes ________________________________________________ 119<br/>Lógica de programas reactivos ______________________________________________ 130<br/>Lenguaje de programación _______________________________________________ 131<br/>Lenguaje de especificación ______________________________________________ 133<br/>Método de verificación __________________________________________________ 136<br/>Ejercicios _______________________________________________________________ 143<br/>Referencias y notas _______________________________________________________ 146<br/>Incompletitud _________________________________________________________ 147<br/>Incompletitud e indecibilidad ______________________________________________ 148<br/>Incompletitud y aleatoriedad ______________________________________________ 149<br/>Sensatez, completitud e interpretaciones ____________________________________ 150<br/>Composicionalidad _____________________________________________________ 152<br/>Composicionalidad con lógica temporal _____________________________________ 154<br/>Lógicas temporales _____________________________________________________ 156<br/>Lógicas LTL, CTL y CTL* ________________________________________________ 157<br/>Model checking ________________________________________________________ 160<br/>Bibliografía ______________________________________________________________ 161<br/>Los Autores ____________________________________________________________ 163 |
| 520 ## - RESUMEN, ETC. |
|---|
| Resumen, etc. |
La finalidad de este libro es proporcionar al lector fundamentos de lógica en el ámbito de las ciencias de 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. |
| 526 ## - NOTA DE INFORMACIÓN SOBRE EL PROGRAMA DE ESTUDIO |
|---|
| Program name |
Ingenieria en Gestion Empresarial |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Informática |
| 9 (RLIN) |
317 |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) |
|---|
| Tipo de ítem Koha |
Libro |
| Fuente del sistema de clasificación o colocación |
Clasificación Decimal Dewey |
| Edición |
1a Edición |
| 945 ## - CATALOGADORES |
|---|
| Número del Creador del Registro |
1 |
| Nombre del Creador del Registro |
admin |
| Número de último modificador del registro |
1270 |
| Nombre del último modificador del registro |
María Elena Olvera Picina |
