المنطق والمعلومات والحساب

بدأ المنطق الرياضي الحديث مع أعمال كانتور وفريجيه وغيرهم من علماء الرياضيات خلال العقود الثلاثة الأخيرة من القرن التاسع عشر الذين اهتموا بتوفير أساس سليم لتطوير التحليل الرياضي. في أعقاب "الأزمة في أسس الرياضيات" التي عجل بها اكتشاف العديد من المفارقات المنطقية في مطلع القرن العشرين، تابع علماء الرياضيات والفلاسفة مثل هيلبرت ورسل تحقيقات مكثفة في الأسس المنطقية للرياضيات. ظلت الروابط بين المنطق وأسس الرياضيات مصدرًا مهمًا للتطورات العلمية في المنطق من خلال النتائج التاريخية لجودل في عامي 1930 و1931، والتي أشارت إلى نطاق وحدود ميكنة التفكير الرياضي. أدى الانفجار الكبير في النشاط العلمي الناتج عن نتائج جودل مباشرة إلى توصيف تورينج الرياضي للحساب الميكانيكي من حيث الأجهزة البسيطة، المعروفة الآن باسم آلات تورينج. لقد أرست أعمال جودل وتورينج وغيرهما من علماء المنطق خلال ثلاثينيات القرن العشرين الأسس العلمية للثورة في مجال الكمبيوتر وتكنولوجيا المعلومات التي بدأت في النصف الأخير من القرن العشرين وما زالت مستمرة حتى اليوم.

يقدم برنامج المنطق والمعلومات والحساب للطلاب فرصة المشاركة في برنامج دراسي منهجي ومتكامل داخل كلية الآداب والعلوم. يظل المنطق أحد التخصصات الأساسية في التحقيقات المتعلقة بالمعلومات والحساب. في الواقع، يلعب المنطق دورًا رئيسيًا في التقدم في مجال أمن الكمبيوتر، وتكنولوجيا قواعد البيانات، والشبكات، وهندسة البرمجيات. علاوة على ذلك، وسع المنطق دوره في الرياضيات إلى ما هو أبعد من الدراسات التأسيسية، ويتمتع الآن بروابط غنية مع مجالات متنوعة مثل الجبر والتحليل والتوافقيات. في ضوء الأهمية الحالية للتحقيق في الحساب والمعلومات من وجهة النظر العلمية والتكنولوجية، فإن التخصص الرئيسي والثانوي في المنطق والمعلومات والحساب سيزود الطلاب بخلفية قوية لمتابعة الجوانب الحسابية للبيئة الطبيعية والبيولوجية. والعلوم الاجتماعية وإعدادهم للمهن في مجال تكنولوجيا المعلومات.

الحد الأدنى لإجمالي وحدات الدورة للتخرج في هذا التخصص هو 36. قد تتطلب التخصصات المزدوجة المزيد من وحدات الدورة.