×

### Let's log you in.

or

Don't have a StudySoup account? Create one here!

×

or

## DISCRETE STRUCTURES II

by: Orrin Rutherford

24

0

1

# DISCRETE STRUCTURES II CS 251

Orrin Rutherford
PSU
GPA 3.91

Staff

These notes were just uploaded, and will be ready to view shortly.

Either way, we'll remind you when they're ready :)

Get a free preview of these Notes, just enter your email below.

×
Unlock Preview

COURSE
PROF.
Staff
TYPE
Class Notes
PAGES
1
WORDS
KARMA
25 ?

## Popular in ComputerScienence

This 1 page Class Notes was uploaded by Orrin Rutherford on Wednesday September 2, 2015. The Class Notes belongs to CS 251 at Portland State University taught by Staff in Fall. Since its upload, it has received 24 views. For similar materials see /class/168295/cs-251-portland-state-university in ComputerScienence at Portland State University.

×

## Reviews for DISCRETE STRUCTURES II

×

×

### What is Karma?

#### You can buy or earn more Karma at anytime and redeem it for class notes, study guides, flashcards, and more!

Date Created: 09/02/15
Chapter 8 Axioms and Inference Rules Properties of Eguality for all terms t u and v any arbitrary function f and any arbitrary predicate p EA t t Symmetric t u 9 u t Transitive t u uv 9 tv EE functional form t u a f t f u EEpredicate form u p t 9p u EE for Wffs t u Wt9 Wu if t and u are free to replace x in Wx Assignment Axiom AA Pxt x t P The precondition is constructed from the post condition by replacing all free occurrences of x in P by t Array Assignment Axiom AAA P ai t Q where P is obtained from Q by 1 Replace all occurrences of ai in Q by t 2 Replace all occurrences of aj in Q by llifj i then t else ajquot Conseguence Rule P gtRandR SQ P ST andT gtQ P S Q P S Q Composition Rule P 51 Q and Q 52 R P Sl SZ R fThen and fThen Else Rules PACSQandP C gtQ PACS1QandPA CSZQ P if Cthen SQ P if Cthen S1 else S2 Q Whiledo Rule P is called the loop invariant P C SP P while C do S P C Termination Condition Find a wellfounded set W lt Find an expression f of the program variables Prove that if P and C are true for state s then fs ft E W and fs gt ft

×

×

### BOOM! Enjoy Your Free Notes!

×

Looks like you've already subscribed to StudySoup, you won't need to purchase another subscription to get this material. To access this material simply click 'View Full Document'

## Why people love StudySoup

Bentley McCaw University of Florida

#### "I was shooting for a perfect 4.0 GPA this semester. Having StudySoup as a study aid was critical to helping me achieve my goal...and I nailed it!"

Kyle Maynard Purdue

#### "When you're taking detailed notes and trying to help everyone else out in the class, it really helps you learn and understand the material...plus I made \$280 on my first study guide!"

Steve Martinelli UC Los Angeles

#### "There's no way I would have passed my Organic Chemistry class this semester without the notes and study guides I got from StudySoup."

Parker Thompson 500 Startups

#### "It's a great way for students to improve their educational experience and it seemed like a product that everybody wants, so all the people participating are winning."

Become an Elite Notetaker and start selling your notes online!
×

### Refund Policy

#### STUDYSOUP CANCELLATION POLICY

All subscriptions to StudySoup are paid in full at the time of subscribing. To change your credit card information or to cancel your subscription, go to "Edit Settings". All credit card information will be available there. If you should decide to cancel your subscription, it will continue to be valid until the next payment period, as all payments for the current period were made in advance. For special circumstances, please email support@studysoup.com

#### STUDYSOUP REFUND POLICY

StudySoup has more than 1 million course-specific study resources to help students study smarter. If you’re having trouble finding what you’re looking for, our customer support team can help you find what you need! Feel free to contact them here: support@studysoup.com

Recurring Subscriptions: If you have canceled your recurring subscription on the day of renewal and have not downloaded any documents, you may request a refund by submitting an email to support@studysoup.com