Skip to main content
  • Home
  • ODeL
  • More
    • Log in
Home ODeL
UoEm Elearning Portal
  • Home
  • Courses
    • Bachelor of Science in Cyber Security
      • Introduction to Programming-G2
      • Introduction to Computer Systems-G2
      • Open-Source Fundamentals
      • Digital Law and Evidence
      • Introduction to Cyber Security
      • Operating Systems-G2
    • DOCTOR OF PHILOSOPHY IN AGRICULTURAL EXTENSION
      • AEX 805 Agricultural Extension in Changing Climatic Conditions
      • AEX 801 Rural Development and Social Transformation
      • AEX 808 Agricultural Extension Planning and Evaluation
      • AEX 802 Advanced Statistics
      • AEX 803 Contemporary Innovations and Technology Transfer
      • AEX 804 Application of ICT in Agricultural Extension
    • BACHELOR OF SCIENCE IN AGRICULTURE
      • AGRICULTURAL ENTOMOLOGY SEM 1 20262027
      • AEC 403 Agricultural Extension and Technology transfer
      • ACP 608 ENVIRONMENTAL PROTECTION
      • CATTLE, SHEEP AND GOAT PRODUCTION SEM 1 2026/2027
      • ANALYTICAL METHODS IN ANIMAL SCIENCE SEM 1 2026/2027
      • PRINCIPLES OF ANIMAL NUTRITION SEM 1 2026/2027
    • Bachelor of Science in Actuarial Science
      • Information Systems Management
    • View all
  • Courses
    Bachelor of Science in Cyber Security
    • Introduction to Programming-G2
    • Introduction to Computer Systems-G2
    • Open-Source Fundamentals
    • Digital Law and Evidence
    • Introduction to Cyber Security
    • Operating Systems-G2
    DOCTOR OF PHILOSOPHY IN AGRICULTURAL EXTENSION
    • AEX 805 Agricultural Extension in Changing Climatic Conditions
    • AEX 801 Rural Development and Social Transformation
    • AEX 808 Agricultural Extension Planning and Evaluation
    • AEX 802 Advanced Statistics
    • AEX 803 Contemporary Innovations and Technology Transfer
    • AEX 804 Application of ICT in Agricultural Extension
    BACHELOR OF SCIENCE IN AGRICULTURE
    • AGRICULTURAL ENTOMOLOGY SEM 1 20262027
    • AEC 403 Agricultural Extension and Technology transfer
    • ACP 608 ENVIRONMENTAL PROTECTION
    • CATTLE, SHEEP AND GOAT PRODUCTION SEM 1 2026/2027
    • ANALYTICAL METHODS IN ANIMAL SCIENCE SEM 1 2026/2027
    • PRINCIPLES OF ANIMAL NUTRITION SEM 1 2026/2027
    Bachelor of Science in Actuarial Science
    • Information Systems Management
  • ODeL

      • Course info

      SCS 703:Computer Logic and Symbolic Reasoning

      SEMESTER 1 2025/2026

      • Teacher: Dr. Aaron Mogeni Oirere

      Get In Touch
      • University Website
      • ODeL Website
      • Portal
      CONTACT US

      P. O. Box 6 – 60100, Embu, Kenya

      Phone: +254-727 933950 / +254-788 199505

      E-mail: info@embuni.ac.ke

      Contact site support
      You are not logged in. (Log in)
      Get the mobile app
      Powered by Moodle