نتایج جستجو برای: deductive c r task

تعداد نتایج: 1675702  

1994
Gregory Butler

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...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی شاهرود - دانشکده علوم انسانی 1390

فرض کنیم 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. در این پایان نامه ابتدا برخی توسیع های حلقه های مک کوی راست را ب...

2008
Qiming Chen

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.

پایان نامه :دانشگاه تربیت معلم - تهران - دانشکده علوم ریاضی و مهندسی کامپیوتر 1391

فرض کنیم ‎ (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‎,...

پایان نامه :دانشگاه تربیت معلم - سبزوار - دانشکده ادبیات و زبانهای خارجی 1390

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...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده ریاضی 1389

رنگ آمیزی یکی از زمینه های مهم در نظریه گراف است. رنگ آمیزی های متعددی برای گراف ها وجود دارد، به عنوان مثال می توان به رنگ آمیزی های رأسی، یالی و کلی اشاره نمود. در سال 2002، هاکمن و دیگران مفهوم [r,s,t]- رنگ آمیزی را معرفی کردند. گراف (g=(v,e با مجموعه رأس های g و مجموعه یال های e و اعداد صحیح نامنفی r,s,t را در نظر بگیرید. یک [r,s,t]- رنگ آمیزی با k رنگ یک نگاشت مانند c از (v(g)?e(g به مجموع...

Journal: :The Journal of Philosophy, Psychology and Scientific Methods 1905

Journal: :Journal of Applied Non-Classical Logics 2023

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...

پایان نامه :دانشگاه تربیت معلم - تهران - دانشکده علوم ریاضی و مهندسی کامپیوتر 1389

فرض کنیم 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 مدول محتوا باشد و در فرمول محتوا ددکیند-مرتنز صدق کند. در این پایان نامه با استفاده از روش های نظریه ایده آل ها، نتایج جدیدی...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید