Publication details
E-learningové nástroje v IS MU a výuka logiky
| Title in English | E-learning tools in IS MU for teaching logic |
|---|---|
| Authors | |
| Year of publication | 2008 |
| Type | Appeared in Conference without Proceedings |
| MU Faculty or unit | |
| Citation | |
| Description | We describe animations for teaching comutational logic on basic level and advanced level. They cover truth tables, transformation into normal forms and different kinds of resolution. |