Browsing by Author "Boussaha, Karima"

Now showing 1 - 2 of 2
  • No Thumbnail Available
    Item
    Design and realization of a massive open and online courses in the field of health
    (University of Oum El Bouaghi, 2023) Korari, Safa; Boussaha, Karima
    This research study presents a comprehensive overview of Massive Open Online Courses (MOOCs) as a preferred method of learning in the modern era, surpassing traditional approaches. The focus is primarily on MOOCs in the field of health, particularly examining their impact during the challenging times brought about by the COVID-19 pandemic. The study explores the utilization of MOOCs in health education and highlights their significance in providing continuous learning opportunities. The development of the MOOCs platform is discussed, emphasizing the inclusion of course materials such as PDFs and videos, as well as tests to track learner progress. The role of the MOOCs platform in facilitating remote learning and enabling access to educational resources from anywhere and at any time is emphasized. Particularly during critical situations and epidemics like the COVID-19 outbreak, when physical classrooms are inaccessible or unsafe, MOOCs serve as a vital tool for ensuring uninterrupted education. The findings underscore the importance of the MOOCs platform in the context of distance learning and its relevance during times of crisis.
  • No Thumbnail Available
    Item
    Mathematical logic course and tutorial materials
    (University of Oum El Bouaghi, 2026) Boussaha, Karima
    This course in Mathematical Logic introduces the fundamental principles of formal reasoning and logical analysis used in mathematics and computer science. It explores the concepts of syntax and semantics, focusing on the representation and evaluation of logical statements. The course covers propositional logic, including propositions, logical connectives, truth tables, tautologies, satisfiability, normal forms (CNF and DNF), and proof systems such as resolution and refutation methods. It also introduces predicate logic as an extension of propositional logic, emphasizing predicates, quantifiers, free and bound variables, structures, interpretations, and semantic validity. Through theoretical explanations, solved exercises, and practical applications, the course aims to develop students’ ability to formalize reasoning, analyze logical structures, and apply logical methods to problem-solving in computer science and mathematics.