Skip to main content
  • Home
  • ODeL
  • More
    • Log in
Home ODeL
UoEm Elearning Portal
  • Home
  • Courses
    • DOCTOR OF PHYLOSOPHY IN ECEONOMICS
      • BAE 801 Research Methods S1 25/26AY
    • MASTER OF SCIENCE IN PLANT BREEDING AND BIOTECHNOLOGY
      • BREEDING EAST AFRICAN CROPS SEM 1 20252026
      • ADVANCED PLANT PHYSIOLOGY AND METABOLISM SEM 1 20252026
      • BIOTECHNOLOGY, CYTOGENETICS AND MUTATION BREEDING SEM 1 20252026
      • CROP BIOTECHNOLOGY AND IMPROVEMENT SEM 1 20252026
      • BREEDING FOR BIOTIC AND ABIOTIC STRESSES SEM 1 20252026
      • BREEDING EAST AFRICAN CROPS SEM 2 20242025
    • BACHELOR OF SCIENCE IN INFORMATION TECHNOLOGY
      • CCS 104 Elements of Economics Sem II 25/26 AY (ALL COHORTS)
      • Linear Algebra – G2
      • SEM 1 2025/2026 AY SIT 214: Digital Systems
      • Discrete Mathematics-G2
      • Entrepreneurship and Business Management
      • Differential and Integral Calculus – G1
    • BACHELOR OF SCIENCE IN NURSING (DIRECT ENTRY)
      • SPECIAL SENSES
      • Clinical Chemistry & haematology
      • Midwifery 3
      • Medical parasitiology
      • Human pathology
      • Pharmacology & pharmaceuticals 2
    • View all
  • Courses
    DOCTOR OF PHYLOSOPHY IN ECEONOMICS
    • BAE 801 Research Methods S1 25/26AY
    MASTER OF SCIENCE IN PLANT BREEDING AND BIOTECHNOLOGY
    • BREEDING EAST AFRICAN CROPS SEM 1 20252026
    • ADVANCED PLANT PHYSIOLOGY AND METABOLISM SEM 1 20252026
    • BIOTECHNOLOGY, CYTOGENETICS AND MUTATION BREEDING SEM 1 20252026
    • CROP BIOTECHNOLOGY AND IMPROVEMENT SEM 1 20252026
    • BREEDING FOR BIOTIC AND ABIOTIC STRESSES SEM 1 20252026
    • BREEDING EAST AFRICAN CROPS SEM 2 20242025
    BACHELOR OF SCIENCE IN INFORMATION TECHNOLOGY
    • CCS 104 Elements of Economics Sem II 25/26 AY (ALL COHORTS)
    • Linear Algebra – G2
    • SEM 1 2025/2026 AY SIT 214: Digital Systems
    • Discrete Mathematics-G2
    • Entrepreneurship and Business Management
    • Differential and Integral Calculus – G1
    BACHELOR OF SCIENCE IN NURSING (DIRECT ENTRY)
    • SPECIAL SENSES
    • Clinical Chemistry & haematology
    • Midwifery 3
    • Medical parasitiology
    • Human pathology
    • Pharmacology & pharmaceuticals 2
  • 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