What is wrong?

Notice: Before sending an error with the download, please try the direct link first: Lógica de predicados

Loading...

You must sign in to do that.

Forgot password?

Lógica de predicados

Lógica de predicados

Lógica de predicados

Score: 10.00 | 1 vote
| Sending vote
| Voted!
|

Book Details:

pos
Global
pos
Category
Year:2000
Publisher:UOC
Pages:94 pages
Language:spanish
Since:03/03/2014
Size:866 KB
License:CC-BY-SA

Content:

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.

Categories:

Tags:

Loading comments...

Scanning lists...

The book in numbers

global rank

rank in category

online since

03/03/2014

rate score

5

votes

1

Social likes

2

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