Sciweavers

1698 search results - page 144 / 340
» Who Students Interact With
Sort
View
FLAIRS
2007
14 years 1 months ago
Teaching NL to FOL and FOL to CF Conversions
In this paper, we present ways of teaching the NL to FOL and the FOL to CF conversions. NL to FOL conversion teaching is based on the use of a structured and interactive process o...
Ioannis Hatzilygeroudis
SIGCSE
2010
ACM
166views Education» more  SIGCSE 2010»
13 years 11 months ago
Introducing concurrency in CS 1
Because of the growing importance of concurrent programming, many people are trying to figure out where in the curriculum to introduce students to concurrency. In this paper we di...
Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P....
IGPL
2007
113views more  IGPL 2007»
13 years 10 months ago
Pandora: A Reasoning Toolbox using Natural Deduction Style
Pandora is a tool for supporting the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the ‘‘e-tutor’â...
Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Ale...
AIEDU
2005
93views more  AIEDU 2005»
13 years 10 months ago
The Logic-ITA in the Classroom: A Medium Scale Experiment
This paper presents the experiment and consequent evaluation of introducing the Logic-ITA in a second year tertiary undergraduate class. The Logic-ITA is a web-based Intelligent Te...
Kalina Yacef
JCD
2000
72views more  JCD 2000»
13 years 10 months ago
Participating from the sidelines, online: facilitating telementoring projects
Asynchronous, text-based communication is different from most other forms of interchange in important ways. It lacks the full spectrum of visual and audible information that peopl...
Judith B. Harris, Candace Figg