The paper discusses tools for teaching logic used in Logic & Proofs, a web-based introduction to modern logic that has been taken by more than 1,300 students since the fall of 2003. The tools include a wide array of interactive learning environments or cognitive mini-tutors; most important among them is the Carnegie Proof Lab. The Proof Lab is a sophisticated interface for constructing natural ...

The paper discusses tools for teaching logic used in Logic & Proofs, a web-based introduction to modern logic that has been taken by more than 1,300 students since the fall of 2003. The tools include a wide array of interactive learning environments or cognitive mini-tutors; most important among them is the Carnegie Proof Lab. The Proof Lab is a sophisticated interface for constructing natural ...

dic ol jen al hemsi is one of the few shiite poets that made use of his poem to express his belief and feeling, instead of praising wealthy and powerful people. one of his important parts of his beliefs centralized on the subject that imam ali is the real sovereign after the prophet mohammad peace be upon him and declared his idea through his poem. dic ol jen presents two kinds of scriptural an...

review: this paper followed that intellectual system of imam khamenei as a thought leader in the field of knowledge-based economy indigenous theory, examine. refresh these ideas will help provide a better picture of this area have and be familiar with the main routes and lines the knowledge-based economy. in this articel resistance economy in this article as one of the major strategies of the c...

last years of 19th century witnessed to rise of an intellectual movement in the muslim-settled lands of russian empire. this movement was called jadidism due to its main cause that was modernizing educational system of russianmuslimsocieties.itsoriginalbasewascrimeaandismail gasprinskii, its founder, was a tatar intellectual whose main concern was to introduce a new method of education for musl...