Loading...
Search for:
intuitionism
0.067 seconds
Total 3 records
List View
Gallery View
| # | Type | Title | Author | Publisher | Pub. Year | Subjects | Call Number |
|---|---|---|---|---|---|---|---|
| 1 | پایان نامه |
لبگ اندازهپذیری توابع پیوسته در ریاضیات ساختی
Lebesgue Measurability of Continuous Functions in Constructive Analysis |
برقرار جهرمی، علی Bargharar Jahromi, Ali | صنعتی شریف | 1392 | شهود گرایی Intuitionism / ریاضیات ساختی بیشاپ Bishop's Constructive Mathematics / تحلیل ساختی Constractive Analysis / فضاهای لبگ Lebesgue Spaces / لبگ اندازهپذیری Lebesgue Measurability |
02-55586
|
| 2 | پایان نامه | حل مبتنی بر معناشناسی مساله ی پایبندی Semantics Based Compliance Solving | بشارتی، محمد رضا Besharati, Mohammad Reza | صنعتی شریف | 1403 | بررسی پایبندی Compliance Checking / شهود گرایی Intuitionism / محک ورزی قانون محور Rule-Based Benchmarking / حل پایبندی Compliance Solving / منطق معانی Semantic Logic / ادغام معانی Semantic Compilation / معناشناسی رسمی Formal Semantics |
19-58172
|
| 3 | پایان نامه | منطق Σ1-اثبات پذیری حساب شهودگرایانه Σ1−Provabiⅼity Ⅼogiⅽ of Heyting Arithⅿetiⅽ | دژبرد، نوید Ⅾejborⅾ, Naviⅾ | صنعتی شریف | 1403 | منطق اثبات پذیری Provability Logic / شهود گرایی Intuitionism / حساب Arithmetic / منطق موجهات Modal Logic / تعبیرپذیری Interpretability / تحقق پذیری Realizability |
02-58315
|