Logic for Computer Science - Historial de revisiones

Jalonso en 08:45 16 dic 2008

2008-12-16T08:45:35Z

Mjoseh en 11:44 9 dic 2008

2008-12-09T11:44:13Z

Jalonso en 11:28 8 dic 2008

2008-12-08T11:28:02Z

Jalonso en 11:25 8 dic 2008

2008-12-08T11:25:22Z

Jalonso en 10:32 8 dic 2008

2008-12-08T10:32:49Z

Jalonso en 09:59 8 dic 2008

2008-12-08T09:59:56Z

Jalonso en 09:59 8 dic 2008

2008-12-08T09:59:15Z

Jalonso: New page: B. Buchberger (1991) [http://www.risc.uni-linz.ac.at/education/courses/ws2008/logic-1/buchberger-logic-1.pdf ''Logic for Computer Science''] ---- Esta obra es el borrador de un libro de te...

2008-12-08T09:58:32Z

New page: B. Buchberger (1991) [http://www.risc.uni-linz.ac.at/education/courses/ws2008/logic-1/buchberger-logic-1.pdf ''Logic for Computer Science''] ---- Esta obra es el borrador de un libro de te...

Página nueva

B. Buchberger (1991) [http://www.risc.uni-linz.ac.at/education/courses/ws2008/logic-1/buchberger-logic-1.pdf ''Logic for Computer Science'']
----
Esta obra es el borrador de un libro de texto para la enseñanza de la lógica en los estudios de informática.

El primer capítulo presenta las motivaciones para el estudio de la lógica, tanto desde el campo de la matemática como el de la computación. Empieze exponiendo las principales motivaciones en cada campo:
* En el caso de la matemática, la principal motivación es la mejora de la calidad del razonamiento, entendiendo la que ''la lógica es el razonamiento sobre el razonamiento''.
* En el caso de la computación, la principal motivación es la automatización de la resolución de problemas en los ordenadores.
El resto del capítulo se dedica a desarrollar, de manera original, estas ideas. Comienza definiendo los conceptos de matemáticas, razonamiento y lógica:
* La '''matemática''' puede verse de dos maneras
** dinámica: ''la técnica de resolución de problemas en modelos'' y
** estática: ''la técnica de obtener información en modelos''.
* El '''razonamiento''' es la exploración intellectual de los modelos y es el núcleo de la solución de los problemas. Los tres pasos en la resolución de los problemas se representa en el siguiente esquema
<pre>
Problemma en el mundo -------------------------> Problema en el modelo
Observación |
(Construcción del modelo) | Razonamiento
| (Cálculo en el modelo)
|
v
Solución en el mundo <-------------------------- Solución en el modelo
Acción
(Interpretación)
</pre>
El razonamiento debe de ser abstracto, verificable, correcto y general.
* La lógica

@@ Línea 43: / Línea 43: @@
 * ''la lógica juega un papel fundamental en la ciencia de la computación similar al jugado por el cálculo en la física e ingeniería tradicional. El conocimiento de la lógica se está convirtiendo en una necesidad práctica para los informáticos profesionales''.
 Finalmente, considerando que el '''cálculo simbólico''' es la rama de la matemática y de la ciencia de la computación que estudia algoritmos sobre objetos simbólicos, concluye que el razonamiento automático es una rama del cálculo simbólico.
 [[User:Jalonso|José A. Alonso]] 12:28, 8 December 2008 (CET)
 [[Category:Lecturas]]

← Revisión anterior		Revisión del 11:28 8 dic 2008
Línea 43:		Línea 43:
	* ''la lógica juega un papel fundamental en la ciencia de la computación similar al jugado por el cálculo en la física e ingeniería tradicional. El conocimiento de la lógica se está convirtiendo en una necesidad práctica para los informáticos profesionales''.		* ''la lógica juega un papel fundamental en la ciencia de la computación similar al jugado por el cálculo en la física e ingeniería tradicional. El conocimiento de la lógica se está convirtiendo en una necesidad práctica para los informáticos profesionales''.
	Finalmente, considerando que el '''cálculo simbólico''' es la rama de la matemática y de la ciencia de la computación que estudia algoritmos sobre objetos simbólicos, concluye que el razonamiento automático es una rama del cálculo simbólico.		Finalmente, considerando que el '''cálculo simbólico''' es la rama de la matemática y de la ciencia de la computación que estudia algoritmos sobre objetos simbólicos, concluye que el razonamiento automático es una rama del cálculo simbólico.
		+
		+	[[User:Jalonso\|José A. Alonso]] 12:28, 8 December 2008 (CET)
		+
		+	[[Category:Lecturas]]

@@ Línea 22: / Línea 22: @@
                        (Interpretación)
 </pre>
-*:El razonamiento debe de ser abstracto, verificable, correcto y general.
+:El razonamiento debe de ser abstracto, verificable, correcto y general.
 * La lógica

@@ Línea 13: / Línea 13: @@
 * El '''razonamiento''' es la exploración intelectual de los modelos y es el núcleo de la solución de los problemas. Los tres pasos en la resolución de los problemas se representa en el siguiente esquema
 <pre>
-Problemma en el mundo -------------------------> Problema en el modelo
+Problema en el mundo  -------------------------> Problema en el modelo
                        Observación                |
                        (Construcción del modelo)  | Razonamiento

@@ Línea 11: / Línea 11: @@
 ** dinámica: ''la técnica de resolución de problemas en modelos'' y
 ** estática: ''la técnica de obtener información en modelos''.
-* El '''razonamiento''' es la exploración intellectual de los modelos y es el núcleo de la solución de los problemas. Los tres pasos en la resolución de los problemas se representa en el siguiente esquema
+* El '''razonamiento''' es la exploración intelectual de los modelos y es el núcleo de la solución de los problemas. Los tres pasos en la resolución de los problemas se representa en el siguiente esquema
 <pre>
 Problemma en el mundo -------------------------> Problema en el modelo

@@ Línea 3: / Línea 3: @@
 Esta obra es el borrador de un libro de texto para la enseñanza de la lógica en los estudios de informática.
-El primer capítulo presenta las motivaciones para el estudio de la lógica, tanto desde el campo de la matemática como el de la computación. Empieze  exponiendo las principales motivaciones en cada campo:
+El primer capítulo presenta las motivaciones para el estudio de la lógica, tanto desde el campo de la matemática como el de la computación. Empieza  exponiendo las principales motivaciones en cada campo:
 * En el caso de la matemática, la principal motivación es la mejora de la calidad del razonamiento, entendiendo la que ''la lógica es el razonamiento sobre el razonamiento''.
 * En el caso de la computación, la principal motivación es la automatización de la resolución de problemas en los ordenadores.
-El resto del capítulo se dedica a desarrollar, de manera original, estas ideas. Comienza definiendo los conceptos de matemáticas, razonamiento y lógica:
+El resto del capítulo se dedica a desarrollar, de manera original, estas ideas.
 * La '''matemática''' puede verse de dos maneras
 ** dinámica: ''la técnica de resolución de problemas en modelos'' y
@@ Línea 23: / Línea 24: @@
 </pre>
 :El razonamiento debe de ser abstracto, verificable, correcto y general.
-* La lógica
+* La '''lógica''' es la ciencia del razonamiento. La '''lógica matemática''' es el razonamiento sobre el razonamiento.