The value of the learning objectives used by teacher in lesson plans process must require that Al-Qur’an. It is as a book instructions and source knowledge explaining should be included plans. This research literature study (library research). data sources this consisted primary form Qur'an Surah al-Baqarah (verses 31, 32, 102, 129, 151, 239, 251), Ali Imran 48, 79, 164), An-Nisa ( verse 113). ...

Abstract Mungojerrie is an extensible tool that provides a framework to translate linear-time objectives into reward for reinforcement learning (RL). The convergent RL algorithms stochastic games, reference implementations of existing translations $$\omega $$ ω -regular objectives, and internal probabilistic ...