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:
- The things that can be computed;
- The extent to which they can be computed;
- 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.
- Καθηγητής: Odetunji Ajadi ODEJOBI
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.
- Καθηγητής: Odetunji Ajadi ODEJOBI
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.
- Καθηγητής: Odetunji Ajadi ODEJOBI
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.
- Καθηγητής: Odetunji Ajadi ODEJOBI
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:
- Statement of the problem,
- Aim,
- Objective,
- Methodology,
- Documentation, and
- Project seminar defense.
- Καθηγητής: Odetunji Ajadi ODEJOBI