
Temas de Lógica Informática 2010-11
José A. Alonso Jiménez
Temas de Lógica Informática 2010-11
José A. Alonso Jiménez
Book Details:
Year: | 2010 |
Publisher: | Universidad de Sevilla |
Pages: | 138 pages |
Language: | spanish |
Since: | 18/10/2012 |
Size: | 480 KB |
License: | Pending review |
Content:
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 cada uno de los temas más concernientes a la asignatura.
- Panorama de la lógica. Ejemplos de argumentos y formalizaciones
- Sintaxis de la lógica proposicional.
- Semántica de la lógica proposicional.
Categories:
Tags:
Loading comments...
Scanning lists...
The book in numbers
rank in categories
online since
18/10/2012rate score
10votes
2Social likes
Nothing yet...Views
Downloads
Interest
Countries segmentation
Source Referers
Websites segmentation
evolution
Loading...