Learning Outcomes

Logic and Reasoning

Modus Ponens, Tollens and Resolution Refutation

Skolemization, Prolog and Reasoning Approaches

Lesson Summary

This module will help you get a basic understanding of different logical concepts, logic languages, and reasoning. You will learn about propositional and predicate calculus. Also, you will discover different reasoning approaches and theorem proving by resolution refutation.

Logic, Reasoning and Resolution Refutation - Course Assessment

Learn how to apply logic and reasoning through resolution refutation in this free online critical thinking course.

Logic, Reasoning and Resolution Refutation

‘Logic’ is the scientific study of reasoning. While logic is significant in many fields, including philosophy and mathematics, it is especially crucial to computer science and is sometimes called the ‘calculus of computer science’. This course lays out the computational elements of logic, especially its applications in terms of databases. Sign up to hone your critical thinking skills and learn how to apply them in practical computer science.

This critical thinking course explains how to apply logic and reasoning through resolution refutation. We begin by introducing you to various different logical languages and providing an overview of propositional calculus. We then lay out the symbols used in propositional calculus and show you how to convert English sentences into propositional calculus. We discuss predicate calculus (also called ‘first-order logic’) in detail and identify its symbols, semantics and differences to propositional calculus.
The course then examines various critical thinking techniques, including ‘modus ponens’, ‘modus tollens’, elimination, introduction and universal instantiation. We cover the unification and deduction process to help you apply logic to real-world scenarios. We demonstrate how to build a reasoning system and match two predicates to implement an inference engine. Since all variables need to be universally quantified, we explore the steps involved in the unification process and those taken to implement the resolution principle by deduction.
Our next section focuses on theorem proving by resolution refutation. We provide examples to help you understand the basic steps taken to establish theorems, including clause form, efficient resolution strategies and answer extraction from resolution refutation. The course examines unification substitution and Skolemization to enhance your practical critical reasoning skills. We also explain how to use Prolog, a logic programming language and an application of resolution theorem proving that is often used in modern computing. Our final section compares various reasoning approaches. This course suits computer programmers as it explains how critical thinking can be expressed and applied to enhance your computer science skills.

Duolingo’s Restaurant Side Business Tops $1.3M

10 Best Assembly Language Courses for 2025: Bare-Metal Programming

9 Best GIS Courses for 2025: Navigating Spatial Data

Coursera 10-K Highlights: Lower Partner Revenue Share, 1k+ Employees

Stanford Medicine Offers Courses with Free Certificate & CME Credit

Coursera and Udemy are Finally One. What’s Next?

2U Lays Off Staff for the Sixth Time Since its $800M edX Acquisition

[2025] 450+ Free Google Certificates and Badges

Coursera Bets $100 Million That Andrew Ng Can Do What Coursera Can’t

The Business of Online Education: A Deep Dive Into Coursera’s Financials

200K Layoffs, $100B Lost: The Tsunami of China’s Regulation on Education

Duolingo’s 2026 Strategy: The Road to 100 Million DAUs

31 Most Popular Online Courses Starting in June 2024

Coursera, Udemy, and the $10M+ Video Privacy Battle: Class Action Update

12 Best JavaScript Courses for 2025: Create Interactive Websites

Harvard and MIT’s $800 Million Mistake: The Triple Failure of 2U, edX, and Axim Collaborative

ITIL 4: Overview, Evolution, and Impact on Service Management

Core Elements of the ITIL 4 Framework

ITIL 4 Concepts and Service Relationships

ITIL 4 Certification Pathways

Continual Improvement and Governance Practices

Supplier Practices

IT Asset and Event Management

Change and Configuration Practices

Incident Handling and Operational Support

User-Facing Practices and Certification Overview

Purposes of the ITIL 4 Service Value Chain Activities

The Design, Build, Deliver & Support Activities

Integrating ITIL 4 with Modern Methodologies

Service Measurement and Optimisation

Improvement and Change Practices

Operational Support Practices

User-Facing and Performance Practices

Foundations of ITIL 4 for Service Management - Assessment

Enhance service delivery, boost career opportunities and improve organisational efficiency with this free online course.

Foundations of ITIL 4 for Service Management

Want to lead in IT service delivery and innovation? This course empowers you to master ITIL 4’s core concepts, practical frameworks, and modern integrations. It’s your gateway to streamlined operations and strategic value. This course was reviewed and approved byqualified subject matter expert Asim Suleman, an information security & compliance specialist. Start your journey toward globally recognised ITIL 4 certification today.

Topic A

Topic A - Demo 1 - Preventive Maintenance Hardware

Review Quiz

In this module, Preventive Maintenance, students will learn about preventative maintenance. This module will teach students about what preventive maintenance does, how it saves time and money, how it can prevent data loss, and how it improves performance. Students will also learn about preventive tasks such as updating virus and malware detectors, backing up data, defragmenting drives, and more.

Topic A - Demo 1 - Troubleshooting Procedures - Part 1

Topic A - Demo 2 - Troubleshooting Procedures - Part 2

Topic A - Demo 3 - Troubleshooting Procedures - Part 3

Topic A - Demo 4 - Troubleshooting Procedures - Part 4

Topic A - Demo 5 - Troubleshooting Procedures - Part 5

In this module, Troubleshooting Procedures, students will learn about troubleshooting procedures. This module will guide students through the procedures for troubleshooting technical issues, starting with the tools required. Students will learn not only about the hardware tools required for troubleshooting computer hardware, but also the software tools as well, such as boot disks and system rescue.

Topic A - Demo 1 - Windows 10

Topic B

Topic B - Demo 1 - Control Panel

Topic C

Topic C - Demo 1 - Remote Assistance

Topic D

Topic D - Demo 1 - Operating Systems Command Prompt

Topic D - Demo 2 - Operating Systems Administrative Tools

Topic D - Demo 3 - Operating Systems Migration

Topic D - Demo 4 - Operating Systems Configurations

In this module, Operating Systems, students will learn about operating systems. Students will learn about the functions of an operating system, such as managing hardware, resources, data, and making user interaction easy through the use of a graphical user interface (GUI). This module will also cover the big three operating systems: Windows, Linux, and Mac.

Topic A - Demo 1 - Managing Files

In this module, Managing Files, students will learn about managing files. Students will learn about files and directories, naming conventions, and the File Allocation Table (FAT). This module will also cover common executable file extensions, such as batch files, command files, and power shell scripts as well as what they're used for.

Topic A - Demo 1 - Applications Utility

Topic A - Demo 2 - Troubleshooting Utility

Topic A - Demo 3 - Optimization - Part 1

Topic A - Demo 4 - Optimization - Part 2

Topic A - Demo 5 - Optimization - Part 3

Topic A - Demo 6 - Optimization - Part 4

Topic A - Demo 7 - Optimization - Part 5

Topic A - Demo 8 - Optimization - Part 6

In this module, Applications Utility, Troubleshooting, and Optimization, students will learn about applications utility, troubleshooting, and optimization. IT professionals frequently upgrade and remove applications from computers. New installs are frequently acquired through disc or internet download. This module will teach students about the common processes for download and removing software.

Topic A - Demo 1 - Configuring Drivers

In this module, Configuring Device Drivers, students will learn about configuring device drivers. Students will learn about configuring device drivers, changing device settings, updating drivers, removing device drivers, plug-and-play devices, and device failure. This module will also discuss what to do in the event of device failure and how to use system restore points.

Topic A - Demo 1 - Networking and Wireless Connections - Part 1

Topic A - Demo 2 - Networking and Wireless Connections - Part 2

Topic A - Demo 3 - Networking and Wireless Connections - Part 3

Topic A - Demo 4 - Networking and Wireless Connections - Part 4

Topic A - Demo 5 - Networking and Wireless Connections - Part 5

In this module, Networking and Wireless Connections, students will learn about networking and wireless connections. Students will learn about peer-to-peer networks, server networks, the common functionality of server networks, and the three types of network topology: Bus, Star, and Ring networks. This module will also cover networking devices including network interface cards, repeaters, bridges, routers, gateways, hubs, and switches.

Topic A - Demo 1 - Recovering Systems - Part 1

Topic A - Demo 2 - Recovering Systems - Part 2

In this module, Recovering Systems, and Disaster Recovery, students will learn about recovering systems and disaster recovery. This module will discuss the process for disaster recovery, expecting things to go wrong, and using boot logs to troubleshoot problems. Students will learn the process for booting a system into safe mode, emergency repair, factory repair partitions, startup repair, and system image recovery.

Topic A - Demo 1 - Cloud Storage - Part 1

Topic A - Demo 2 - Cloud Storage - Part 2

Topic A - Demo 3 - Cloud Storage - Part 3

In this module, Cloud Computing, students will learn about cloud computing. Cloud computing uses a network or internet connection and manipulates, collates, configures, and accesses applications online while providing support infrastructure, applications, and data storage. This module will also discuss the benefits and risks to cloud computing as well as cloud characteristics.

Topic A - Demo 1 - Security Fundamentals - Part 1

Topic A - Demo 2 - Security Fundamentals - Part 2

Topic A - Demo 3 - Security Fundamentals - Part 3

In this module, Security Fundamentals, students will learn about security fundamentals. This module will cover security fundamentals such as business continuity, disaster recovery planning, application development security, access control, information security governance, risk management, operation security, physical security, and network security.

CompTIA A+ 1000 - Part 2 - Assessment

Learn the skills necessary to become a PC Service Specialist with this free online CompTIA A+ 1000 course.

CompTIA A+ 1000 - Part 2

This free online CompTIA A+ course will teach you about preventative maintenance. You will study the hardware tools required for troubleshooting computer hardware as well as the software tools such as boot disks and system rescue. You will study the functions of an operating system such as hardware management, resources, data, and making user interaction easy through the use of a graphical user interface (GUI), and so much more!

NIS2 Directive - The Essentials

NIS2 Directive - Objectives and Obligations

NIS2 - Articles 21 and 23

Complying With NIS 2 - The Importance of GAP Analysis

This module discusses the implications of the NIS2 Directive, a cybersecurity regulation imposed in the EU.  The module compares the NIS2 Directive against the NIS Directive. Various obligations and requirements for compliance are also explained, along with implementing the important articles of the Directive.

Fundamentals of NIS 2 Directive - EU Cybersecurity Enhancement - Course Assessment

This free online course aims to build your foundations regarding the requirements of the NIS2 Directive.

Fundamentals of NIS2 Directive - EU Cybersecurity Enhancement

With cybersecurity incidents constantly increasing, various regulations and countries are working around the clock to enact and impose new rules and standards for added protection. One such standard is the NIS2 Directive, which has its scope in the territory of the European Union. In this short course, we explore this new Directive, the requirements to show compliance, and its important articles and requirements.

Electronic Document Management - Learning Outcome

EDM Fundamentals and Compliance

EDM Operations and Processes

Document Control and Security in EDM

In this module, you’ll be introduced to the basics of electronic document management (EDM), covering its key concepts, terminologies, principles and benefits. We discuss the document lifecycle in an EDM system, including the operations and processes involved in EDM. You’ll learn about document control, security and more.

Course Assessment - Introduction to Electronic Document Management

Learn the basics of electronic document management (EDM) and improve your document workflow in this free online course.

Introduction to Electronic Document Management

Imagine a scenario in which documents effortlessly flow from creation to storage, retrieval and collaboration. Electronic document management (EDM) systems are designed for that. With the help of EDM, any document is just a few mouse clicks away. This course introduces you to EDM and lays out its benefits and key concepts. We discuss EDM standards and regulations and lay out EDM operations and processes. Sign up to learn how to go paperless.

Introduction to the CCTV system

Basic Components of the CCTV System

CCTV Plan Drafting on AutoCAD

In this module, you will be introduced to CCTV Security Systems and how the CCTV system is used for security purposes in the present era. Following this learn the basic components of the CCTV system in detail and how these components are interconnected. Finally you will learn the about drafting of a CCTV plan in AutoCAD software.

Introduction to CCTV Systems & AutoCAD Layouts - Assessment

In this free online course, learn about CCTV systems' basic components and how to develop system plans in AutoCAD.

Introduction to CCTV Systems & AutoCAD Layouts

This course introduces CCTV systems: what closed-circuit television is, the purpose of adopting this kind of security system and its basic components. You will learn about types of cameras and their applications. You will explore video recorders, display units and types of cables for signal transmission before studying how to develop CCTV system plans in AutoCAD. This free CCTV training course covers all the basics you need to know.

Need of Information Security Management System (ISMS) - Business Case

Important Terminologies in ISO 27000:2018

Important Frameworks on Information Security

This module briefly overviews information security management systems (ISMS), including their business case and justification. It also presents essential discussions on recognized standards in this subject, ultimately equipping learners with a foundational understanding of ISMS principles and best practices.

Leadership and Organization's Context

Planning & Support Functions

Operations, Evaluation & Improvement

This module provides a detailed overview of the auditable requirements of ISO 27001:2019, covering Clauses 4 to 10. It includes Clause 4 on the Context of the Organization, Clause 5 on Leadership, Clause 6 on Planning, Clause 7 on Support, Clause 8 on Operation, Clause 9 on Performance Evaluation, and Clause 10 on Improvement.

Introduction to New Information Security Controls in ISO 27001:2022

Annex A - Information Security Controls (Part 1) in ISO 27001:2022

Annex A - Information Security Controls (Part 2) in ISO 27001:2022

This module provides a detailed overview of the Annex - A of ISO 27001which is focused on information security operation control. The controls are revamped for better integration with NIST and other security protocols.

ISMS Risk Management With ISO 27005 & ISO 27001

ISO 27005 - Steps of Managing Information Security Risks

ISO 27005 - Risk Evaluation, Risk Treatment and Controls

In this module, we will discuss the concept of risk management based on information security in the ISO/IEC 27005 standard. The module also discusses risk treatment from controls and the input to trigger risk assessment, etc.

ISO 27002:2022 Relationship with ISO 27001

ISO 27002:2022 Assistance to ISO 27001:2022 Compliance

Introduction to the Controls in ISO 27701

This module provides comprehensive guidance on implementing ISO/IEC 27001 information security management system using ISO/IEC 27002 and ISO/IEC 27701 privacy management system standards.

Fundamental Controls (Annex - A-5 to Annex - A-7) in ISO 27001:2013

Fundamental Controls (Annex - A-8 to Annex - A-10) in ISO 27001:2013

Essential Controls (Annex - A.11 to Annex - A-12) in ISO 27001:2013

ISMS Vital Controls (Annex - A.13 to Annex - A-14) in ISO 27001:2013

ISMS Vital Controls (Annex - A.15 to Annex - A-18) in ISO 27001:2013

This module provides an overview of information security operational controls such as security policies, organization of information security, human resource security, asset management, access control, cryptography, physical and environmental security, operations security, communication security, system maintenance, supplier relationships and more.

Diploma in ISO 27001:2022 - Information Security Management System (ISMS) - Assessment

In this free online course, learn about the essentials of ISO/IEC 27001:2022 information security management systems.

Diploma in ISO 27001:2022 - Information Security Management System (ISMS)

Are you ready to dive deep into the world of information security? This in-depth course on ISO 27001:2022 provides you with a thorough understanding of the standard and the practical expertise to build a powerful Information Security Management System (ISMS). You'll explore crucial ISMS controls, discover effective implementation strategies, and become fluent in the essential language of information security. Begin your journey to mastery now!

IT Governance and Enterprise Governance - Framework

Introduction to COBIT

The COBIT Core Model and its Objectives

COBIT Performance Management

Organizational IT Transformation with COBIT

This module intends to build a solid understanding of the enrollees regarding the COBIT 2019 IT governance system. Here, they will learn about the importance of IT governance in enterprise governance. The module also teaches them about the COBIT core model, its domains, COBIT performance management, and steps of organizational IT transformation.

COBIT Framework - Foundations of IT Governance - Assessment

Learn about the COBIT framework, its role in enterprise governance and its core architecture in this free online course.

COBIT Framework - Foundations of IT Governance

COBIT 2019 is a high-level tool that allows organisations to build and adopt a comprehensive set of guidelines, practices and tools for effective IT governance. With COBIT, organisations can use their IT systems efficiently and achieve their business objectives. In this detailed course, you will get a good understanding and be able to help your company implement this system for managing enterprise information and technology.