La Lógica en las ciencias computacionales
DOI:
https://doi.org/10.26507/rei.v8n15.233Palabras clave:
lógica, ciencias computacionales, informática, formaciónResumen
En este trabajo se hace un análisis a la necesidad de incluir a la lógica en los procesos formativos en Ciencias Computacionales (CS por sus siglas en inglés). Se parte de un recorrido sobre la historia de la lógica en estas ciencias, posteriormente se describe la relación y la necesidad de incluirla en los procesos formativos relacionados, y al final se analiza qué, cuándo y qué tan profundo se debería trabajar en la formación en CS. Se trata de una revisión al estado del tema y a la importancia de incluirlo en los pregrados y en los posgrados en áreas de ciencias computacionales y tecnologías de información.
Descargas
Referencias bibliográficas
Abiteboul, S., Hull, R. & Vianu, V. (1995). Foundations of Databases. USA: Addison-Wesley.
Abramsky, S., Gabbay, D. & Maibaum, T. (1995). Handbook of Logic in Computer Science, vols. 1-4. Oxford: Oxford University Press.
Agostino, M., Gabbay, D., Hähnle, R. & Possega, J. (1999). Handbook of Tableau Methods. London: Kluwer.
Andrews, P. (2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. New York: Springer.
Barr, A. & Feigenbaum, E. (1981). Handbook of Artificial Intelligence, vols. 3. Stanford: Heuristic Press.
Bergmann, E. & Noll, H. (1977). Mathematische Logik mit Informatik-Anwendungen. Berlin-New York: Springer-Verlag.
Bledsoe, W. & Loveland, D. (1984). Automatic Theorem Proving after 25 years. Providence: American Mathematical Society.
Bolonia (1988). Magna Charta Universitatum. Online: http://www.magna-charta.org /cms/cmspage.aspx?pageUid={d4bd2cba-e26b-499e-80d5-b7a2973d5d97} (Aug. 2012).
Börger, E. (1989). Computability, Complexity, Logic. Amsterdam: North-Holland.
Boyer, R. & Moore, J. (1988). A Computational Logic Handbook. Boston: Academic Press.
Church, A. (1932). A set of Postulates for the Foundation of Logic. Annals of Mathematics, second series, 33, 346-366.
Cliff, B. J. (1980). Software development. A rigorous Approach. New York: Prentice Hall.
Colmerauer, A. (1970). Les systèmes-q ou un formalisme pour analyser et synthétiser des phrases sur ordinateur. Internal publication 43, Département d'informatique de l'Université de Montréal.
CRE (2000). The Bologna Declaration on the European space for higher education: An explanation. Online: http://ec.europa.eu/education/policies/educ/bologna/bologna.pdf, (Jul. 2012)
Davis, M. & Putnam, H. (1960). A Computing Procedure for Quantification Theory. Journal of the ACM, 7(3), pp. 201-215.
Denning, P. (2009). The Profession of It: Beyond Computational thinking. Communications of the ACM, 52(6), 28.
Ebbinghaus, H., Thomas, W. & Flumm, J. (1994). Mathematical Logic. London: Springer.
Fitting, M. (1996). First-Order Logic and Automated Theorem Proving. New York: Spinger-Verlag.
Gabbay, D., Hogger, C. & Robinson, J. (1993). Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford: Oxford University Press.
Gallier, J. (1987). Logic for Computer Science. USA: John Wiley.
Gentzen, G. (1934). Untersuchung Äuber das logische Schliessen. Mathematische Zeitschrift, 39, 176-210.
Goguen, H. & Goubault, J. (2000). Sequent combinators: a Hilbert system for the lambda calculus. Mathematical Structures in Computer Science, 10(1), 1-79.
Goos, G., Hartmanis, J. & van Leuwen, J. (2003). Verification: Theory and Practice. Berlin: Springer.
Herbrand, J. (1968). Logical writings. Holland: Reidel Publishing.
Hilbert, D. (1920). Die Grundlagen Der Elementaren Zahlentheorie. Mathematische Annalen. Traducido al inglés por Ewald W. como The Grounding of Elementary Number Theory, en From Brouwer to Hilbert: The debate on the foundations of mathematics in the 1920’s de Mancosu (ed., 1998), 266-273. New York: Oxford University Press.
Hoare, C. (2004). Communicating Sequential Processes. New York: McGraw Hill.
Hoare, C. & Shepherdson, J. (1985). Mathematical Logic and Programming Languages. USA: Prentice-Hall.
Hoare, C. (1969). An Axiomatic Basis for Computer Programming. Communications of the ACM, 12(10), 576-580.
Huth, M. & Ryan, M. (2004). Logic in Computer Science - Modelling and Reasoning about Systems. Cambridge: Cambridge University Press.
Kowalski, R. (1979). Algorithm = Logic + Control. Communications of the ACM, 22(7), 424-436.
Krantz, S. (2002). Handbook of Logic and Proof Techniques for Computer Science. Boston: Birkhäuser.
Kröger, F. (1987). Temporal Logic of Programs. London: Springer.
Küsters, R. (2001). Non-Standard Inferences in Description Logics. Berlin: Springer-Verlag.
Loeckx, J. & Sieber, K. (1987). The Foundations of Program Verification. London: Wiley.
Manna, Z. & Pnueli, A. (1974). Axiomatic approach to total correctness of programs. Acta Informática, 3(3), 243-264.
Manna, Z. & Waldinger, R. (1971). Toward Automatic Program Synthesis. Communications of the ACM, 14(3), 151-165.
Nerode, A. & Shore, R. (1997). Logic for Applications. New York: Springer-Verlag.
Newell, A. & Simon, H. (1956). The logic theory machine: A complex information processing system. IRE
Transactions on Information Theory, 2(3), 61-79.
Newell, A., Shaw, J. & Simon, H. (1959). Report on a general problem-solving program. Proceedings of the International Conference on Information Processing. Paris, France, 256-264.
Pásztor, K. & Várterész, M. (2003). Mathematical Logic: An Application Oriented Approach. Budapest: Panem Kiadó.
Pnueli, A. (1977). The temporal logic of programs. Proceedings of the 18th Annual Symposium on Foundations of Computer Science. Rhode Island, USA, pp. 46-57.
Qualls, J. & Sherrell, L. (2010). Why computational thinking should be integrated into the curriculum. Journal of Computing Sciences in Colleges, 25(5), 66-71.
Richter, M. (1978). Logikkalküle. Stuttgart: Teubner.
Robinson, J. (1965). A machine-oriented logic based on the resolution principle. Journal of the ACM, 12(1), 23-41.
Russell, B. & Whitehead, A. (1997). Principia Mathematica to *56. USA: Cambridge University Press.
Schönig, U. (1987). Logik für Informatiker, Spektrum Akad. Heildelberg-Berlin-Oxford: Verlag.
Serna, M.E. (2011). Systems engineering for the XXI century: A proposal from the academy. Proceedings Ninth LACCEI Latin American and Caribbean Conference (LACCEI’2011), August 3-5, Medellín, Colombia.
Serna, M.E. (2011a). “Software Engineering” is Engineering. Revista RACCIS, 1(1), 34-43.
Sorbonne (1988). Sorbonne Declaration. Online: http://www.bologna-bergen2005.no/Docs/00-Main_doc/980525SORBONNE_DECLARATION.PDF, (Aug. 2012).
Wing, J. (2008). Five deep questions in computing. Communications of the ACM, 51(1), 58-60.
Descargas
Publicado
Cómo citar
Número
Sección
Licencia
Se autoriza la reproducción total o parcial de los documentos publicados en la Revista siempre y cuando se cite la fuente y el autor.
| Estadísticas de artículo | |
|---|---|
| Vistas de resúmenes | |
| Vistas de PDF | |
| Descargas de PDF | |
| Vistas de HTML | |
| Otras vistas | |
