فروشگاه فایل -بزرگترین و قویترین فروشگاه فایل کشور
مرجع دانلود انواع فایل - پشتیبانی :09157269053-09330513771
فروشگاه فایل -بزرگترین و قویترین فروشگاه فایل کشور
مرجع دانلود انواع فایل - پشتیبانی :09157269053-09330513771دسته بندی فروشگاه فایل
- برنامه نویسی ، سورس ، پروژه 5175
- ++C و C 616
- Access 140
- asp.net 84
- assembly 103
- اندروید 346
- c#.net 238
- delphi 28
- flash 65
- excel 83
- fortran 116
- html5 51
- java 72
- matlab 1235
- PHP پی اچ پی 93
- python 135
- sqlserver 156
- visaulbasic6 81
- visualbasic.net 28
- تجزیه و تحلیل مهندسی نرم افزار 281
- شبیه سازی 376
- گوناگون 758
- نرم افزار های آماده 16301
- طراحی وب و برنامه نویس وب 589
- گرافیک ، هنر دیجیتال ، طراحی 34481
- بنر ، هدر banner , header 1270
- سربرگ و ست ادرای 226
- سه بعدی 1966
- فتوشاپ 16988
- کارت ویزیت 2354
- کورل corelDraw 8695
- موسیقی 345
- میکس و مونتاژ فیلم 2138
- تصاویر و متریال 134
- علوم انسانی 228264
- اقتصاد 12786
- باستان شناسی 488
- برنامه ریزی شهری 615
- تاریخ وادبیات 18849
- علوم تربیتی 2624
- جغرافیا 38064
- حسابداری 10115
- حقوق 15170
- روان شناسی و علوم تربیتی 36952
- زبان های خارجی 5180
- علوم اجتماعی 5989
- علوم سیاسی 2620
- فلسفه و منطق 2964
- کار آموزی 40
- کتابداری 230
- گردشگری و توریسم 662
- مدیریت 24349
- معارف اسلامی 12035
- هنر و گرافیک 594
- مطالعات زنان(فمنیسم) 1
- علوم ارتباطات 161
- آموزش و پرورش 20226
- سایر رشته های علوم انسانی 17586
- علوم پایه 36736
- آمار 2682
- ریاضی 5049
- زمین شناسی 2881
- زیست شناسی 4365
- شیمی 4526
- فیزیک 4580
- کار آموزی 282
- محیط زیست 2248
- فضا 49
- سایر رشته های علوم پایه 10075
- علوم پزشکی 25307
- آناتومی 630
- بهداشت عمومی 1902
- پرستاری 2082
- پزشکی 9683
- پیرا پزشکی 471
- تغذیه 1313
- جنین شناسی 119
- داروسازی 491
- دامپزشکی 585
- دندان پزشکی 232
- روان پزشکی 614
- ژنتیک 264
- طب سنتی 502
- طب کار و ایمنی 280
- طب هسته ای 37
- علوم آزمایشگاهی 532
- فیزیک پزشکی 112
- کار اموزی 69
- مامایی 586
- متافیزیک 23
- پزشکی عمومی 2780
- زنان 141
- سایر رشته های پزشکی 1859
- عمومی و آزاد 52389
- آزمون استخدامی 168
- آموزشی 6889
- سوالات نهایی 260
- طرح 3بعدی 659
- فرم ومستندات 1631
- کنکور 116
- کودک 219
- گوناگون 31090
- لینک مستقیم 6667
- نامه 111
- دانش آموزی 855
- فنی ومهندسی 226265
- استاندارد ها 425
- برق، الکترونیک، مخابرات 15842
- دام وطیور 579
- سرامیک 27
- شهر سازی 761
- شیلات 154
- صنایع 5256
- صنایع غذایی 2575
- عمران 40522
- کار اموزی 491
- کامپیوتر و IT 42201
- کشاورزی وزراعت 9191
- کشتی سازی 76
- معدن 527
- معماری 30451
- مکانیک 16815
- مهندسی مواد 2434
- مهندسی الکترونیک و مخابرات دریایی 102
- مهندسی پزشکی 419
- مهندسی دریا 18
- مهندسی شیمی 3167
- مهندسی کشتی 26
- مهندسی نفت 414
- مهندسی هسته ای 215
- نساجی 131
- نقشه برداری 2918
- گرافیک 1220
- فناوری نانو 44
- مهندسی هوا و فضا 69
- مهندسی محیط زیست 119
- سایر رشته های فنی و مهندسی 40806
- کارآفرینی ، طرح توجیهی 6330
- برق و الکترونیک 303
- تولیدی 1353
- خدماتی و آموزشی 2235
- دام و طیور 191
- شیلات 63
- صنایع دارویی وپزشکی 101
- صنایع دستی 85
- صنایع شیمایی 956
- صنایع غذایی 386
- صنایع معدنی 29
- صنعتی 238
- کشاورزی و زراعت 257
- معماری و عمران 2736
- کتاب ، جزوه 13101
- آشپزی 88
- آموزشی 106
- ادبیات 211
- بیو گرافی 75
- پزشکی 129
- تربیتی 93
- خانه و خانواده 188
- داستانی 121
- دفترچه راهنما 40
- دین و مذهب 224
- روان شناسی و روان پزشکی 188
- زبان های خارجی 526
- زناشویی 34
- شعر 211
- فلسفه و عرفان 38
- فنی و مهندسی 798
- کامپیوتر 560
- کسب و کار و پول 931
- کتاب صوتی 43
- گوناگون 7796
- معماری 184
- موسیقی 320
- نمایشنامه 12
- هنری 185
- محصولات 41592
- لوازم خانگی 56
- پوشاک 192
- ساختمان 413
- اتومبیل 47
- املاک 12
- موبایل و تلفن 2253
- کامپیوتر و اینترنت 1887
- پزشکی 8511
- کشاورزی 151
- دامداری 10
- سیر و سفر 33
- صنعت 713
- خدمات 595
- فرهنگ و هنر 309
- ورزش 216
- بازرگانی 6
- مجالس و مراسم 8
- آموزش 11039
- صنایع دستی 43
- کار و سرمایه 96
- چاپ و تبلیغات 1492
- نرم افزار 3122
- سایر محصولات 10389
- کسب و کار 16100
- کسب و کار اینترنتی 7894
- بازاریابی 726
- استخدام 352
- کار افرینی 4211
- بازرگانی 49
- تجارت 481
- سایر موضوعات کسب وکار 2387
- سرگرمی 3270
- اخبار 1191
- هنر 18280
جستجوگر
آمار وبلاگ : 3614792 بازدید
Powered by Blogsky
پاورپوینت آماده; بررسی ساختار محاسبات لامبدا در تئوری اصلی جانشینی
مطالب اسلایدهای ابتدایی این پاورپوینت به شرح زیر است تعداد اسلاید : 10 اسلاید بررسی ساختار محاسبات لامبدا در تئوری اصلی جانشینی محاسبات لامبدا سیستمی با سه جزء:نشانه گذاری برای تعریف توابعسیستمی برای اثبات تساوی گزاره هامجموعه ای از قوانین که کاهش (reduction) نام دارد تاریخچه هدف اصلی:تئوری اصلی جانشینیبرای توابع قابل محاسبه موفق تر بودجانشینی محاسبه سمبلیکتز Churchطراحی لیسپ، ML و زبانهای دیگر را تحت تأثیر قرار داده است. دلایل مطالعه نشانه گذاری های نحوی پایهمتغیر های آزاد(free) و مق ...
برای نمایش آواتار خود در این وبلاگ در سایت Gravatar.com ثبت نام کنید. (راهنما)
ایمیل شما بعد از ثبت نمایش داده نخواهد شد