Displaying similar documents to “Digitised Mathematics: Computerisation vs. Formalization”

The Global Campus - ICT and the Future of Universities

Nikolov, Roumen (2010)

Serdica Journal of Computing

Similarity:

This paper analyses the changes which the ICT causes on a global scale. The globalization of higher education triggered by e-Learning, the emergence of e-infrastructure for e-science, the Open Educational Resources movement, e-libraries and the tendency of building global educational alliances are analysed as well. Special emphasis is put on several wellknown university models, e.g. Research University, Open University and Entrepreneurial University, as well as on some emerging university...

Adaptive E-learning Content Design and Delivery Based on Learning Styles and Knowledge Level

Vassileva, Dessislava (2012)

Serdica Journal of Computing

Similarity:

ACM Computing Classification System (1998): K.3.1, K.3.2. The possibility of adaptive learning content delivery in e-learning systems is one of the important factors for highly improving their quality. Therefore, the application field of adaptive e-learning is relevant and significant. This article presents the main results of a PhD thesis examining various aspects of this area. The aim of the dissertation is to propose a model and a platform architecture of an adaptive e-learning...

Mathematical practice and naturalist epistemology : structures with potential for interaction

Bart Van Kerkhove, Jean Paul Van Bendegem (2005)

Philosophia Scientiae

Similarity:

In current philosophical research, there is a rather one-sided focus on the foundations of proof. A full picture of mathematical practice should however additionally involve considerations about various methodological aspects. A number of these is identified, from large-scale to small-scale ones. After that, naturalism, a philosophical school concerned with scientific practice, is looked at, as far as the translations of its epistemic principles to mathematics is concerned. Finally,...

Some key research problems in automated theorem proving for hardware and software verification.

Matt Kaufmann, J. Strother Moore (2004)

RACSAM

Similarity:

This paper sketches the state of the art in the application of mechanical theorem provers to the verification of commercial computer hardware and software. While the paper focuses on the theorem proving system ACL2, developed by the two authors, it references much related work in formal methods. The paper is intended to satisfy the curiosity of readers interested in logic and artificial intelligence as to the role of mechanized theorem proving in hardware and software design today. In...