[CSC 348 S20] Propositional Logic Pt. 1: Negation, Conjunction, Disjunction

preview_player
Показать описание
The first part of our talk on propositional logic! We start combining propositions together to make larger, more complex, cooler propositions. Also I talk about how hungry I am because I hadn't eaten in a good 6 hours.
  1. Iris Kohler
Рекомендации по теме
[CSC 348 S20] 0:38:48

[CSC 348 S20] Propositional Logic Pt. 2: Conditionals, Biconditionals, Equivalency

[CSC 348 S20] 0:18:09

[CSC 348 S20] Propositional Logic Pt. 1: Negation, Conjunction, Disjunction

[CSC 348 S20] 0:09:02

[CSC 348 S20] Introduction to Propositions

[CSC 348 S20] 0:23:02

[CSC 348 S20] Introduction to Predicate Logic

[CSC 348 S20] 0:34:05

[CSC 348 S20] Set Proofs

[CSC 348 S20] 0:16:03

[CSC 348 S20] Intro to Proofs

[CSC 348 S20] 0:44:12

[CSC 348 S20] Direct Proofs

[CSC 348 S20] 0:25:42

[CSC 348 S20] Proof by Contradiction

[CSC 348 S20] 0:34:33

[CSC 348 S20] Strong Induction

[CSC 348 S20] 0:38:46

[CSC 348 S20] Proof by Induction Part 1

[CSC 348 S20] 0:27:45

[CSC 348 S20] Set Operations and Relations

L2 : Some 0:26:14

L2 : Some Basic Propositional Logic

Introduction to Logic 0:51:44

Introduction to Logic 1

5.3.2 Discrete Math 0:19:54

5.3.2 Discrete Math - Session 5.3.2 - Par 5.3: Recursively Defined Sets and Structures

Discrete Mathematics Course 0:05:20

Discrete Mathematics Course - an introduction

Basic Properties of 0:05:00

Basic Properties of the Successor Function

Euclid's Elements: Book 0:06:30

Euclid's Elements: Book I, Propositions 1 through 3

Math Reasoning: Functions 0:57:00

Math Reasoning: Functions Day 2 (Full Lecture)

lecture 4 Negation 0:10:20

lecture 4 Negation , conjunction and Disjunction Rule in arabic

ICS.6D (Spring'21), Lec9 1:27:05

ICS.6D (Spring'21), Lec9 (4/29): Recursive Definitions

lec11 Proof Strategies 0:23:22

lec11 Proof Strategies II

NUMERICAL REASONING - 0:10:10

NUMERICAL REASONING - CIVIL SERVICE EXAM REVIEWER 2020