10/7/2014
CSI 5110 (COMP 5707) Assignment 2
Assignment 3: Assigned October 2, due Monday, October 20 at 8:30
1. Fill in the missing precondition or postcondition to form a Hoare triple that is satisfied
under partial correctness. For postconditions, make
11/17/2014
CSI 5110 (COMP 5707) Assignment 5
Assignment 5: Assigned November 6, due Monday, November 17 at 8:30
1. p. 160, 2.2 (4d) For part (i), assume that the substitution A[t/x] is permitted only if t is free
for x in A. Assume also that you can alway
CSI 5110 Principles of Formal Software Development
Fall 2014
Assignment 4
Assigned October 23, due Monday, November 3 at 8:30
1. p. 303, 4.4 (1e) (Please see p.301, 4.3 (16) for the definition of Copy2.)
2. p. 158, 2.1 (4b,c,i)
3. The following Java class
9/14/2014
CSI 5110 (COMP 5707) Assignment 1
Assignment 1:
Assigned September 8, due Monday, September 15 at 8:30am
If you submit this assignment on Blackboard Learn, please submit one single file.
1. Use ~ (negation), ->, /\, and \/ to express the followi
ITI1121- 2009 Midterm Marking Guidelines Question 1. Total: 6 marks A. True B. True C. False D. False E. True F. True
Question 2. Total: 6 marks A. Nothing will make this program give this output; not marked. B. linked list C. Method Calls D. Object E. ht
University of Ottawa ITI1121/ITI1521 Midterm Examination Professor(s): Nathalie Japkowicz, Xinhou Hua and Herna L. Viktor Winter 2009 February 26, 209 Duration: 80 minutes Closed book; no aid allowed. Answer all questions in ink in the spaces provided in
Assignment 3
Due date: 11 February 2010
Total number of points: 25
Q1. Suppose that the random variable X has the following cumulative distribution function CDF: x0 0, FX (x) = x3 , 0 x 1 1, x 1. (a) (b) (c) Compute P (X > 0.5) and P (0.2 < X < 0.8). Find
MAT 2384-Fall 2009-Homework #6 To be submitted in class on Friday, November 13 Question 1. In each case, nd the solution to the linear homogeneous system of dierential equations: y = Ay satisfying the given initial condition: (i) A = 1 2 2 1 , y (0) = 1 1
CSI2110 - Fall 2009 - Assignment 2
Posted: Monday, November 2nd , 2009 Due: Monday, November 16th 2009, by 11:00 pm
Work alone! This is an individual assignment. Your answer has to be uploaded to Virtual Campus - No exceptions. There is a total of 20 poin
LAB 4
BASIC COMPUTER ORGANIZATION
Note Students have to be aware of and observe the university regulations concerning the academic fraud: http:/web5.uottawa.ca/admingov/regulation_13.html http:/www.uottawa.ca/plagiarism.pdf http:/www.sass.uottawa.ca/writi
CSI2114 - Fall 2004 - Midterm Exam University of Ottawa School of Information Technology and Engineering
Date: Sunday October 24, 2004 This is a closed books exam. No calculators allowed. You have 2 hours to nish. Answer in the spaces provided. There are
CSI2110 - Fall 2009 - Assignment 1
Posted: Friday, October 2nd , 2009 Due: Thursday, October 15th 2009, by 11:00 pm
Work alone! This is an individual assignment. Your answer has to be uploaded to Virtual Campus - No exceptions. There is a total of 20 poin
MAT 2384-Practice Problems on independence of solutions of ODEs and the Wronskian Question 1 For each of the following higher orer ODEs, use the Wronskian to show that the given functions form a basis of solutions. 1. y (4) = 0, 2. x2 y 3. y 1, x, x2 , x3
MAT 2384-Practice Problems on First-order Separable- Homogeneous ODEs 1. Find the general solution of each of the following ODEs. (a) y = 2 sec(2y ) (b) yy + 25x = 0 (c) y sin(x) = y cos(x) (d) y e2x = y 2 + 1 (e) (x3 + y 3 )dx 3xy 2 dy = 0 (f) (x2 + 3y 2
MAT 2384-Practice Problems on Nonhomogeneous second order ODEs-Methods of Undermined Coecients and the Variation of Parameters For each of the following ODEs, Find the General Solution. If an initial condition is given, nd also the corresponding particula
MAT 2384-Practice Problems on Linear Second Order ODEs with constant coecients For each of the following ODEs, Find the General Solution. If an initial condition is given, nd also the corresponding particular solution. 1. 4y 20y + 25y = 0, y (0) = 1, y (0