تعریف تابع در [[علم رایانه]]، به عنوان حالت خاصی از یک رابطه، به طور گستردهتر در [[منطق]] و [[علم تئوری رایانه]] مطالعه میشود.
== در دیگر علوم دانشها==
توابعتابعها در شاخههای مختلفگوناگون علومدانش کاربرد فراوان دارند. برای مثالنمونه در [[فیزیک]]، هنگامی که میخواهیم رابطه بین چند متغیر را بیان کنیم، مخصوصاًبه ویژه هنگامی که مقدار یک متغیر کاملاً وابسته به متغیرهای دیگر است از توابعتابع استفادهبهره میشودمیبریم.
توابعتابع در علومدانشهای مختلفگوناگون بیشتر به عنوان عملگر در نظر گرفتهاست میشوند که کاری را بر روی ورودیهایدادههای خودورودی انجاممیدهندمیانجامد. توابعتابع را همچنین مورد استفاده در [[علم رایانه]] برای مدلسازی [[ساختمان داده|ساختمان دادهها]] و تأثیرات [[الگوریتم]] میبینیم.