What is wrong?

Notice: Before sending an error with the download, please try the direct link first: Temas de Lógica Informática 2010-11

Loading...

You must sign in to do that.

Forgot password?

Temas de Lógica Informática 2010-11

Temas de Lógica Informática 2010-11

Temas de Lógica Informática 2010-11

Score: 10.00 | 2 votes
| Sending vote
| Voted!
|

Book Details:

pos
Global
pos
Category
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

global rank

rank in categories

online since

18/10/2012

rate score

10

votes

2

Social likes

Nothing yet...

Views

Downloads

This may take several minutes

Interest

Countries segmentation

This may take several minutes

Source Referers

Websites segmentation

evolution

This may take several minutes

Loading...