Computer Architecture > QUESTIONS & ANSWERS > CIS 4930/6930: Programs, Functions, Strange Loops, and Consciousness Programs and Functions Assignme (All)

CIS 4930/6930: Programs, Functions, Strange Loops, and Consciousness Programs and Functions Assignment 3.

Document Content and Description Below

CIS 4930/6930: Programs, Functions, Strange Loops, and Consciousness Programs and Functions Assignment 3 1. (5 pts.) If f = [while p do g], which one of the following, according to the Iteration Recursion Lemma (IRL) ...

CIS 4930/6930: Programs, Functions, Strange Loops, and Consciousness Programs and Functions Assignment 3 1. (5 pts.) If f = [while p do g], which one of the following, according to the Iteration Recursion Lemma (IRL), is functionally equivalent to [while p do g]? Circle ONE only. a. [if p then f;g end_if] b. [if p then gof end_if] c. [if p then g else f end_if_else] d. [if p then f else g end_if_else] e. [if p then g end_if] f. [if p then f end_if; g] then f end_if] i. (none of the above) 2. (14 pts.) Match each assertion of functional correctness below to the appropriate Correctness Condition(s) among the following. (Note: Correctness Condition(s) may be appropriate for none, one, or more than one assertion.) A. (f = gohok) E. term(f,S), pog  (f = g), ¬(pog)  (f = fog) B. p  (f = g), ¬p  (f = h) F. term(f,S), p  (f = fog) ¬p  (f = I) C. (f = kohog) G. term(f,S), gop  (f = g), ¬(gop)  (f = gof) 2 3. (12 pts.) Determine (but do not formally verify) the function of the following program: x := y-2 while x<>5 do x := x-1 end_while Give your answer in the simplified form: (p  x,y := ?,?) where p is a Boolean predicate which specifies the domain of the program function. (Hint: Use heuristics to identify the function of the while loop and then use the Axiom of Replacement and function composition to determine the program function.) program function: 4. Suppose that you wish to prove that the program, M, below computes the given intended function, f, by showing (1) term(f,M), (2) p  ( f=fog ), and (3) ¬p  ( f=I ). end_while a. (4 pts.) Express “g” as a concurrent assignment function in terms of variables k and t. b. (2 pts.) What is “p” from correctness conditions (2) and (3) above? (Give the actual expression that p represents.) 3 c. (4 pts.) It can be shown that wp(M, true) = true. Does this imply term(f,M) holds? d. (8 pts.) Prove that correctness condition (2) holds by completing the following proof template.

[Show More]

Last updated: 3 years ago

Preview 1 out of 3 pages

Buy Now

Instant download

Preview of CIS 4930/6930: Programs, Functions, Strange Loops, and Consciousness Programs and Functions Assignment 3.

Buy this Document to get the Full Access Instantly

Provided by Students Who Aced it

We Verify Document Content to Gurantee Accuracy

Buy Now

Report Copyright Violation

Reviews( 0 )

QUESTIONS & ANSWERS

$9.50

Instant download

94

0

Document information

Connected school, study & course

About the document

Uploaded On

Apr 23, 2023

Number of pages

3

Written in

All

QUESTIONS & ANSWERS

Seller

PAPERS UNLIMITED™

Member since 4 years

511 Documents Sold

Reviews Received

55

20

8

2

8

Additional information

This document has been written for:

Computer Architecture

QUESTIONS & ANSWERS

Uploaded

Apr 23, 2023

Downloads

0

Views

94

Document Keyword Tags

Recommended For You

Get more on QUESTIONS & ANSWERS »

Preview of CIS 4930/6930: Programs, Functions, Strange Loops, and Consciousness Programs and Function

Same Course Code Popular Match

$8.5

2 Pages

CIS 4930/6930: Programs, Functions, Strange Loops, and Conscio...

Jul 04, 2026

Related document

Preview of CIS 4930/6930: Programs, Functions, Strange Loops, and Consciousness Programs and Function

Same Course Code Popular Match

$9.5

3 Pages

CIS 4930/6930: Programs, Functions, Strange Loops, and Conscio...

Jul 04, 2026

Related document

Preview of Security+ Renewal - Domain 3.0 / Security Architecture Assessment / 2025 CEU Prep / Score

Same Course Popular Match

$22

6 Pages

Security+ Renewal - Domain 3.0 / Security Architecture Assessm...

Dec 15, 2025

Related document

Preview of Questions and Answers > Agile E1 (CBO) 60566 DOWNLOAD TO GET A+

Same Course Popular Match

$12

5 Pages

Questions and Answers > Agile E1 (CBO) 60566 DOWNLOAD TO GET A...

Mar 18, 2026

Related document

Preview of NEWEST 2026-2027 COMP XM ACTUAL EXAM QUESTIONS WITH 100% VERIFIED ANSWER UPDATED GRADE A+

Same Course

$15

20 Pages

NEWEST 2026-2027 COMP XM ACTUAL EXAM QUESTIONS WITH 100% VERIF...

Apr 05, 2026

Related document

Preview of Pennsylvania State University - EA 3L08 & L09 Focus Question Response ( WITH WELL DET

Same Course Popular Match

$7

7 Pages

Pennsylvania State University - EA 3L08 & L09 Focus Questi...

Mar 18, 2026

Related document

Preview of CSE 180, Final Exam, Multiple Choice Questions (Part I) Answered on Scantron Sheet. Score

Same Course Popular Match

$7

10 Pages

CSE 180, Final Exam, Multiple Choice Questions (Part I) Answer...

Feb 26, 2026

Related document

Preview of Service Cloud Certification Study Guide

Same Course Popular Match

$10

14 Pages

Service Cloud Certification Study Guide

Mar 16, 2026

Related document

Preview of Solution Manual for Computer Graphics with Open GL 4th Edition by Donald Hearn, Pauline Ba

Same Course Popular Match

$23

74 Pages

Solution Manual for Computer Graphics with Open GL 4th Edition...

Apr 26, 2026

Related document

Preview of Computer Organization and Architecture 10e William Stallings (Test Bank)

Same Course Popular Match

$25

148 Pages

Computer Organization and Architecture 10e William Stallings (...

Apr 26, 2026

Related document

Preview of Computer Organization and Architecture 10e William Stallings (Solution Manual)

Same Course Popular Match

$25

154 Pages

Computer Organization and Architecture 10e William Stallings (...

Apr 26, 2026

Related document

Preview of AZ 104 Renewal Exam Question And Answers

Same Course Popular Match

$10

16 Pages

AZ 104 Renewal Exam Question And Answers

Nov 12, 2023

Preview of CEG 3136 LAB 2: Hardware Interfacing Computer Architecture II

Same Course Popular Match

$6

5 Pages

CEG 3136 LAB 2: Hardware Interfacing Computer Architecture II

Feb 22, 2026

Related document

Preview of Microsoft Security Operations Analyst. AI-102 Exam Dumps AI-102 Exam Questions AI-102 PDF

Same Course Popular Match

$11

10 Pages

Microsoft Security Operations Analyst. AI-102 Exam Dumps AI-10...

May 24, 2025

Related document

Preview of Engineering & Technology Computer Science What is the one adjective to describe the comp

Same Course Popular Match

$8

4 Pages

Engineering & Technology Computer Science What is the one ad...

Mar 19, 2026

Related document

Preview of Salesforce Certified Integration Architecture Designer

Same Course Popular Match

$12

50 Pages

Salesforce Certified Integration Architecture Designer

Mar 16, 2026

Related document

Preview of Introduction to Computer Organization – Fall 2018 Homework 4 Solutions University of Mich

Same Course Popular Match

$7

8 Pages

Introduction to Computer Organization – Fall 2018 Homework 4...

Mar 18, 2026

Related document

Preview of SOLUTIONS MANUAL for Elementary Statistics Using Excel, 7th Edition by Mario F. Triola

Same Course Popular Match

$26

300 Pages

SOLUTIONS MANUAL for Elementary Statistics Using Excel, 7th Ed...

Oct 17, 2025

Related document

Preview of Introduction to Cryptography with Coding Theory, 3rd Edition by Wade Trappe, Lawrence C. W

Same Course Popular Match

$20

162 Pages

Introduction to Cryptography with Coding Theory, 3rd Edition b...

May 18, 2025

Related document

Preview of eBook Introductory Circuit Analysis 14th Global Edition By Robert L. Boylestad Brian A. Ol

Same Course Popular Match

$30

1154 Pages

eBook Introductory Circuit Analysis 14th Global Edition By Rob...

Sep 03, 2025

Related document

More related documents below

Browse more QUESTIONS & ANSWERS

More From PAPERS UNLIMITED™

View all PAPERS UNLIMITED™'s documents »

$9.50

Instant download

What is Scholarfriends

Scholarfriends.com Online Platform by Browsegrades Inc. 651N South Broad St, Middletown DE. United States.

Get to know us

About Us
Privacy Statement
Refund Policy
Terms and Conditions
Contact Us
Blog
HTML Sitemap
Sellers Directory (A–Z)

We are here to help

We're available through e-mail, Twitter, and live chat.
FAQ
Questions? Leave a message!

Follow us on

Instagram
Linktree
X (Twitter)

Useful links

Join our Subreddit

Solutions Manuals for Accounting, Business, Economics and Management Text Books. The Popular and the Latest.

Popular NURSING Test Banks

Sellers Directory (A–Z)

We accept

payment cards

Copyright © Scholarfriends · High quality services·