Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

MALog : a new way to teach and learn mathematical logic

Tools
- Tools
+ Tools

Rinneheimo, Kirsi-Maria, Kinnari-Korpela, Hanna, Boyatt, Russell and Joy, Mike (2012) MALog : a new way to teach and learn mathematical logic. In: 16th SEFI Mathematics Working Group Seminar, Salamanda, Spain, 28-30 June 2012

[img]
Preview
PDF
WRAP_Joy_rinneheimo_kinnari-korpela_boyatt_joy_mwg_2012.pdf - Requires a PDF viewer.

Download (187Kb) | Preview

Request Changes to record.

Abstract

An international project entitled Mathematical and Applied Logic – MALog led by Tampere University of Applied Sciences (TAMK) aims to provide pedagogically high-quality learning materials, which are created, presented and distributed by innovative use of Information and Communication Technologies (ICT) based solutions. Learning materials will be produced in a manner which creates an individual adaptive learning path for each learner. Various studies indicate that students in high schools, universities and company employees need tools to help them learn mathematical logic effectively.

Reform of curricula on competence-based on is an important core task at the moment in TAMK. MALog had the objective of developing learning materials to support development of mathematical and applied logic knowledge and competencies. In order to provide robust pedagogical support for the materials produced in MALog, an ontology of mathematical logic was created.

Item Type: Conference Item (Paper)
Subjects: Q Science > QA Mathematics
Divisions: Faculty of Science, Engineering and Medicine > Science > Computer Science
Library of Congress Subject Headings (LCSH): Logic, Symbolic and mathematical -- Study and teaching -- Computer programs
Official Date: June 2012
Dates:
DateEvent
June 2012Available
Status: Peer Reviewed
Publication Status: Published
Access rights to Published version: Closed Access
Funder: European Union. Lifelong Learning Programme
Grant number: 505326-LLP-2009-FI-KA3MP (EU)
Conference Paper Type: Paper
Title of Event: 16th SEFI Mathematics Working Group Seminar
Type of Event: Conference
Location of Event: Salamanda, Spain
Date(s) of Event: 28-30 June 2012
Related URLs:
  • Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics

twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us