Skip to main content
  • Home
  • ODeL
  • More
    • Log in
Home ODeL
UoEm Elearning Portal
  • Home
  • Courses
    • Trainings
      • TEST COURSE
      • OFT 100 C5: FACILITATING ONLINE AND BLENDED COURSES (COHORT 5) 2023
      • OFT 100 C4: FACILITATING ONLINE AND BLENDED COURSES (COHORT 4) 2023
      • OFT 100 C3: FACILITATING ONLINE AND BLENDED COURSES (COHORT 3)
      • Research Methods
      • Scientific Data Analysis
    • 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
    • KNOWLEDGE MANAGEMENT
      • STRATEGY AND INFORMATION IN INFORMATION AND KNOWLEDGE MANAGEMENT SEMESTER 2 2024/2025
      • ENTERPRISE CONTENT MANAGEMENT SEMESTER 2 2024/2025
      • STATISTICAL METHODS FOR INFORMATION PROFESSIONALS SEMESTER 2 2024/2025
      • KNOWLEDGE MANAGEMENT SYSTEMS SEMESTER 2 2024/2025
      • KNOWLEDGE ENGNEERING AND CONSULTANCY SEMESTER 2 2024/2025
      • E-GOVERNMENT AND DIGITAL DIGITAL INFORMATION SEMESTER 2 2024/2025
    • BACHELOR OF SCIENCE IN ANIMAL PRODUCTION AND NUTRITION
      • Agricultural Extension and Technology Transfer
      • Agricultural Marketing
      • Agricultural Policy and Law
      • Animal Breeding
      • Animal Climatology
      • Animal Genetic Resources
    • View all
  • Courses
    Trainings
    • TEST COURSE
    • OFT 100 C5: FACILITATING ONLINE AND BLENDED COURSES (COHORT 5) 2023
    • OFT 100 C4: FACILITATING ONLINE AND BLENDED COURSES (COHORT 4) 2023
    • OFT 100 C3: FACILITATING ONLINE AND BLENDED COURSES (COHORT 3)
    • Research Methods
    • Scientific Data Analysis
    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
    KNOWLEDGE MANAGEMENT
    • STRATEGY AND INFORMATION IN INFORMATION AND KNOWLEDGE MANAGEMENT SEMESTER 2 2024/2025
    • ENTERPRISE CONTENT MANAGEMENT SEMESTER 2 2024/2025
    • STATISTICAL METHODS FOR INFORMATION PROFESSIONALS SEMESTER 2 2024/2025
    • KNOWLEDGE MANAGEMENT SYSTEMS SEMESTER 2 2024/2025
    • KNOWLEDGE ENGNEERING AND CONSULTANCY SEMESTER 2 2024/2025
    • E-GOVERNMENT AND DIGITAL DIGITAL INFORMATION SEMESTER 2 2024/2025
    BACHELOR OF SCIENCE IN ANIMAL PRODUCTION AND NUTRITION
    • Agricultural Extension and Technology Transfer
    • Agricultural Marketing
    • Agricultural Policy and Law
    • Animal Breeding
    • Animal Climatology
    • Animal Genetic Resources
  • ODeL

      • Course info

      SCS 703: Computer Logic and Symbolic Reasoning

      TRIMESTER 2025/2026

      • Teacher: Dr. Kevin Onyango

      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