انا طالب علم حاسوب،، و الصراحة لم يتم تقديمي لمساق نظرية التحسيب او computabilty theory و الى الاثباتات في البرمجة،، المهم انني اقوم بتطوير لغة برمجة مهتمة باتجاه معين و قد انجزت منها ما انجزت و هي مبنية على اساس علمي جيد و قد قرأت في العديد من الاماكن عن القيمة المضافة اذا ما تمت اضافة الاثباتات و دراسة الجانب النظري من اللغة في بحثي،، فهل يمتلك احدكم كتباً او مواقع او مقالات يمكنكم ارشادي اليها لتطبيقها على مشروعي؟

بسم الله الرحمن الرحيم،، لا اعلم ان كان قسم البرمجة العامة هو المكان المناسب،، لكنه هو الاقرب الى سؤالي،، انا مطور برمجيات و اعمل 90% من وقتي على بيئة و انظمة جنو/لينكس،، لدي خبرة جيدة بلغات مثل الــpython الجافا و لغتي الــ c/c++ و اطمح لتعلم الــ C# لبناء برمجيات تعتمد على الــ GTK# في رسم محتواها،، سؤالي هو: ما هو افضل بيئة تطوير متكاملة (IDE) للــ C# على نظام جنو/لينكس و اين اجد بعض ما يساعدني في تعلمها... و