[ویکی فقه] مصحف عطاء بن ابی رباح تابعی به مصحف تهیه شده توسط عطاء بن ابی رباح تابعی اطلاق می شود. از مصحف های تابعان، مصحف عطاء بن ابی رباح (۲۷ - ۱۱۴ق) از تابعان مشهور، و شاگرد ابوهریره است. فقط یک مورد از اختلاف قرائتش را ابن ابی داوود در آیه ۱۷۵ سوره آل عمران باز گفته است. وی «یخوفکم اولیاءه» خوانده است، که قرائت مشهور «یخوف اولیاءه» است.
جمله سازی با مصحف عطاء بن ابی رباح تابعی
تابع ثابت تابعی است که برد آن تنها شامل یک عضو است؛ و برای هر ورودی همیشه مقدار ثابتی را می‌دهد.
مجموعهٔ تهی نیز تابعی همانی شمرده می‌شود.
نمایش دهیم می‌توان آن را به صورت تابعی از
در حساب لامبدای بی‌نوع، هر تابعی به شکل مرتبهٔ بالاتر است. در حساب لامبدای نوع‌دار که بر اساس آن عمدهٔ زبان‌های برنامه‌نویسی تابعی تکامل یافته‌اند، توابع مرتبهٔ بالاتری که یک تابع به عنوان ورودی خود می‌گیرند، مقدارهایی با نوعی به شکل
تابعی است که مقدار آن برابر ۱برای جابه‌جایی‌های (
برای رسم نمودار هر تابعی باید تابع خصوصیات زیر را دارا باشد