current_research_projects
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| current_research_projects [2016/10/05 17:48] – adolfont | current_research_projects [2020/11/19 11:42] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ==== Logic-SAT ==== | ==== Logic-SAT ==== | ||
| + | |||
| + | What are the common features of the best SAT Solvers? | ||
| + | |||
| + | Can you build an effective SAT Solver in a slow language like Clojure? | ||
| ==== Logic-Teaching ==== | ==== Logic-Teaching ==== | ||
| + | |||
| + | Is it possible to help students learn Logic more and faster by providing them with tools that require concentration and text-based skills? | ||
| ==== Dojo-Teaching-Programming ==== | ==== Dojo-Teaching-Programming ==== | ||
| + | |||
| + | Is it possible to help students learn programming better and faster by introducing Coding Dojo Activities? | ||
current_research_projects.1475689720.txt.gz · Last modified: 2020/11/19 11:42 (external edit)