Канал: Ruben Gamboa

UWyo Engineering 2159 Tour

UWyo Engineering 2159 Tour

UWyo Engineering 4066 Tour

UWyo Engineering 4066 Tour

Running ACL2 in a Docker Image

Running ACL2 in a Docker Image

7. Concerto No. 1 in A minor, Saint-Saëns

7. Concerto No. 1 in A minor, Saint-Saëns

8. Sonata for two cellos in C Major, Boccherini

8. Sonata for two cellos in C Major, Boccherini

6. Concerto No. 3 in G major, Boccherini

6. Concerto No. 3 in G major, Boccherini

5. Six Ecossaises, Opus 76 No. 4, Beethoven

5. Six Ecossaises, Opus 76 No. 4, Beethoven

4. Melodie, Jardanyi Pal

4. Melodie, Jardanyi Pal

3. Suite No. 3 in C Major, BWV 1009 J.S. Bach

3. Suite No. 3 in C Major, BWV 1009 J.S. Bach

2. Apres une Reve, Faure

2. Apres une Reve, Faure

1. Suite No. 1 in G Major, BWV 1007 J.S. Bach

1. Suite No. 1 in G Major, BWV 1007 J.S. Bach

week 10 updates

week 10 updates

Exoplanet Project

Exoplanet Project

Class 8. Explore Performance Task

Class 8. Explore Performance Task

Class 1. Introduction to Course

Class 1. Introduction to Course

Class 2. Unit 1: Introduction to Programming

Class 2. Unit 1: Introduction to Programming

Class 9: Create Performance Task

Class 9: Create Performance Task

Class 7. Unit 6. How Computers Work

Class 7. Unit 6. How Computers Work

Class 6. Unit 5: Algorithms and Simulations

Class 6. Unit 5: Algorithms and Simulations

Class 10. Unit 8: Recursive Functions

Class 10. Unit 8: Recursive Functions

Class 5. Unit 4: How the Internet Works

Class 5. Unit 4: How the Internet Works

Class 3. Unit 2: Abstraction

Class 3. Unit 2: Abstraction

Class 4. Unit 3: Data Processing and Lists

Class 4. Unit 3: Data Processing and Lists

AP CSP Lecture 10/03/2017

AP CSP Lecture 10/03/2017

AP CSP Lecture 09/27/2017

AP CSP Lecture 09/27/2017

AP CSP Lecture 09/22/2017

AP CSP Lecture 09/22/2017

AP CSP Lecture 09/21/2017

AP CSP Lecture 09/21/2017

AP CSP Lecture 09/19/2017

AP CSP Lecture 09/19/2017

AP CSP Lecture 09/15/2017

AP CSP Lecture 09/15/2017

AP CSP Lecture 09/13/2017

AP CSP Lecture 09/13/2017

AP CSP Lecture 09/12/2017

AP CSP Lecture 09/12/2017

AP CSP Lecture 09/07/2017

AP CSP Lecture 09/07/2017

AP CSP Lecture 09/05/2017

AP CSP Lecture 09/05/2017

AP CSP Lecture 08/31/2017

AP CSP Lecture 08/31/2017

AP CSP Lecture 08/29/2017

AP CSP Lecture 08/29/2017

Little Pig, Little Pig! Let Me In!

Little Pig, Little Pig! Let Me In!

Day 5 (Part 2)

Day 5 (Part 2)

Day 5 (Part 1)

Day 5 (Part 1)

Internet Protocols Example

Internet Protocols Example

AP CS Principles PD Day 3

AP CS Principles PD Day 3

AP CS Principles PD Day 2

AP CS Principles PD Day 2

What is discrete math

What is discrete math

Logic axioms

Logic axioms

Logical connectives

Logical connectives

And absorption

And absorption

De morgan

De morgan

Duality

Duality

Law of excluded middle

Law of excluded middle

Implies truth table

Implies truth table

Propositions

Propositions

Matching Axioms

Matching Axioms

V Shaped Proofs

V Shaped Proofs

A Longer Proof

A Longer Proof

Proofs

Proofs

Arithmetic Axioms

Arithmetic Axioms

Why study discrete math

Why study discrete math

Why proofs

Why proofs

Not truth table

Not truth table

Or truth table

Or truth table

Video Conference for 2017-01-23

Video Conference for 2017-01-23

Chess

Chess

Rock paper scissors

Rock paper scissors

Programs

Programs

Predicates

Predicates

Tic tac toe

Tic tac toe

Domain of Discourse

Domain of Discourse

Quantifiers

Quantifiers

Tic tac toe revisited

Tic tac toe revisited

Using quantifiers

Using quantifiers

Quantifier proof strategy

Quantifier proof strategy

Renaming quantifiers

Renaming quantifiers

Migrating quantifiers

Migrating quantifiers

ACL2s Recursion

ACL2s Recursion

Using Functions in ACL2s

Using Functions in ACL2s

Definitions in ACL2s

Definitions in ACL2s

ACL2s Expressions

ACL2s Expressions

Installing ACL2s

Installing ACL2s

Quantifier style

Quantifier style

Software testing

Software testing

ACL2s software testing

ACL2s software testing

Notation

Notation

Simple examples

Simple examples

Bigger example

Bigger example

Migrating over quantifiers

Migrating over quantifiers

Removing quantifiers

Removing quantifiers

Drinking philosophers

Drinking philosophers

The Three Cs of ACL2s Definitions

The Three Cs of ACL2s Definitions

Set Definitions

Set Definitions

Sets and Programming

Sets and Programming

Some Common Sets

Some Common Sets

Sets to Logic

Sets to Logic

Subsets

Subsets

Set Equality Proofs

Set Equality Proofs

Set Equality

Set Equality

Set Operation Proofs

Set Operation Proofs

Set Operations

Set Operations

Cardinality and Powersets

Cardinality and Powersets

Relation Closures

Relation Closures

Crossproducts and Generalized Operations

Crossproducts and Generalized Operations

Infinite Cardinality

Infinite Cardinality

Orderings

Orderings

Equivalence Relations

Equivalence Relations

Relation Properties

Relation Properties

Relational Operators

Relational Operators

Lexicographic Orderings

Lexicographic Orderings

Upper and Lower Bounds

Upper and Lower Bounds

Relation Definition

Relation Definition

Well Orderings

Well Orderings

Gauss's trick

Gauss's trick

Induction Basics

Induction Basics

When induction works

When induction works

When induction fails

When induction fails

Sequence definitions

Sequence definitions

Quick sort

Quick sort

Recurrence relations

Recurrence relations

Slow sort

Slow sort

Guessing a sequence

Guessing a sequence

Assignment 3 problem 2 3

Assignment 3 problem 2 3

Definition of Series

Definition of Series

The Fibonacci sequence

The Fibonacci sequence

Sum of series

Sum of series

Arithmetic series

Arithmetic series

Converting to base2

Converting to base2

Other series

Other series

Inductively defined types

Inductively defined types

Converting to base10

Converting to base10

Testing converting to base10

Testing converting to base10

Geometric series

Geometric series

Proving converting to base10

Proving converting to base10

Uniqueness of zero

Uniqueness of zero

Uniqueness of base10 representation

Uniqueness of base10 representation

Zero numeral

Zero numeral

Different types of induction

Different types of induction

Member of lonp

Member of lonp

Numbers and numerals

Numbers and numerals

Length of union of lists

Length of union of lists

List programming

List programming

Lists in ACL2

Lists in ACL2

Adding binary numbers

Adding binary numbers

Hardware to functions

Hardware to functions

Hardware adders

Hardware adders

Quotient remainder theorem

Quotient remainder theorem

Ripple carry adder

Ripple carry adder

Proving ripple carry adder

Proving ripple carry adder

Quotient remainder proof

Quotient remainder proof

Theorems of divisibility

Theorems of divisibility

Modulo in code

Modulo in code

Modular arithmetic

Modular arithmetic

Operations modulo n

Operations modulo n

Integer arithmetic

Integer arithmetic

Beyond integer hardware

Beyond integer hardware

Tree definition

Tree definition

Counting examples: darts

Counting examples: darts

Counting examples: ice cream

Counting examples: ice cream

Counting examples: round table

Counting examples: round table

Graphs

Graphs

Counting examples: outfits

Counting examples: outfits

Counting principles

Counting principles

Counting examples: bits and subsets

Counting examples: bits and subsets

Counting examples: functions

Counting examples: functions

Tree traversals

Tree traversals

AVL trees

AVL trees

Tree applications

Tree applications

General trees

General trees

Theorems about size of binary trees

Theorems about size of binary trees

Size of Binary Trees

Size of Binary Trees

Binary tree definition

Binary tree definition

Counting examples: taxis

Counting examples: taxis

Counting examples: choose

Counting examples: choose

Counting examples: pascal

Counting examples: pascal

Stars and bars

Stars and bars

Introduction to probability

Introduction to probability

Inclusion exclusion principle

Inclusion exclusion principle

Random variables

Random variables

Expected value

Expected value

Poker hands

Poker hands

Combining events

Combining events

Independent events

Independent events

Probability applications: modeling

Probability applications: modeling

Probability applications: algorithms

Probability applications: algorithms

Probability applications: artificial intelligence

Probability applications: artificial intelligence

Probability applications: large primes

Probability applications: large primes

Valid definitions

Valid definitions

1-to-1 functions

1-to-1 functions

Definition of functions

Definition of functions

1 to 1 and onto functions

1 to 1 and onto functions

Function intuition

Function intuition

Function notations using recursion

Function notations using recursion

Imperative vs functional notation

Imperative vs functional notation

Different function notations

Different function notations

Onto functions

Onto functions

Function operations

Function operations

embedded sql

embedded sql

c1 hibernate

c1 hibernate

c1 uml to relations

c1 uml to relations

b3 relational algebra

b3 relational algebra

b2 schema to sql

b2 schema to sql

b1 sample schemas

b1 sample schemas

bootstrap-units-01

bootstrap-units-01

bootstrap-scheme-01

bootstrap-scheme-01