UNISA - COS3761. Satisfiability

(16:1econd)

UNISA - COS3761. Logic operators

(15:34)

UNISA - COS3761. Natural Deduction. Proof by Contradiction

(2:55)

UNISA - COS3761. Natural Deduction. Implication introduction and Elimination

(11:20)

UNISA - COS3761. Natural Deduction . Contradiction Elimination

(7:30)

UNISA - COS3761. Introduction to arguments

(12:43)

UNISA - COS3761. Natural Deduction. Worked examples (III)

(6:36)

UNISA - COS3761. Natural Deduction. Worked examples (II)

(16:13)

UNISA - COS3761. Natural Deduction Conjunction. Double Negation

(9:24)

UniSA – How to Enrol

(6:14)

UniSA's Centre for Pharmaceutical Innovation

(1:9)

UNISA - COS3751. What is AI.

(9:46)

Implementing the knowledge from Unisa

(35)

Empathic Computing Lab at UniSA

(1:9)

Vernacular Knowledge Lab at UniSA

(1:28)

UniSA Festival of Innovation -- Engineering

(50:45)

Introduction to CP3

(9:3)

Unisa Denzel SKU: 9597171

(19)

UNISA - COS3761. Introduction to logic.

(6:17)

UNISA - COS3761. Natural Deduction. Disjunction Elimination

(7:12)

UNISA - COS3761. Propositional logic examples (II)

(7:20)

UNISA - COS3761. Natural Deduction. Worked examples (I)

(19:13)

UNISA - COS3761. Truth tables

(16:52)

UNISA - COS3761. Propositional logic examples (I)

(10:)

UNISA - COS3761. Introduction to propositional logic

(40:20)