Skip to main content
  • Home
  • ODeL
  • More
    • Log in
Home ODeL
UoEm Elearning Portal
  • Home
  • Courses
    • BACHELOR OF COMMERCE
      • COMPANY LAW
      • MANAGEMENT RESEARCH PAPER
      • REAL ESTATE FINANCE AND INVESTMENT
      • STRATEGIC MANAGEMENT
      • FINANCIAL MODELLING
      • FINANCIAL ACCOUNTING THEORY
    • BACHELOR OF SCIENCE IN COMPUTER SCIENCE
      • SEM 2 2025/2026 AY SCI 101: Elements of Physics I
      • SEM 2 2025/2026 AY CSC 126: Physics for Computing Systems
      • Linear Algebra – G1
      • SCS 702 : Research Methodology
      • SEM 1 2025/2026 AY : CSC 214: Digital Electronics
      • SEM 1 2025/2026 AY : SCI 214: Digital Systems
    • MASTER OF SCIENCE IN APPLIED PARASITOLOGY
      • THESIS
      • Applied Molecular Biology and Immunology of Parasitic infections
      • Biostatistical Methods
      • Epidemiology of Parasitic Infections
      • Geographical Information Systems & Remote Sensing
      • Parasite Physiology and Principles of Chemotherapy
    • DIPLOMA IN LIBRARY AND INFORMATION STUDIES
      • USERS AND INFORMATION STUDIES
      • DISSEMINATION OF INFORMATION
      • CLASSIFICATION PRACTICAL
      • CATALOGUING PRACTICAL
      • AUTOMATION OF LIBRARIES
      • Facilities planning for libraries and information centres
    • View all
  • Courses
    BACHELOR OF COMMERCE
    • COMPANY LAW
    • MANAGEMENT RESEARCH PAPER
    • REAL ESTATE FINANCE AND INVESTMENT
    • STRATEGIC MANAGEMENT
    • FINANCIAL MODELLING
    • FINANCIAL ACCOUNTING THEORY
    BACHELOR OF SCIENCE IN COMPUTER SCIENCE
    • SEM 2 2025/2026 AY SCI 101: Elements of Physics I
    • SEM 2 2025/2026 AY CSC 126: Physics for Computing Systems
    • Linear Algebra – G1
    • SCS 702 : Research Methodology
    • SEM 1 2025/2026 AY : CSC 214: Digital Electronics
    • SEM 1 2025/2026 AY : SCI 214: Digital Systems
    MASTER OF SCIENCE IN APPLIED PARASITOLOGY
    • THESIS
    • Applied Molecular Biology and Immunology of Parasitic infections
    • Biostatistical Methods
    • Epidemiology of Parasitic Infections
    • Geographical Information Systems & Remote Sensing
    • Parasite Physiology and Principles of Chemotherapy
    DIPLOMA IN LIBRARY AND INFORMATION STUDIES
    • USERS AND INFORMATION STUDIES
    • DISSEMINATION OF INFORMATION
    • CLASSIFICATION PRACTICAL
    • CATALOGUING PRACTICAL
    • AUTOMATION OF LIBRARIES
    • Facilities planning for libraries and information centres
  • 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