Skip to main content
  • Home
  • ODeL
  • More
    • Log in
Home ODeL
UoEm Elearning Portal
  • Home
  • Courses
    • Economics and Finance
      • REAL ESTATE FINANCE & INVESTMENT
      • FUNDAMENTALS OF FINANCIAL MANAGEMENT (GROUP B)
      • BAE 406 ECONOMICS OF INDUSTRY S1 25/26 AY
      • BAE 421 INTRODN TO RESEARCH METHODS S1 25/26 AY
      • BAE 403 FINANCIAL ECONOMICS S1 25/26 AY
      • BES 400 FUNDAMENTALS OF ECONOMETRICS I S1 25/26 AY
    • BACHELOR OF SCIENCE IN INFORMATION TECHNOLOGY
      • SEM 1 2025/2026 AY SIT 214: Digital Systems
      • Discrete Mathematics-G2
      • Entrepreneurship and Business Management
      • Differential and Integral Calculus – G1
      • Discrete Mathematics-G1
      • SEM I 2024/25 SIT 214: Digital Systems
    • BACHELOR OF SCIENCE IN ANALYTICAL CHEMISTRY
      • SEM 1 2025/2026AY : SCA 404: Nano Chemistry
      • SEM 1 2025/2026AY : SCI 405: Fine Chemicals for Pharmaceuticals
      • SEM 1 2025/2026 AY : SCH 408: Nuclear and Radiation Chemistry
      • SCE 406: Hazardous Waste Management
      • SEM 1 2025/2026 SCA 404: Thermal Analysis and Polymer Characterization Methods
      • SEM 1 2025/ 2026 SCA 201: Quantitative Analysis
    • BACHELOR OF SCIENCE IN BIOLOGY
      • SBT 204: PLANT STRUCTURE AND FUNCTION SEM 2 2023/2024 AY GROUP B
      • SZL 302: Evolutionary Biology, Sem 2 2023/24AY
      • SBT 214: Plant Biochemistry
      • SZL 204: Basic Immunology
      • SBT 307: Ecophysiology
      • SBT 421: GIS and Remote Sensing
    • View all
  • Courses
    Economics and Finance
    • REAL ESTATE FINANCE & INVESTMENT
    • FUNDAMENTALS OF FINANCIAL MANAGEMENT (GROUP B)
    • BAE 406 ECONOMICS OF INDUSTRY S1 25/26 AY
    • BAE 421 INTRODN TO RESEARCH METHODS S1 25/26 AY
    • BAE 403 FINANCIAL ECONOMICS S1 25/26 AY
    • BES 400 FUNDAMENTALS OF ECONOMETRICS I S1 25/26 AY
    BACHELOR OF SCIENCE IN INFORMATION TECHNOLOGY
    • SEM 1 2025/2026 AY SIT 214: Digital Systems
    • Discrete Mathematics-G2
    • Entrepreneurship and Business Management
    • Differential and Integral Calculus – G1
    • Discrete Mathematics-G1
    • SEM I 2024/25 SIT 214: Digital Systems
    BACHELOR OF SCIENCE IN ANALYTICAL CHEMISTRY
    • SEM 1 2025/2026AY : SCA 404: Nano Chemistry
    • SEM 1 2025/2026AY : SCI 405: Fine Chemicals for Pharmaceuticals
    • SEM 1 2025/2026 AY : SCH 408: Nuclear and Radiation Chemistry
    • SCE 406: Hazardous Waste Management
    • SEM 1 2025/2026 SCA 404: Thermal Analysis and Polymer Characterization Methods
    • SEM 1 2025/ 2026 SCA 201: Quantitative Analysis
    BACHELOR OF SCIENCE IN BIOLOGY
    • SBT 204: PLANT STRUCTURE AND FUNCTION SEM 2 2023/2024 AY GROUP B
    • SZL 302: Evolutionary Biology, Sem 2 2023/24AY
    • SBT 214: Plant Biochemistry
    • SZL 204: Basic Immunology
    • SBT 307: Ecophysiology
    • SBT 421: GIS and Remote Sensing
  • 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