On some innovations in teaching the formal semantics using software tools.
William SteingartnerPublished in: Open Comput. Sci. (2021)
Keyphrases
- software tools
- formal semantics
- operational semantics
- logical language
- higher education
- er model
- distance learning
- learning analytics
- e learning
- learning process
- first order logic
- formal language
- logical reasoning
- online learning
- learning systems
- learning environment
- theorem prover
- speech acts
- artificial intelligence
- modelling language
- life cycle
- database
- expert systems
- databases