نتایج جستجو برای: free constructions of abstract groups

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

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد مرودشت - دانشکده علوم تربیتی و روانشناسی 1393

type text or a website address or translate a document. abstract liquidity is considered the most important aspect of the development of stock markets. the main objective of this study was to evaluate the effect of the quality of financial information provided to replace its financial statements nmvdh and shrkt hayy that the liquidity of the shares on the tehran stock exchange is between the ...

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

in current study, 63 samples of bat populations collected from differ regions were used for evaluating the geographic variations. twenty cranial and dental characters for traditional morphometric and landmarks method on the ventral, dorsal skull and mandible for geometry morphometric studies were used. statistical analyses of traditional morphometric and geometry morphometric data indicated low...

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

abstract global financial crisis has created too many problems in relations among governments. among these problems, the issue of global monetary management, more than every time in the past four decades, has been moved in the center of international economic attentions. a problem which is specially known with the monetary hostility between united states and public republic of china. where ar...

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

چکیده در بخش اول این پروژه دو روش میکرواستخخرا به نامهای میکرواسخخرا امولسیونی با کمک اموا فراصتتتو 1 و میکرواستتتخخرا مای – مای با کمک هوا 2 ، به عنوان دو روش میکرواستتتخخرا بدون حلال پخشکننده 3 ، برای اسخخرا برخی هیتدروکربتنهای آروماتیتک حلقوی 4 از نمونتههای آبتی بهکار گرفخه و پارامخرهای موثری همچون نوع حلال اسختتتتخرا کننده، حجم حلال اسخخرا کننده، میزان نمک، زمان تابش اموا فراصتو ، تددا...

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

chapters 1 and 2 establish the basic theory of amenability of topological groups and amenability of banach algebras. also we prove that. if g is a topological group, then r (wluc (g)) (resp. r (luc (g))) if and only if there exists a mean m on wluc (g) (resp. luc (g)) such that for every wluc (g) (resp. every luc (g)) and every element d of a dense subset d od g, m (r)m (f) holds. chapter 3 inv...

Journal: :Math. Log. Q. 2013
Eric Jaligot

We give two slight generalizations of results of Poizat about elementary theories of groups obtained by free constructions. The firstone concerns generic types and the non-superstability of such groups in many cases. The second-one concerns the connectedness of most free products of groups without amalgamation. First-order theories of free products of groups have been recently investigated in [...

1989
Zhaohui Luo

We present a higher-order calculus ECC which can be seen as an extension of the calculus of constructions CH88] by adding strong sum types and a fully cumulative type hierarchy. ECC turns out to be rather expressive so that mathematical theories can be abstractly described and abstract mathematics may be adequately formalized. It is shown that ECC is strongly normalizing and has other nice proo...

پایان نامه :0 1374

the present study investigated the effect of the two vocabulary teaching techniques in est, namely the use of translation and the use of visual aids as two separate vocabulary teaching techniques. to answer the question of the study, a pretest (michigan test) was administered to the 58 randomly selected est students at khajeh nasiredin tusi university, faculty of mechanics. after the homogeneit...

2002
Paula Severi Nora Szasz

Based on the Calculus of Constructions extended with in-ductive deenitions we present a Theory of Speciications with rules for simultaneously constructing programs and their correctness proofs. The theory contains types for representing speciications, whose corresponding notion of implementation is that of a pair formed by a program and a correctness proof. The rules of the theory are such that...

2007
Marcelo Fiore Chung-Kil Hur

The purpose of this paper is threefold: to present a general abstract, yet practical, notion of equational system; to investigate and develop a theory of free constructions for such equational systems; and to illustrate the use of equational systems as needed in modern applications, specifically to the theory of substitution in the presence of variable binding and to models of name-passing proc...

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

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