Канал: Shane Thomas

CIS101 First Lab

CIS101 First Lab

Propositions and Logical Operators Plus Truth Tables

Propositions and Logical Operators Plus Truth Tables

Applications of Propositional Logic

Applications of Propositional Logic

Tautology, Contradiction, Contingency and Logical Equivalency

Tautology, Contradiction, Contingency and Logical Equivalency

Negating Nested Quantifiers

Negating Nested Quantifiers

Example Problems

Example Problems

Nested Quantifiers

Nested Quantifiers

Building Arguments for Quantified Statements

Building Arguments for Quantified Statements

Argument, Argument Form, Modus Ponens

Argument, Argument Form, Modus Ponens

Modus Tollens

Modus Tollens

Hypothetical Syllogism

Hypothetical Syllogism

Disjunctive Syllogism

Disjunctive Syllogism

Building Arguments

Building Arguments

Addition, Simplification, Conjunction, Resolution

Addition, Simplification, Conjunction, Resolution

Affirming the Conclusion Fallacy

Affirming the Conclusion Fallacy

Denying the Hypothesis Fallacy

Denying the Hypothesis Fallacy

Countable Set Examples including Hilbert's Grand Hotel, Integers, Positive Rationals

Countable Set Examples including Hilbert's Grand Hotel, Integers, Positive Rationals

Union of Countable Sets

Union of Countable Sets

One to one correspondence functions

One to one correspondence functions

Composition of Functions

Composition of Functions

Graphs of Functions

Graphs of Functions

Schroeder Bernstein

Schroeder Bernstein

Cardinality and Countable Sets

Cardinality and Countable Sets

Methods for finding formula for sequence and examples

Methods for finding formula for sequence and examples

Compounding Interest

Compounding Interest

Fibonacci Sequence and Iteration Methods

Fibonacci Sequence and Iteration Methods

Inverse Functions

Inverse Functions

Onto Functions

Onto Functions

One to one functions

One to one functions

Functions, Domain, Codomain, Image

Functions, Domain, Codomain, Image

Addition and multiplication of functions

Addition and multiplication of functions

Bitstring collections of sets and unions and intersections

Bitstring collections of sets and unions and intersections

Generalized unions and Intersections

Generalized unions and Intersections

Identities and Proof of DeMorgan's

Identities and Proof of DeMorgan's

Difference and Compliment

Difference and Compliment

Intersection and Inclusion Exclusion

Intersection and Inclusion Exclusion

Union of Sets

Union of Sets

VENN Diagrams, Subsets and Equal Sets

VENN Diagrams, Subsets and Equal Sets

Ordered Tuples and Cartesian Products

Ordered Tuples and Cartesian Products

Set Notation with Quantifiers

Set Notation with Quantifiers

Size of Sets, Power Sets

Size of Sets, Power Sets

Sets

Sets

MySQL Workbench

MySQL Workbench

Uniqueness and other example

Uniqueness and other example

Proof by Cases +Examples

Proof by Cases +Examples

Existence Proof +Example

Existence Proof +Example

Proof Methods +Exhaustive Proof +Example

Proof Methods +Exhaustive Proof +Example

Common mistakes in proofs

Common mistakes in proofs

Example Proof by Contradiction for Conditional

Example Proof by Contradiction for Conditional

Proof by Contradiction for Conditionals

Proof by Contradiction for Conditionals

Contradiction Ex root 2 is irrational

Contradiction Ex root 2 is irrational

Contradiction Example days of the week

Contradiction Example days of the week

Proof by Contraposition

Proof by Contraposition

Proof by Contradiction

Proof by Contradiction

Direct Proof and Example 1

Direct Proof and Example 1

Direct Proof Example 2

Direct Proof Example 2

Intro to proofs Intro

Intro to proofs Intro

Grouping and Aggregate Functions larger text

Grouping and Aggregate Functions larger text

Secure Copy Files

Secure Copy Files

MySQL Environment

MySQL Environment

SQL Script files

SQL Script files

Explore the customized prompt

Explore the customized prompt

Customize the prompt

Customize the prompt

Login to mysql command line tool

Login to mysql command line tool

mysqldump

mysqldump

Storage Engines

Storage Engines

Securing User Accounts on MySQL

Securing User Accounts on MySQL

MySQL Configuration Files

MySQL Configuration Files

MySQL Source install on Linux

MySQL Source install on Linux

Update and Delete

Update and Delete

INSERT

INSERT

Grouping and Aggregate Functions

Grouping and Aggregate Functions

LEFT JOIN

LEFT JOIN

SQL Pattern Matching

SQL Pattern Matching

cron

cron

WHERE clause to join tables

WHERE clause to join tables

Multiple Control Structures

Multiple Control Structures

While Loop

While Loop

For in loop

For in loop

Bash Condition Testing

Bash Condition Testing

Bash Control Structures if

Bash Control Structures if

Variables and Parameters

Variables and Parameters

Command Line Expansion

Command Line Expansion

Beginning Shell Scripting

Beginning Shell Scripting

Pathname expansion

Pathname expansion

The Shell

The Shell

File system part 2

File system part 2

Conditional Formatting

Conditional Formatting

Spreadsheets Formulas and Functions

Spreadsheets Formulas and Functions

Utilities Part 1

Utilities Part 1

File System

File System

Command Line environment 2 getting help and using superuser

Command Line environment 2 getting help and using superuser

MySQL querying from command line

MySQL querying from command line

MLA Setup

MLA Setup

Terminate, Suspend and Resume

Terminate, Suspend and Resume

Linux Getting started

Linux Getting started

Teaching Style

Teaching Style

CIS 90 Lab 1

CIS 90 Lab 1

Database CIS 101

Database CIS 101

Linux Command Line Navigation

Linux Command Line Navigation

Familiarize with PHPMyAdmin and the database

Familiarize with PHPMyAdmin and the database