منابع مشابه
Consequence Relations and Natural Deduction
1 Consequence Relations A useful notion that cuts across both semantic (model-oriented) and syntactic (derivation-oriented) issues is the notion of a consequence relation. We will use capital Greek letters like Γ,∆ (Gamma and Delta) to refer to finite sets of formulas, and lower case Greek letters like φ, ψ (phi and psi) to refer to individual formulas. We will save ink by writing Γ,∆ for the s...
متن کامل0 Thermodynamical relations in systems with aging and slow relaxation
The experimental time scale dependence of thermodynamical relations in nonequilibrium systems with slow dynamics is considered theoretically by using only the scaling law of the two-time correlation function and the generalized fluctuation-dissipation theorem. We show that there are two experimental time regimes characterized by different thermal properties. In the first regime where the waitin...
متن کاملthe effect of taftan pozzolan on the compressive strength of concrete in the environmental conditions of oman sea (chabahar port)
cement is an essential ingredient in the concrete buildings. for production of cement considerable amount of fossil fuel and electrical energy is consumed. on the other hand for generating one tone of portland cement, nearly one ton of carbon dioxide is released. it shows that 7 percent of the total released carbon dioxide in the world relates to the cement industry. considering ecological issu...
romantic education:reading william wordsworths the prelude in the light of the history of ideas
عصر روشنگری زمان شکل گیری ایده های مدرن تربیتی- آموزشی بود اما تاکید بیش از اندازه ی دوشاخه مهم فلسفی زمان یعنی عقل گرایی و حس گرایی بر دقت و وضوح، انسان عصر روشنگری را نسبت به دیگر تواناییهایش نابینا کرده و موجب به وجود آمدن افرادی تک بعدی شد که افتخارعقلانیتشان، تاکید شان بر تجربه فردی، به مبارزه طلبیدن منطق نیاکانشان وافسون زدایی شان از دنیا وتمام آنچه با حواس پنجگانه قابل درک نبوده و یا در ...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Edinburgh Mathematical Society
سال: 1891
ISSN: 0013-0915,1464-3839
DOI: 10.1017/s0013091500030996