
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
Detalles del libro:
Año: | 2010 |
Editor: | Universidad de Sevilla |
Páginas: | 138 páginas |
Idioma: | español |
Desde: | 18/10/2012 |
Tamaño: | 480 KB |
Licencia: | Pendiente de revisión |
Contenido:
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.
Categorías:
Etiquetas:
Cargando comentarios...
Escaneando listas...
El libro en números
posición en categorías
en catálogo desde
18/10/2012puntuación
10votos
2'LIKES' sociales
Nothing yet...Visitas
Descargas
Interés
Segmentación por países
Páginas de entrada
Segmentación por sitios web
evolución
Cargando...