Your browser does not support SVG
Apply
Register
myUnisa
FAQs
Toggle navigation
Site navigation
About
About
About
National treasure with a global reach
Who we are
Our strategy
Proudly African
The future, today
Our history
What we do
Innovative in teaching and learning
Research that matters
Community Engagement and Outreach
Arts & culture
Governance & management
Unisa Council
Chancellor
Executive management
Employment at Unisa
Jobs and careers
Employee benefits
Remuneration
Learning & development
Internationalisation and Partnerships
About
Unisa’s internationalisation approach and strategy
Unisa's Institutional Agreements
Contact us
Legislation
ECT Act
E-mail disclaimer
E-mail legal notice
Institutional Statute of Unisa
Promotion of Access to Information Act
Protection of Personal Information at Unisa
Terms and Conditions
Ombudsman
Facts & figures
Student enrolments
Student success
Qualifications
Staff statistics
Admissions
Admissions
Admissions
Apply for admission 2024
Undergraduate qualifications
Honours degrees & postgraduate diplomas
Master's & doctoral degrees
Short Learning Programmes
Students with disabilities
International students
Student fees and funding your studies
Student policies & rules
TVET colleges
Recognition of Prior Learning (RPL)
Register to study through Unisa
Undergraduate & honours qualifications
Master's & doctoral degrees
Subjects & modules
Short Learning Programmes
Student policies & rules
Pay your study fees
Credits & exemptions for study units passed at other institutions
Map your qualification
Web registration
Payment methods and banking details
Colleges
Colleges
Colleges
Accounting Sciences
Executive Dean's message
About the college
Office of the Deanery
Qualifications
Schools, departments & centre
News
Engaged scholarship
Research
Contact the college
Agriculture & Environmental Sciences
About the College
News & events
Qualifications
Schools, departments, centres & units
Research
Community engagement
Masters & Doctoral information
Open Resources
Information for postgraduate supervisors
Student Orientation videos
Contact the college
Economic & Management Sciences
Executive Dean's message
About the college
Qualifications
Schools, departments, bureau, centres & institutes
News & events
Community engagement
Research
Journals
Contact the college
Education
About the college
Qualifications
Schools, departments, centres & institutes
News & events
Research
Community engagement
UNESCO Chair on Open Distance Learning (ODL)
Frequently asked questions
Contact the college
College of Graduate Studies
About
Postgraduate studies
Research support
Research resources
Media & events
Contact us
Human Sciences
About the college
Message from the Executive Dean: 2024
Qualifications
Schools, departments, centres, institutes & units
News & events
Community engagement
Research
Student Retention Project
Contact the college
Law
About the college
Qualifications
Schools, departments, centres & institute
Community Engagement
Research
News & events
Contact the college
Science, Engineering & Technology
Executive Dean's Message
About the college
Qualifications
News & events
Schools, departments & institutes
Research
Engaged Scholarship
Recognition of Prior Learning
Virtual Lab tours
Contact the college
Other
Graduate School of Business Leadership
UNISA’s Centre for Life-long Learning
Thabo Mbeki African School of Public and International Affairs
General information
Advancing excellence through our Colleges
Inaugural Lectures
2024
2023
2022
2021
Research
Research
Research
Vice Principal’s message
Problem-solving research with relevance and impact
People in research
People in research
NRF rated researchers
Research groups and centres
Research professors
Research & innovation initiatives
Research & innovation initiatives
Research Institutes and Chairs
Research in the colleges
Innovation support
Innovation, Technology Transfer and Commercialisation
Home
About us
Our Services
News
Events
Innovation in Action Lecture Series
Innovation Support
Publications
Available Technologies
Video Gallery
Trainings
Ecosystem Partners
Start-Up Academy
Contact us
Research ethics
Reports
Achievements
Achievements
Awards
Prizes
News & events
News
Contact us
Alumni
Alumni
Alumni
Stay connected with Unisa
How to stay involved
Alumni Benefits
Unisa shop
Careers
Illustrious Alumni
News & events
Contact Alumni Relations
Library
News & Media
News & Media
News & Media
News
Publications
Media releases
Calendar & events
Announcements
Experts directory
Unisa Press
Donate
Contact us
Contact us
Contact us
Student enquiries
E-mail form
Regional Centres
Directions to Unisa
Campus maps & addresses
Conference facilities
Self help FAQs
Visit Unisa from outside South Africa
Travelling to Unisa from outside South Africa
General information about South Africa
Where to stay
Interesting places to visit
Quick guide of Unisa campuses & regional centres
Visiting Unisa
Unisa facts & figures
Home
Register to study through Unisa
Subjects & modules
All modules
All modules
Undergraduate & honours qualifications
Master's & doctoral degrees
Subjects & modules
Short Learning Programmes
Student policies & rules
Pay your study fees
Credits & exemptions for study units passed at other institutions
Map your qualification
Web registration
Register to study through Unisa
Logic-Based Reasoning - COS4851
Honours
Year module
NQF level: 8
Credits: 12
Module presented in
English
Module presented online
Purpose:
To provide the student with the skills to solve AI problems using automated reasoning.
Back