نتایج جستجو برای: deductive c r task
تعداد نتایج: 1675702 فیلتر نتایج به سال:
Datalog is the language of deductive databases, a rst step towards intelligent relational databases. TwoGroups is a database of p-groups, primarily the groups of order dividing 2 8 , which has seen actually use by research mathematicians. TwoGroups was originally developed on the NU-Prolog platform. We report on our eeorts to implement a Datalog interpreter in C++, and to implement TwoGroups in...
فرض کنیم r یک حلقه جابجایی و g(x),f(x) دو چندجمله ای ناصفر از r[x] باشند. مک کوی ثابت کرد که اگر f(x)g(x)=0، آنگاه عنصر ناصفر c ?r وجود دارد به طوریکه f(x)c=0. حلقه r (نه لزوماً جابجایی) را مک کوی راست می نامیم، هرگاه g(x),f(x) دو چندجمله ای ناصفر از r[x]باشند و f(x)g(x)=0، آنگاه عنصر ناصفر c ?r وجود داشته باشد به طوریکه f(x)c=0. در این پایان نامه ابتدا برخی توسیع های حلقه های مک کوی راست را ب...
A rule-based object/task modelling approach for GIS's is proposed which is characterized by specifying database app lications in terms of localized domain knowledge representa tion and explicit control knowledge representation! and by utilizing complementaryly the techniques of database, logic and object—oriented programming to support inferencing and deductive quering.
فرض کنیم (r, m) یک حلقه ی موضعی، نوتری و گرنشتاین n -بعدی باشد. برای هر ایده آل سره ی i از r با grade(i)=c ، ثابت عددی au _{i, j}(i) را به عنوان بعد سوکل h _{fm}^{i}(h _i^{n-j}(r)) تعریف می کنیم. درحالتی که r موضعی منظم بوده و شامل یک میدان باشد، این اعداد همان اعداد لیوبزنیک lambda _{i, j} (r /i) می باشند. اگر d = dim (r /i) ، آن گاه از نماد au _{d,...
this study investigated the effects of planning on second-language written production with regard to task type. the participants were 75 iranian learners of english as a foreign language attending a private foreign language institution. they were asked to complete two different types of writing tasks (expository writing task and argumentative writing task) in different planned conditions (indiv...
رنگ آمیزی یکی از زمینه های مهم در نظریه گراف است. رنگ آمیزی های متعددی برای گراف ها وجود دارد، به عنوان مثال می توان به رنگ آمیزی های رأسی، یالی و کلی اشاره نمود. در سال 2002، هاکمن و دیگران مفهوم [r,s,t]- رنگ آمیزی را معرفی کردند. گراف (g=(v,e با مجموعه رأس های g و مجموعه یال های e و اعداد صحیح نامنفی r,s,t را در نظر بگیرید. یک [r,s,t]- رنگ آمیزی با k رنگ یک نگاشت مانند c از (v(g)?e(g به مجموع...
This paper discusses and compares various answers to the question when argumentation is deductive. includes an answer questions defeasible whether a subclass of deductive or it distinct form argumentation. It concluded that as conceived by Philosophers like Pollock Rescher formalised in ASPIC+ framework systems Defeasible Logic Programming, are semantically different categories. For this reason...
فرض کنیم m یک –rمدول و c تابعی از m به گردایه ایده آل های r است که به صورت زیر تعریف می شود. c(x)=?{i:iکوچکتر و یا مساوی r, x?im} (x?m مدول m یک –r مدول محتوا نامیده می شود اگر برای هر x?c (x)m, x?m. –r جبر b یک –r جبر محتوا نامیده می شود در صورتی که b یکدست با وفا و –r مدول محتوا باشد و در فرمول محتوا ددکیند-مرتنز صدق کند. در این پایان نامه با استفاده از روش های نظریه ایده آل ها، نتایج جدیدی...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید