What is wrong?

Notice: Before sending an error with the download, please try the direct link first: Introducción a la demostracción asistida por ordenador con Isabelle/HOL

Loading...

You must sign in to do that.

Forgot password?

Introducción a la demostracción asistida por ordenador con Isabelle/HOL

Introducción a la demostracción asistida por ordenador con Isabelle/HOL

Introducción a la demostracción asistida por ordenador con Isabelle/HOL

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

Book Details:

pos
Global
pos
Category
Year:2013
Publisher:Universidad de Sevilla
Pages:283 pages
Language:spanish
Since:20/06/2016
Size:374 KB
License:CC-BY-NC-SA

Content:

Este libro es una recopilación de los temas y relaciones de ejercicios del curso de Razonamiento automático. El curso es una introducción a la demostración asistida por ordenador con Isabelle/HOL y consta de tres niveles.

En el primer nivel se presenta la formalización de las demostraciones por deducción natural. La presentación se basa en la realizada en los cursos de Lógica informática (de 2º del Grado en Informática) y Lógica matemática y fundamentos (de 3º del Grado en Matemáticas), en concreto en los temas de deducción natural proposicional y de de primer orden. En este nivel se incluye los 3 primeros temas y las 6 primeras relaciones de ejercicios.

En el segundo nivel se presenta la programación funcional en Isabelle/HOL y el razonamiento sobre programas. La presentación se basa en la introducción a la programación con Haskell realizada en los cursos de Informática (de 1º del Grado en Matemáticas) y Programación declarativa (de 3º del Grado en Informática), en concreto en el tema 8 (para el razonamiento sobre programas) y en los restantes 9 primeros temas. En este nivel se incluye los temas 4, 5 y 6 y las relaciones de ejercicios desde la 7 a la 21.

En el tercer nivel se presentan casos de estudios y extensiones de la lógica para trabajar con conjuntos, relaciones y funciones. En este nivel se incluye los temas y y 8 y las relaciones de ejercicios 22 y 23.

Tanto los temas como las relaciones de ejercicios se presentan como teorías de Isabelle/HOL (versión Isabelle2013). Conforme se necesitan se va comentando los elementos del Isabelle/HOL.

Categories:

Tags:

Loading comments...

Scanning lists...

The book in numbers

global rank

online since

20/06/2016

rate score

25

votes

5

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...