The procedure which includes removal of the terminal portions of vulvar orifices and tissues of the vulva, inguinal lymph nodes, and associated structures is:

Ureteral catheters will probably be inserted to provide a landmark to prevent accidental injury during which of the following procedures?

Stirrups would not be required for which of the following procedures:

The removal of a fibroid tumor from the uterus is a/an:

Question 1The Honorlock scientific calculator will be enabled. Students have shown preference for using their own hand-held calculator (not a cell phone calculator). I will allow either as long as you hold up your handheld calculator to the camera so I can see that is what is being used…. Do you understand that you may use the Honorlock scientific calculator or show/use your hand held calculator?

Question 2Part 1 of your exam must be completed without access to a cheat sheet. On the day of the exam: hold up your cheat sheet and show that it is one-sided. Then, lay it face down. You may use the back as scrap paper, if needed. Do you understand that you may NOT use the cheat sheet while taking part 1. [After answering this question, click on NEXT PAGE to move to page 2 of the practice exam. You will notice that you are unable to return to page 1.]

If we cannot prove that a program is correct using Hoare logic, then we know for certain that the program is not correct.

Consider a program S with a single assignment statement z:= x/y Which counter example (x,y values) shows that the following Hoare triple is invalid: {y != 0} z:= x/y {z < 1}?

Which of the following is/are true about the Hoare triple {P} S {Q}  (select all correct answer(s) and no incorrect answer(s) to get credit):

Consider a program S with a single assignment statement x := 10. Which of the following is NOT a valid Hoare triple?