تهدف الأعمال التطبيقية للميكانيك إلى ترسيخ المفاهيم النظرية المدروسة خلال المحاضرات من خلال تجارب عملية، تسمح للطالب بفهم الظواهر الفيزيائية المرتبطة بالحركة والقوى والطاقة
يتمكن الطالب من خلال هذه الحصص من تطوير مهارات القياس، استخدام الأجهزة، تحليل النتائج، واستخلاص القوانين الفيزيائية، مع التركيز على الدقة والتجريب العلمي
This module is designed for first-year students in the common core of Computer Engineering.
It provides a solid foundation in mathematical logic, focusing on propositional logic and predicate logic, and their role in formal reasoning.
Students will learn to construct and analyze logical statements, translate natural language into formal expressions, and apply rules of inference to build valid proofs.
The course develops essential skills for problem-solving in computer science and mathematics.
This course introduces L2 undergraduate students to the principles of formal languages, which are essential in theoretical computer science and the design of programming languages and compilers. It covers core concepts such as formal languages, grammars, and automata. At the end of this course, the student will be able to apply formal models and representations of languages to solve decision problems in language theory.
Keywords: Formal languages, automata, regular expressions, grammars, pushdown automata, Turing machine.