Teaching Functional Programmers Logic and Metatheory.
Frederik Krogsdal JacobsenJørgen VilladsenPublished in: TFPIE (2022)
Keyphrases
- programming language
- learning environment
- object oriented
- computer programming
- programming concepts
- source code
- logic programming
- higher education
- programming course
- modal logic
- asynchronous circuits
- learning systems
- online learning
- distance learning
- learning process
- predicate logic
- multi valued
- software development
- hybrid learning
- educational technology
- learning analytics
- problem based learning
- software engineering
- teacher education
- logical framework
- classical logic
- computer science education
- high school
- computer users
- high level