نتایج جستجو برای: syllogistic parts well
تعداد نتایج: 1646689 فیلتر نتایج به سال:
An approach to the problem of developing provably correct programs has been to enrich a theorem prover for Hoare logic with decision procedures for a number of decidable sublanguages of set theory (EMLS, MLS, and extensions) and arithmetic (FPILP) Sch77]. Citing results of Goldberg Gol79] on average case behavior of algorithms for SAT, it was hoped that these decision procedures would perform w...
The present study extended the investigation of the belief bias effect in syllogistic reasoning in two ways: (1) The effect was studied under instructions to decide whether conclusions were possible, as well as necessary, given the premises; and (2) the effect was studied for types of syllogism where people rarely endorse the conclusions as well as those (valid and fallacious) where endorsement...
today, the route for economic development in most countries is the same as international open competitive economy. economic institutes well known that supportive public economy belonged on the past and they may compete in the global economy. it is obvious that if they have no competitive potency or not familiar with competition technique, they may be devastated. banking system aims to collect t...
the application of e-learning systems - as one of the solutions to the issue of anywhere and anytime learning – is increasingly spreading in the area of education. content management - one of the most important parts of any e-learning system- is in the concern of tutors and teachers through which they can obtain means and paths to achieve the goals of the course and learning objectives. e-learn...
the effect of poss instruction in comparison with conventional instruction on development of esp learners’ parts of speech knowledge and attitude toward call.
The main goal of this contribution is to introduce a cross-platform application to learn-teach syllogistic. We call this application dasasap for develop all syllogisms as soon as possible. To introduce this application we show the logical foundations for the game with a system we call L , and its interface developed with LiveCode. 1998 ACM Subject Classification F.4.1 Mathematical Logic, K.8 Pe...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید