The course here are for the Information and Communication Technology Department of the Osun Sate University.

You are welcome to the Theory  of Computation.  This is the foundation and perhaps the fundamental, subject in computing. The subject-matter of this course permeates the entire field of computing. This is because the roots of the tree, from which the fundamental concept of the principles and theories underlying all computing instruments and artefact emerge, are grounded in the subject-matter of this course. Specifically, the topics we shall be discussing in this course shall address the  principles and  instruments that are key, or central  to the abstraction, formulation, design, implementation and evaluation of ideal computing devices or systems. These include all range of computing devises from the very simple to the most complex. In this course, therefore, we will be examining some fundamental theoretical and practical explanatory instruments underpinning computing processes and procedures. We shall, first of all, demonstrate that the purpose of computing is problem-solving. Then we shall be discussing the set of criteria, theories and principles that are key to determining:

  1. The things that can be computed;
  2. The extent to which they can be computed;
  3. The extent to which the things that can be computed can be released though the material agency of machine?

The subject-matter of this course is research, specifically, in the context of computing. We will address questions such as, “what is research?”, “why must we conduct research in computing?”, “How are research in computing conducted”, “what are the instrument of computing research?”, “What is the most effective means of communicating research experiences”, and more importantly, “what is/are the fundamental principle of best practices in computing research?”

These topics will be demonstrated with examples that give expression to how to identify a researchable problem, craft the research topic, aim, objective and methodology.  The conduct of literature review, generation of valid evidence in the form of data as well as determining the appropriate theoretical foundation for the formulation and explanation of research findings and outcome will be discussed.

The subject-matter of this course is the formal expression of  computational models. We shall explore the various models for giving expression to computing processes. The relationship between computing, language and machines, in the context of problem-solving, will be explained with examples. Specifically, we it will be demonstrated that the formalisation and language rendering of computing processes is central to efficient problem-solving. It will also be demonstrated that the ultimate aim of  computing  activities is to give expression to the universe of precises process and system description through the language of symbols.

This is an introductory course to fundamental concepts in computation and numerical computing.  The basic symbols, terminologies, models, functions as well as methods for giving expression to computing concepts will be explored and explained. We will also discuss  indigenous concepts of computing in the context of  conventional and standard modern practices and methods.

The subject-matter of this course is central computing in general, and computing with numerals or numbers in particular. 

Automata Theory is, perhaps, the fundamental course in computing. The is because the subject-matter of Automata Theory is the most influential topic in every aspects of computing. The concepts and principles underpinning all the sub-fields of computing science and engineering have their roots in Automata Theory (AT). Indeed many everyday devices that carry out some forms of computation are first conceptualised and formally expressed as Automata. For example, the development (i.e. specification, formulation, design, modelling, implementation and simulation) of a number of important computing devices will be impossible without the use of concepts and principles from Automata Theory.



In this course we will explore and demonstrate the processes involved in the conduct and documentation of a project in computing as related to Information and Communication Technology. The purpose of the project, that you will be undertaking,  is for you to demonstrate your ability to give expression to all you have been taught since Part one to the present at UNIOSUN. You will need to select a topic of interest and demonstrate your ability to carry out the  following in line with the standard best practices in Information and Communication Technology:

  1. Statement of  the problem,
  2. Aim,
  3. Objective,
  4.  Methodology,
  5. Documentation, and
  6. Project seminar defense.