We have developed an alternative approach to teaching computer science students how to prove. First, students are taught how to prove theorems with the Coq proof assistant. In a second, more difficult, step students will transfer their acquired skills to the area of textbook proofs. In this article we present a realisation of the second step. Proofs in Coq have a high degree of formality while ...

Aims and Objectives: This study investigates the effects of individual bilingualism and long-term language contact on monophthongal vowel productions in English and Welsh. Design: To this end, we recorded the Welsh and English vowel productions of two sets of Welsh-English bilinguals differing in home language use, as well as the English vowel productions of English monolinguals. Data and analy...

This article is devoted to the study of role pragmatic potential phraseological units in realization cognitive models situations. The timeliness this work consists absence at moment information about components situations that can be most effectively used by authors articles realize their intentions through units. purpose determine are actualized and brought fore pragmatics texts English-langua...

one of the fundamental notions of realization of sustainable city within the framework of the theory of sustainable development is what affects the urban green spaces as well as the influence they may have. as the upshot of years’ worth of experiences in the ideology of iranian urban design, iranian garden is of magnificently high position which possesses the potentials to act as the green spac...

this study was an attempt to shed light on the use of requestive speech act by iranian nonnative speakers (nnss) of english and canadian native speakers (nss) of english to find out the (possible) similarities and/or differences between the request realizations, and to investigate the influence of the situational variables of power, distance, context familiarity, and l1’s (possible) influence. ...