مرحبا أريد أن أسأل إذا كان هنالك مراجع أو كتب "رسمية/غير رسمية" أو محاضرات عن المواضيع التالية في كلية الهندسة المعلوماتية :
- الجبر البولياني
- منطق : صيغ باخوس - نورا , منطق المكممات , منطق الإسناديات
- ألة تورينغ + أوتومات ( حتمي و لا حتمي )
و إذا كانت هذه المراجع متوفرة في مكان ما ( كشك - مكتبة - مخازن كتب ..... ) يرجى أن يتم تعريفي بأماكن بيعها أو كيفية الحصول عليها
شكرا جزيلا لكم سلفا
