Keyphrases
- computer programming
- high school
- formal language
- computer technology
- secondary school
- computer programs
- natural language
- language learning
- teaching methods
- teaching practices
- programming language
- modal operators
- modal logic
- logic programming
- proof theory
- computer usage
- school education
- dynamic logic
- teacher training
- computer skills
- higher education
- online learning
- college level
- operational semantics
- learning analytics
- learning process
- school teachers
- highly expressive
- intuitionistic logic
- predicate calculus
- predicate logic
- primary school
- computer systems
- programs written
- e learning
- middle school mathematics
- preservice teachers
- science teachers
- technology integration
- object oriented programming
- learning environment