¿Qué está mal?

Aviso: Antes de informar sobre un error con la descarga, por favor, prueba el enlace directo: Lógica de predicados

Cargando...

Debes iniciar sesión para hacer esto.

Lógica de predicados

Lógica de predicados

Lógica de predicados

Puntuación: 10.00 | 1 voto
| Enviando voto
| ¡Votado!
|

Detalles del libro:

pos
Global
pos
Categoría
Año:2000
Editor:UOC
Páginas:94 páginas
Idioma:español
Desde:03/03/2014
Tamaño:866 KB
Licencia:CC-BY-SA

Contenido:

Todo sistema formal tiene sus limitaciones. La lógica de enunciadosno es una excepción. Su simplicidad tiene una recompensa: es un vehículo ideal para transmitir los conceptos básicos sobre los cuales se construye el edificio de esta disciplina, pero también tiene un precio: esexcesivamente simple para poder ser una verdadera herramienta de trabajo.

No hay que preocuparse, porque una vez adentrados en el mundo de la lógica, por medio de los enunciados y de su lenguaje, de la deducción natural y sus reglas, de las tablas de verdad y del método de resolución, es el momento de tratar más profundamente este ámbito y estudiar la lógica de predicados.

En este módulo didáctico entraréis en el mundo de la lógica de predicados y conoceréis el lenguaje que le es propio: el lenguaje de las fórmulas. Con este lenguaje aprenderéis a formalizar razonamientos que estaban fueran del modesto alcance del lenguaje de enunciados. Veréis que muchos de los aspectos de los que tratará no os son nada ajenos: habrá que validar razonamientos, utilizando una versión ampliada de la deducción natural conocida; refutarlos buscando contraejemplos; calcular formas normales y, por supuesto, estudiar el método que permite mecanizar la tarea de validación: la resolución.

Categorías:

Etiquetas:

Cargando comentarios...

Escaneando listas...

El libro en números

Posición global

posición en categoría

en catálogo desde

03/03/2014

puntuación

5

votos

1

'LIKES' sociales

2

Visitas

Descargas

Esto puede tardar un momento

Interés

Segmentación por países

Esto puede tardar un momento

Páginas de entrada

Segmentación por sitios web

evolución

Esto puede tardar un momento

Cargando...