please send answer for part a i and ii 1. (a) Consider the following algorithm:Input: A number k 20Output: ??X +0Y +1while x k doX + x+1Y +Y * Xreturn Yi. Give the output of this algorithm in terms of the input.ii. Write a loop invariant for this algorithm.iii. State and use the While-loop invariance theorem to prove that this algorithmis correct with respect to the output you gave in Part i.iv. Rewrite the algorithm using a For-loop rather than a While-loop.(b) Derive the following judgement using natural deduction:A implies (B and C), B implies D, C implies E- A implies (D andE)State clearly all the rules that you use in your derivation.

Output is the factorial of given number k. Detailed explanation with all steps is given in next…

1. (a) Consider the following algorithm: Input: A number k >0 Output: ?? X +0 Y1 while x k do X +x+1 Y +Y * X return Y i. Give the output of this algorithm in terms of the input. ii. Write a loop invariant for this algorithm.

1. (a) Consider the following algorithm: Input: A number k >0 Output: ?? X +0 Y1 while x k do X +x+1 Y +Y * X return Y i. Give the output of this algorithm in terms of the input. ii. Write a loop invariant for this algorithm.

Database System Concepts

7th Edition

ISBN:9780078022159

Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Chapter1: Introduction

Section: Chapter Questions

Problem 1PE

See similar textbooks

Related questions

Q: which accept set of stangs substoning Constoud NFA an or 1010 as Contains 1100

A: We are going to construct a NFA which will accepts strings which will contain 1100 or 1010 as…

Q: Complete the code to show the result of the 10 factorials. Do not change anything on the codes Just…

A: According to Question the changes for line 5 and line 8 are below: Line 5 : f*=k and line 8: f=1…

Q: 04 base 10 to base 2.

A: Ans:- (204)10= (11001100)2

Q: 47 by -18 (integers in decimal (base 10)). Q1 : What is the remainder of the division in FP…

A: Floating point numbers are used to represent noninteger fractional numbers and are used in most…

Q: Your task is : Visualization of confirmed cases of COVID-19 by country . (Use pandas to read the…

A: base_url <- # it's long, so I'm pasting it together to avoid ugly long lines…

Q: 2. Convert The last two digits from the right from your ID to binary then Encode the binary word…

A: The goal here is to take the last two digits of a given ID (10 in the given example), convert them…

Q: Carry out the following additions and subtractions in binary representation: 10000011+01011001;…

A: The binary number system, commonly referred to as base-2 numbers, consists of just two digits: 0 and…

Q: Q4) Using KNN, classify the following data (40,80,?) where k-3 and 5 using the Manhattan distance:…

A: Q4)Given dataset,XYLabel2540N3560N4580N2020N2095Y4060Y60100Y30150YTo classify the data point (40,…

Q: QUESTION 18 Convert the binary value of 00111101 to base 16 (Provide the base value with no units,…

A: To convert to base 16, we need to form group of 4 bits and then convert each bit to its equivalent…

Q: Q3 part 2: Please type the description of all the parts to this question Convert the following…

A: Given: Answer following questions.

Q: A short review if you need: A CRC-3 will have a four-bit polynomial. The largest would be aax + bx²…

A: Cyclic Redundancy Check (CRC): The Cyclic Redundancy Check (CRC) is a form of error detection. It…

Q: Python Use any dataset of your choice How to print summary of your dataset without using…

A: To print summary of your dataset without using pandas inbuilt function, we can use groupby…

Q: Which two numbers from the set (63, 57, 39, 91} are relatively prime? 63 and 91 63 and 57 91 and 57…

A: Two numbers are said to be relatively prime when they have only 1 as common factor. Given set of…

Q: Generate a table for the multiples of even numbers from 16 to 28. Make headings for each column…

A: As no programming language has been mentioned, so doing the above in Java. public class…

Q: Convert 2021g to: Decimal Convert CE16 to: Decimal

A: Base of octal number system is 8 Base of hexadecimal number system is 16 Any number can be simply…

Q: Explain SEGMENT & ENDS

A: The beginning of a logical segment is indicated by the SEGMENT directive. The segment's name should…

Q: Explain paging and segmentation. Please explain the differences.

A: Introduction: Paging and segmentation are two memory management techniques used in modern operating…

Q: NUMBER 5 AND 6 ONLY PLEASE which is the 2021(16) and 79 (8) To binary. thank you

A: Here have to determine about convert hex and binary number to binary.

Q: i want a python code to extract the time only in hrs,minutes and seconds from the recording…

A: Solution: Python Code: import pandas as pd # Load the data into a pandas dataframedf =…

Q: Explain SEGMENT & ENDS

A: The process of creating a set of instructions that tells a computer how to perform a task is known…

Q: The missing element in the following sequence 0,2,8,26,80, 728 is

A: The pattern is an = 3n-1 - 1

Q: each week between OCT 1, 2020 and DEC 30, 2020 inclusively, display the week number (1, 2, 3, ...,…

A: USE Postgresql For each week between OCT 1, 2020 and DEC 30, 2020 inclusively, display the week…

Q: 8.0000 7.4000 6.8000 7.8000 7.2000 6.6000 7.6000 7.0000 6.4000 3.0000 3.0000 3.0000 1.7000 16.7000…

A: Code:…

Q: Normalize the following table, given 1NF, 2NF and BCNF : Module Dept Lecturer Texts M1 D1 L1 T1,T2…

A: Provided the solution for the normalization of given table into 1NF, 2NF, BCNF with step by step…

Q: Generate hamming code for the message 1011 100.

Q: Explain SEGMENT & ENDS

A: Definition: A line segment in geometry is a section of a straight line that is enclosed by two…

Q: There is no error checking in day_of_year or month_day. Remedy this defect.

A: Code: #include <stdio.h> static char daytab[2][13] = { {0, 31, 28, 31, 30, 31, 30, 31, 31,…

Q: Create the r language code for the factorial check in all circumstances.

A: In this question we need to write a R program to find factorial of a number by checking in all the…

Q: Rav has the date which is not in proper order (proper order means dd/mm/YYYY. your task Is to help…

A: Since programming language is not mentioned so I have used Python programming language. Solution:…

Q: Please answer items d and e. Follow the same instrucstions above.

A: Define the signal parameters and the original signal f.Sample the signal using a suitable value of…

Q: The GTUC Company wants to produce a product orders report from its product orders file. Each record…

A: Pseudocode This is one of the approaches that could be used to represent a program's algorithm.…

Q: Write a procedure in PL/I that gives information about undergraduate alumni for a university's…

A: This is a simple data processing routine which contains some interesting format specifications. In…

Q: in cell b13, create a formula using the vlookup function that looks up the value from cell a11 in…

A: The correct solution to this question is VLOOKUP(A11,A5:B7,2,0) . Explanation: The VLООKUР methоd…

Q: Convert (2AC5.15)16 to Octal number.

A: Hexadecimal numbers are base 16 numbers. Hexadecimal numbers are 0,1,2,3,4,5,6,7,8,9,A,B,C,D,E,F.…

Q: Instruction to delete the dynArray.

A: Dynamic array deletion (allocation and deallocation ) using c++

Concept explainers

Computational Systems

The computation systems can be defined as the systems that are capable of solving a problem that includes calculations either mathematical or logical, and are able to produce the result as an output. For example, a simple calculator that is given a set of numbers and operators as input and produces the result as an output can be defined as a computational system. The above example is a simple illustration only, the computational systems range from simple devices to complex devices such as the systems that control the SpaceX companies, Starlink satellites which are being quite recently seen in the skies at many places globally.

Question

please send answer for part a i and ii

1. (a) Consider the following algorithm:
Input: A number k 20
Output: ??
X +0
Y +1
while x k do
X + x+1
Y +Y * X
return Y
i. Give the output of this algorithm in terms of the input.
ii. Write a loop invariant for this algorithm.
iii. State and use the While-loop invariance theorem to prove that this algorithm
is correct with respect to the output you gave in Part i.
iv. Rewrite the algorithm using a For-loop rather than a While-loop.
(b) Derive the following judgement using natural deduction:
A implies (B and C), B implies D, C implies E- A implies (D andE)
State clearly all the rules that you use in your derivation.

Expert Solution

This question has been solved!

Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.

SEE SOLUTION Check out a sample Q&A here

Introduction

VIEW

i Part

VIEW

ii Part

VIEW

Step by step

Solved in 3 steps with 2 images

SEE SOLUTION Check out a sample Q&A here

Knowledge Booster

Learn more about

Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.

Similar questions

Convert 2AC base 16 to base 10. Please break this down in steps
The function reshape(A,r,c) is used to: In matllab reshapes A in to r column and c rows reshapes A in to r rows and c columns Other:
The table below is similar to the one in Part A, but this time each row provides a decimal value. For each row, provide the equivalent binary value in the second column. And again, please provide your final answer in the table and show and submit all your work on a separate page. Base 2 (Binary) Туре unsigned byte unsigned byte byte byte Base 10 (Decimal) 204 17 65 -90
Cells B1, C1, and D1 contain the values Seat1Row1, Seat2Row1, and Seat3Row1. If cells B1, C1, and D1 were selected, and autofill used to fill E1, F1, and G1, what would be the auto-filled values?
Question 20 In hexadecimal format, we write 12 as Not yet answered Marked out of 1.00
Use Python Code Your task is : Number of reported COVID-19 deaths by country. (Use pandas to read the csv table. Example : df = pd.read_csv('Covid19Deaths.csv') then do the code using the dataframe) COVID-19 Deaths table (csv): Province/State Country/Region Lat Long ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## 2/1/2020 2/2/2020 2/3/2020 2/4/2020 2/5/2020 2/6/2020 2/7/2020 2/8/2020 2/9/2020 ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## 3/1/2020 3/2/2020 3/3/2020 3/4/2020 3/5/2020 3/6/2020 3/7/2020 3/8/2020 3/9/2020 ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## ######## 4/1/2020 4/2/2020 4/3/2020 4/4/2020 4/5/2020 4/6/2020 4/7/2020 Afghanistan 33 65 0 0 0 0 0 0 0 0…
Convert the decimal (base 10) number 63 to a binary (base 2) number that has only the digits '0' and '1'. Binary number: (For example, the decimal number 16 is the same as the binary number 10000; the decimal number 13 is the same as the binary number 1101.)
Answer in R code please
The following numbers are inserted into an empty LLRBT in the given order: 11, 2, 14, 25, 15, 13, 16. Please draw the resulting LLRBT.
Given, the table above, you want to fill in cells B2 through E5 with the sums of the rows and columns. What formula could be placed in cell B2 and then copied right and down that would generate these sums. The result should look like the table below.
Explain SEGMENT & ENDS
i want copy of this code