Not agree with bug 3, precision actually was. 8,5 not set in the code. Not agree with bug 3, precision actually was
|
|
|
- Felicity Atkins
- 9 years ago
- Views:
Transcription
1 Task 1 Task 2 Task 3 Feedback Presence SUM Matrikkel Rühm [5] [1] [2] [1] [1] [10] Feedback to students A rühm 0 0 No submission found A rühm For Bug 3. Actually the variable can't be <1 and >53 at the same time. You are right the condition is useless, but not because it was checked before, but because it will always be 10 false A rühm A rühm 4, Not agree with bug 3, precision actually was 9,5 not set in the code B rühm B rühm B rühm 3, ,5 5 out 7 issues have been analyzed. B rühm 4, Not agree with bug 3, precision actually was 8,5 not set in the code B rühm Bug 6: did not explain why you suppose that equals() is symmetric; Bug 8: but what about 9 memory overuse? B rühm B rühm B rühm For Bug 3. Actually the variable can't be <1 and >53 at the same time. You are right the condition is useless, but not because it was checked before, but because it will always be 10 false B rühm Bug 6: did not explain why you suppose that equals() is symmetric; Bug 8: but what about 9 memory overuse? B rühm 3, ,5 5 out 7 issues have been analyzed. B rühm B rühm 3,5 0, Bug 2,4: didn't explain why, Bug 3: the question is whether method equals() remains symmetric; Bug 8: I see that you tried to investigate the problem, but didn't provide meaningful 8 explanation B rühm 3,5 0, Bug 2,4: didn't explain why, Bug 3: the question is whether method equals() remains symmetric; Bug 8: I see that you tried to investigate the problem, but didn't provide meaningful 8 explanation B rühm 0 0 No submission found A rühm Bug 4,7: unclear explanation A rühm : Why?; 1.7: And how it will affect the app during run-time? 2. I am agree that finding all possible run-time errors is undecidable, but the question was to compare static analysis vs manual inspection, you just superficially mentioned this in your answer.
2 A rühm B rühm B rühm B rühm B rühm B rühm B rühm 0 0 No submission found B rühm Issue1: very superficial analysis while this issue was analyzed in instructions, issue6: here FindBugs care about precision, not about comparing objects; issue7: didn't explain what is the problem. No analysis for possible null 8 pointer deref B rühm B rühm B rühm Issue1: very superficial analysis while this issue was analyzed in instructions, issue6: here FindBugs care about precision, not about comparing objects; issue7: didn't explain what is the problem. No analysis for possible null 8 pointer deref B rühm B rühm 4, : if we checked variable before then no need 9,5 to re-check again, useless code, but won't harm B rühm 0 0 No submission found B rühm Issue1: superficial analysis; issue6: why you think so?? How the program will behave after 9 it? B rühm B rühm Issue1: superficial analysis; issue6: why you think so?? How the program will behave after 9 it? B rühm A rühm Very well written report. Analysis of all possible 10 defects were nicely done. B rühm Good feedback and and other parts were correct as 10 well. Nothing else really to add. B rühm Did not submit homework. B rühm In general neat report. Would have been nice to add code examples in the report as well. All in all well 10 done. B rühm Decent report all very clearly presented and analysed. Very well written report. Analysis of all possible B rühm defects were nicely done. Neat and easy to read report, well done. You mention that static code analysis finds bugs faster but generally I would say it finds possible bugs and to determine weather they are really bugs or not may B rühm take a lot of time.
3 B rühm done. In general neat report. Would have been nice to add code examples in the report as well. All in all well Everything was well done and explained. Code snippets of the possible defects would have been ok B rühm but this is a really minor thing. B rühm primary. B rühm written report. B rühm and commented. B rühm primary. Possible defects were very well commented and explained. Would have been nice to see exact parts of the code were bug occurred in a report but that is not Compariosn part kind of ends in a way that there should be something more, Other than that well Would have been nice to see exact parts of the code in report as well. Other than that all was well done Possible defects were very well commented and explained. Would have been nice to see exact parts of the code were bug occurred in a report but that is not Everything was well done and explained. Code snippets of the possible defects would have been ok B rühm but this is a really minor thing. B rühm and commented. B rühm Would have been nice to see exact parts of the code in report as well. Other than that all was well done Compariosn part kind of ends in a way that there should be something more, Other than that well written report. B rühm Not present in lab and did not submit homework. Good feedback and and other parts were correct as B rühm well. Nothing else really to add. Neat and easy to read report, well done. You mention that static code analysis finds bugs faster but generally I would say it finds possible bugs and to determine weather they are really bugs or not may B rühm take a lot of time. B rühm I liket that you pointed out exact places in code as well in addition to explanations. Well written and 10 explained report. A rühm Really good report everything was throughly 10 explained and analysed. B rühm Missed from thte lab. Very good to read and follow report, nicely done. Many did not like the code too 9 much so it is not your problem really :) B rühm You definitely had one of the best reports this time. I would say you had most complete answer for last points and very constructive feedback. Very well 10 done. B rühm Neat report, nothing really to complain about. Good 10 job. B rühm Good job guys. Nice report where everything were 10 well explained and analysed. Nothing were missing. B rühm Missed lab session and did not submit report. B rühm Missed from lab session. Good report. All was correct 9 and presented in nicely manner.
4 B rühm Missed lab session and did not submit report. B rühm I especially liked how you added code snippets to support your conclusions and analysis. Well written 10 and explained report. B rühm Good report all was well written and explained. Not 10 much more to add or complain about. B rühm Missed lab session and did not submit report. B rühm Missed lab session and did not submit report. High quality report as always. Nice viewpoints and B rühm suggestions. Really enjoyable to read. B rühm Good job guys. Nice report where everything were 10 well explained and analysed. Nothing were missing. B rühm Missed lab session and did not submit report. B rühm You definitely had one of the best reports this time. I would say you had most complete answer for last points and very constructive feedback. Very well 10 done. B rühm Very enjoyable to read lab report again. Everything were really well explained and additional materials worked through independently, what is good to see. Do not know ways how this report could have been 10 written better :) B rühm Really good report everything was throughly 10 explained and analysed. B rühm Good report all was well written and explained. Not 10 much more to add or complain about. B rühm Neat report, nothing really to complain about. Good 10 job. B rühm I especially liked how you added code snippets to support your conclusions and analysis. Well written 10 and explained report. B rühm Very enjoyable to read lab report again. Everything were really well explained and additional materials worked through independently, what is good to see. Do not know ways how this report could have been 10 written better :) rühm You have written Static code analysis uses certain patterns to find possible issues, and a lot faster than a human. The term than a human is probably not the best way to argue. Its too general term and could create 10 confusion. B rühm Well written report. You have written Static code analysis uses certain patterns to find possible issues, and a lot faster than a human. The term than a human is probably not the best way to argue. Its too general term and could create B rühm confusion.
5 B rühm 4, In (7) you stated that Most likely it was Intended., but havent given any reason why you think so? I deduct 0.25 points for this. You were absent in lab, and your answer format is different from what was explained 8,75 in Lab. B rühm Present in Lab. Report not found. B rühm Well written report. B rühm B rühm B rühm B rühm B rühm B rühm For answer 3, instead of using general terms such as soft-spot and static code analysis is good, try to use technical terms such as true positive, false positive, FindBug recommendations which would 10 create less confusion. B rühm B rühm Well written report. Were absent in lab. B rühm For answer 3, instead of using general terms such as soft-spot and static code analysis is good, try to use technical terms such as true positive, false positive, FindBug recommendations which would 10 create less confusion. B rühm B rühm Well written report. B rühm B rühm B rühm A rühm Well written report. Nice to see parts of the 10 code while explaining in report. A rühm Well written report. B rühm Absent. Report not found. B rühm Well written report. Nice to see parts of the 10 code while explaining in report. B rühm B rühm B rühm Well written report. B rühm Absent in lab. You did not write about the General comments and conclusions on 8 performing the lab (Feedback). B rühm B rühm B rühm
6 B rühm B rühm B rühm B rühm B rühm B rühm B rühm rühm Good report! A rühm 4, ,5 Analysed only 6 bugs in task-1, everything else is fine. A rühm 4, Missed to mention bug names, Everything else is 9,5 good. A rühm No submission A rühm Good report! A rühm No submission B rühm Good report! Missed to mention bug names, Everything else is B rühm 4, ,5 good. B rühm 2,5 0 1, Only few bugs analysed in task-1, and missing task2 B rühm No submission B rühm 4, ,5 Analysed only 6 bugs in task-1, everything else is fine.
Introduction to Hypothesis Testing
I. Terms, Concepts. Introduction to Hypothesis Testing A. In general, we do not know the true value of population parameters - they must be estimated. However, we do have hypotheses about what the true
Course Evaluations Online
Course Evaluations Online The Office of Academic Review and Curricular Advancement (OARCA) has the responsibility of packaging, distributing, collecting and scanning, then redistributing the end of semester
Hypothesis Testing for Beginners
Hypothesis Testing for Beginners Michele Piffer LSE August, 2011 Michele Piffer (LSE) Hypothesis Testing for Beginners August, 2011 1 / 53 One year ago a friend asked me to put down some easy-to-read notes
Independent samples t-test. Dr. Tom Pierce Radford University
Independent samples t-test Dr. Tom Pierce Radford University The logic behind drawing causal conclusions from experiments The sampling distribution of the difference between means The standard error of
recursion, O(n), linked lists 6/14
recursion, O(n), linked lists 6/14 recursion reducing the amount of data to process and processing a smaller amount of data example: process one item in a list, recursively process the rest of the list
Writing an essay. This seems obvious - but it is surprising how many people don't really do this.
Writing an essay Look back If this is not your first essay, take a look at your previous one. Did your tutor make any suggestions that you need to bear in mind for this essay? Did you learn anything else
Writing Thesis Defense Papers
Writing Thesis Defense Papers The point of these papers is for you to explain and defend a thesis of your own critically analyzing the reasoning offered in support of a claim made by one of the philosophers
if and if-else: Part 1
if and if-else: Part 1 Objectives Write if statements (including blocks) Write if-else statements (including blocks) Write nested if-else statements We will now talk about writing statements that make
Vieta s Formulas and the Identity Theorem
Vieta s Formulas and the Identity Theorem This worksheet will work through the material from our class on 3/21/2013 with some examples that should help you with the homework The topic of our discussion
3. Logical Reasoning in Mathematics
3. Logical Reasoning in Mathematics Many state standards emphasize the importance of reasoning. We agree disciplined mathematical reasoning is crucial to understanding and to properly using mathematics.
Quick Tricks for Multiplication
Quick Tricks for Multiplication Why multiply? A computer can multiply thousands of numbers in less than a second. A human is lucky to multiply two numbers in less than a minute. So we tend to have computers
Pre-Algebra Lecture 6
Pre-Algebra Lecture 6 Today we will discuss Decimals and Percentages. Outline: 1. Decimals 2. Ordering Decimals 3. Rounding Decimals 4. Adding and subtracting Decimals 5. Multiplying and Dividing Decimals
Essay on your family history. Maybe youre wondering what families this history different yours all of the others out there..
Essay on your family history. Maybe youre wondering what families this history different yours all of the others out there.. Essay on your family history >>>CLICK HERE
ACVL Web Site LEASING VS. BUYING QUIZ
ACVL Web Site LEASING VS. BUYING QUIZ There are many factors to consider when deciding whether to lease or finance your next vehicle. To help consumers weigh their circumstances and understand whether
Writing and presenting degree projects in Mathematical statistics
Writing and presenting degree projects in Mathematical statistics Tom Britton, [email protected] Stockholm University October, 2010 General remarks Unlike mathematics there is no exact right or wrong
Seven Deadly Sins of Debugging
Seven Deadly Sins of Debugging Roger Orr OR/2 Limited www.howzatt.demon.co.uk ACCU conference 2008 Debugging is the worst case The best bug is one that didn't happen. Learn and apply techniques to reduce
The 5 P s in Problem Solving *prob lem: a source of perplexity, distress, or vexation. *solve: to find a solution, explanation, or answer for
The 5 P s in Problem Solving 1 How do other people solve problems? The 5 P s in Problem Solving *prob lem: a source of perplexity, distress, or vexation *solve: to find a solution, explanation, or answer
Demonstrating a DATA Step with and without a RETAIN Statement
1 The RETAIN Statement Introduction 1 Demonstrating a DATA Step with and without a RETAIN Statement 1 Generating Sequential SUBJECT Numbers Using a Retained Variable 7 Using a SUM Statement to Create SUBJECT
Chapter 19 Operational Amplifiers
Chapter 19 Operational Amplifiers The operational amplifier, or op-amp, is a basic building block of modern electronics. Op-amps date back to the early days of vacuum tubes, but they only became common
THE 10 MOST POWERFUL CHANGES THAT WILL INCREASE SALES IN YOUR COMPANY IMMEDIATELY!
THE 10 MOST POWERFUL CHANGES THAT WILL INCREASE SALES IN YOUR COMPANY IMMEDIATELY! LEADS X CONVERSIONS = SALES Most companies put all their efforts into generating more leads to generate more sales. In
COMPASSIONATE FRIEND GROUP
COMPASSIONATE FRIEND GROUP How to be a good friend to yourself and so get life working better for you. (Facilitator Version) Isabel Clarke Compassionate Friend Group The group hopes to give people the
(Refer Slide Time: 2:03)
Control Engineering Prof. Madan Gopal Department of Electrical Engineering Indian Institute of Technology, Delhi Lecture - 11 Models of Industrial Control Devices and Systems (Contd.) Last time we were
HELPING CHILDREN COPE WITH STRESS
CENTER FOR EFFECTIVE PARENTING HELPING CHILDREN COPE WITH STRESS Stress is a natural and normal part of children's lives. The process of growing up carries with it quite a bit of stress. Children begin
TesT AuTomATion Best Practices
Test Automation Best Pr actices 2 Which test Cases should be automated? A test case or use case scenario is a simulated situation in which a user performs determinate actions when using a particular app.
Core Values Judge Certification Questions Answer Key
Core Values Judge Certification Questions Answer Key 1. Which is the best description of the purpose of Core Values Judging? a. To see how well the team knows the Core Values (Incorrect. It s not important
Common Mistakes in Data Presentation Stephen Few September 4, 2004
Common Mistakes in Data Presentation Stephen Few September 4, 2004 I'm going to take you on a short stream-of-consciousness tour through a few of the most common and sometimes downright amusing problems
Introduction to Hypothesis Testing. Hypothesis Testing. Step 1: State the Hypotheses
Introduction to Hypothesis Testing 1 Hypothesis Testing A hypothesis test is a statistical procedure that uses sample data to evaluate a hypothesis about a population Hypothesis is stated in terms of the
Designing with Exceptions. CSE219, Computer Science III Stony Brook University http://www.cs.stonybrook.edu/~cse219
Designing with Exceptions CSE219, Computer Science III Stony Brook University http://www.cs.stonybrook.edu/~cse219 Testing vs. Debugging Testing Coding Does the code work properly YES NO 2 Debugging Testing
UNITED STATES DISTRICT COURT
Page CENTRAL DISTRICT OF CALIFORNIA - EASTERN DIVISION HONORABLE SHERI PYM, U.S. MAGISTRATE JUDGE 0 IN THE MATTER OF THE SEARCH ) EDCM -0-SP OF AN APPLE IPHONE SEIZED DURING ) THE EXECUTION OF A SEARCH
Storing SpamAssassin User Data in a SQL Database Michael Parker. [ Start Slide ] Welcome, thanks for coming out today.
Storing SpamAssassin User Data in a SQL Database Michael Parker [ Start Slide ] Welcome, thanks for coming out today. [ Intro Slide ] Like most open source software, heck software in general, SpamAssassin
2013 Satisfaction Survey. How are we doing? Easier to Read Version
2013 Satisfaction Survey How are we doing? Easier to Read Version We asked people some questions about their support. Here is some of what people said and the changes we will make. That someone who knows
TOAD and SubVersion - A Quick How To. Norman Dunbar of Dunbar IT Consultants Ltd.
TOAD and Subversion Introduction This file gives details of how to get your scripts, packages and so on under version control using SubVersion. Specifically I use TortoiseSVN as my GUI of choice - it integrates
Oracle Solaris Studio Code Analyzer
Oracle Solaris Studio Code Analyzer The Oracle Solaris Studio Code Analyzer ensures application reliability and security by detecting application vulnerabilities, including memory leaks and memory access
The Critical Length of a Transmission Line
Page 1 of 9 The Critical Length of a Transmission Line Dr. Eric Bogatin President, Bogatin Enterprises Oct 1, 2004 Abstract A transmission line is always a transmission line. However, if it is physically
Thinking about using a hidden camera or other equipment to monitor someone s care?
Thinking about using a hidden camera or other equipment to monitor someone s care? FEBRUARY 2015 We are the Care Quality Commission. Our job is to inspect health and social care services such as your local
How to WOW! Your Guests
Tools Technology Skills How to WOW! Your Guests Training Workbook Copyright 2005 Choice Hotels International WOW! Page 3 4 WOW! Page WOW! Page 5 What is WOW! Service? What is WOW!? and service! WOW! separates
Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products
Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing
Draft report of the Survey of Participants in Stage 3 of the Workflow Pilot Non MEs users
Draft report of the Survey of Participants in Stage 3 of the Workflow Pilot Non MEs users Index of questions 1 Please select your role in your CRG... 2 2 How do you interact with the workflow system?...
Chapter 8 Software Testing
Chapter 8 Software Testing Summary 1 Topics covered Development testing Test-driven development Release testing User testing 2 Program testing Testing is intended to show that a program does what it is
Module 6.3 Client Catcher The Sequence (Already Buying Leads)
Module 6.3 Client Catcher The Sequence (Already Buying Leads) Welcome to Module 6.3 of the Client Catcher entitled The Sequence. I recently pulled over 300 of the local lead generation explosion members
Change Impact Analysis
Change Impact Analysis Martin Ward Reader in Software Engineering [email protected] Software Technology Research Lab De Montfort University Change Impact Analysis Impact analysis is a process that predicts
COMP 110 Prasun Dewan 1
COMP 110 Prasun Dewan 1 12. Conditionals Real-life algorithms seldom do the same thing each time they are executed. For instance, our plan for studying this chapter may be to read it in the park, if it
7.6 Approximation Errors and Simpson's Rule
WileyPLUS: Home Help Contact us Logout Hughes-Hallett, Calculus: Single and Multivariable, 4/e Calculus I, II, and Vector Calculus Reading content Integration 7.1. Integration by Substitution 7.2. Integration
Your logbook. Choosing a topic
This booklet contains information that will be used to complete a science fair project for the César Chávez science fair. It is designed to help participants to successfully complete a project. This booklet
Book of over 45 Spells and magic spells that actually work, include love spells, health spells, wealth spells and learning spells and spells for life
Book of over 45 Spells and magic spells that actually work, include love spells, health spells, wealth spells and learning spells and spells for life Stop Chasing Happiness, Make it Find You! Here's how
5544 = 2 2772 = 2 2 1386 = 2 2 2 693. Now we have to find a divisor of 693. We can try 3, and 693 = 3 231,and we keep dividing by 3 to get: 1
MATH 13150: Freshman Seminar Unit 8 1. Prime numbers 1.1. Primes. A number bigger than 1 is called prime if its only divisors are 1 and itself. For example, 3 is prime because the only numbers dividing
Introduction to Static Analysis for Assurance
Introduction to Static Analysis for Assurance John Rushby Computer Science Laboratory SRI International Menlo Park CA USA John Rushby Static Analysis for Assurance: 1 Overview What is static analysis?
Descriptive Statistics and Measurement Scales
Descriptive Statistics 1 Descriptive Statistics and Measurement Scales Descriptive statistics are used to describe the basic features of the data in a study. They provide simple summaries about the sample
6 3 4 9 = 6 10 + 3 10 + 4 10 + 9 10
Lesson The Binary Number System. Why Binary? The number system that you are familiar with, that you use every day, is the decimal number system, also commonly referred to as the base- system. When you
HOW TO WRITE A LABORATORY REPORT
HOW TO WRITE A LABORATORY REPORT Pete Bibby Dept of Psychology 1 About Laboratory Reports The writing of laboratory reports is an essential part of the practical course One function of this course is to
Free Report. My Top 10 Tips to Betting Like a Pro With Zero Risk
Free Report My Top 10 Tips to Betting Like a Pro With Zero Risk Legal Disclaimer: EVERY EFFORT HAS BEEN MADE TO ACCURATELY REPRESENT THIS PRODUCT AND IT'S POTENTIAL. EVEN THOUGH THIS INDUSTRY IS ONE OF
Chapter 31 out of 37 from Discrete Mathematics for Neophytes: Number Theory, Probability, Algorithms, and Other Stuff by J. M.
31 Geometric Series Motivation (I hope) Geometric series are a basic artifact of algebra that everyone should know. 1 I am teaching them here because they come up remarkably often with Markov chains. The
Difficult Tutoring Situations
Difficult Tutoring Situations At some time or other, all tutors will find themselves faced with difficult situations in a tutoring session. The following information will provide you with some common categories
CS 2112 Spring 2014. 0 Instructions. Assignment 3 Data Structures and Web Filtering. 0.1 Grading. 0.2 Partners. 0.3 Restrictions
CS 2112 Spring 2014 Assignment 3 Data Structures and Web Filtering Due: March 4, 2014 11:59 PM Implementing spam blacklists and web filters requires matching candidate domain names and URLs very rapidly
Lesson 26: Reflection & Mirror Diagrams
Lesson 26: Reflection & Mirror Diagrams The Law of Reflection There is nothing really mysterious about reflection, but some people try to make it more difficult than it really is. All EMR will reflect
Action Steps for Setting Up a Successful Home Web Design Business
Action Steps for Setting Up a Successful Home Web Design Business In this document you'll find all of the action steps included in this course. As you are completing these action steps, please do not hesitate
Time Limit: X Flags: -std=gnu99 -w -O2 -fomitframe-pointer. Time Limit: X. Flags: -std=c++0x -w -O2 -fomit-frame-pointer - lm
Judge Environment Language Compilers Language Version Flags/Notes Max Memory Limit C gcc 4.8.1 Flags: -std=gnu99 -w -O2 -fomit-frame-pointer - lm C++ g++ 4.8.1 Flags: -std=c++0x -w -O2 -fomit-frame-pointer
Prime Time: Homework Examples from ACE
Prime Time: Homework Examples from ACE Investigation 1: Building on Factors and Multiples, ACE #8, 28 Investigation 2: Common Multiples and Common Factors, ACE #11, 16, 17, 28 Investigation 3: Factorizations:
BRO. 2 Males He and Him. Katie Hileman
BRO 2 Males He and Him. Katie Hileman Two guys are sitting in a bedroom on the floor listening to music. One guy is packing a bowl. The other watches patiently. They are best friends, this is a ritual
Seriously Simple Sums! Vedic Maths Free Tutorial. Maths Tips and Tricks to Improve Your Math Abilities
Copyright Notice This e-book is free! Maths Tips and Tricks to Improve Your Math Abilities This publication is protected by international copyright laws. You have the author s permission to transmit this
Chapter 10. Key Ideas Correlation, Correlation Coefficient (r),
Chapter 0 Key Ideas Correlation, Correlation Coefficient (r), Section 0-: Overview We have already explored the basics of describing single variable data sets. However, when two quantitative variables
NPV Versus IRR. W.L. Silber -1000 0 0 +300 +600 +900. We know that if the cost of capital is 18 percent we reject the project because the NPV
NPV Versus IRR W.L. Silber I. Our favorite project A has the following cash flows: -1 + +6 +9 1 2 We know that if the cost of capital is 18 percent we reject the project because the net present value is
Page 18. Using Software To Make More Money With Surveys. Visit us on the web at: www.takesurveysforcash.com
Page 18 Page 1 Using Software To Make More Money With Surveys by Jason White Page 2 Introduction So you re off and running with making money by taking surveys online, good for you! The problem, as you
JA003 Výběrová angličtina pro přírodovědce
JA3 Výběrová angličtina pro přírodovědce Anketa podzim 214 Otázka Název otázky Možnosti Odpovědi 1 2 4 Balance of language and science 3 5 4 4 Balance of language and science From my point of view, balance
Loop Invariants and Binary Search
Loop Invariants and Binary Search Chapter 4.3.3 and 9.3.1-1 - Outline Ø Iterative Algorithms, Assertions and Proofs of Correctness Ø Binary Search: A Case Study - 2 - Outline Ø Iterative Algorithms, Assertions
CELC Benchmark Essays Set 3 Prompt:
CELC Benchmark Essays Set 3 Prompt: Recently, one of your friends fell behind in several of his/her homework assignments and asked you for help. You agreed, but then you found out that your friend was
WRITING PROOFS. Christopher Heil Georgia Institute of Technology
WRITING PROOFS Christopher Heil Georgia Institute of Technology A theorem is just a statement of fact A proof of the theorem is a logical explanation of why the theorem is true Many theorems have this
Significant Figures, Propagation of Error, Graphs and Graphing
Chapter Two Significant Figures, Propagation of Error, Graphs and Graphing Every measurement has an error associated with it. If you were to put an object on a balance and weight it several times you will
Chapter 6 Experiment Process
Chapter 6 Process ation is not simple; we have to prepare, conduct and analyze experiments properly. One of the main advantages of an experiment is the control of, for example, subjects, objects and instrumentation.
16. Recursion. COMP 110 Prasun Dewan 1. Developing a Recursive Solution
16. Recursion COMP 110 Prasun Dewan 1 Loops are one mechanism for making a program execute a statement a variable number of times. Recursion offers an alternative mechanism, considered by many to be more
Being Accountable in Work and Life
Being Accountable in Work and Life Workshop Objectives > Define accountability > Become aware of your own level of accountability > Understand the importance of accountability and how it relates to work
Why are thesis proposals necessary? The Purpose of having thesis proposals is threefold. First, it is to ensure that you are prepared to undertake the
Guidelines for writing a successful MSc Thesis Proposal Prof. Dr. Afaf El-Ansary Biochemistry department King Saud University Why are thesis proposals necessary? The Purpose of having thesis proposals
BBC Learning English Talk about English Business Language To Go Part 1 - Interviews
BBC Learning English Business Language To Go Part 1 - Interviews This programme was first broadcast in 2001. This is not a word for word transcript of the programme This series is all about chunks of language
A binary search tree or BST is a binary tree that is either empty or in which the data element of each node has a key, and:
Binary Search Trees 1 The general binary tree shown in the previous chapter is not terribly useful in practice. The chief use of binary trees is for providing rapid access to data (indexing, if you will)
MATH 140 Lab 4: Probability and the Standard Normal Distribution
MATH 140 Lab 4: Probability and the Standard Normal Distribution Problem 1. Flipping a Coin Problem In this problem, we want to simualte the process of flipping a fair coin 1000 times. Note that the outcomes
Top Ten Mistakes in the FCE Writing Paper (And How to Avoid Them) By Neil Harris
Top Ten Mistakes in the FCE Writing Paper (And How to Avoid Them) By Neil Harris Top Ten Mistakes in the FCE Writing Paper (And How to Avoid Them) If you re reading this article, you re probably taking
2.2 Derivative as a Function
2.2 Derivative as a Function Recall that we defined the derivative as f (a) = lim h 0 f(a + h) f(a) h But since a is really just an arbitrary number that represents an x-value, why don t we just use x
Getting the best from your 360 degree feedback
1 Contents Getting the best from your 360 degree feedback... 3 What it is.... 3 And isn t.... 4 Using the system... 5 Choosing your respondents... 5 Choosing your competencies... 5 Compiling your questionnaire...
COMP6053 lecture: Relationship between two variables: correlation, covariance and r-squared. [email protected]
COMP6053 lecture: Relationship between two variables: correlation, covariance and r-squared [email protected] Relationships between variables So far we have looked at ways of characterizing the distribution
Question #1: What are the main issues considered during physical database design?
INDE499B, Classroom Preparation for 10/30/00 1 Question #1: What are the main issues considered during physical database design? Respondant: The main issues considered during the physical database design
Playing with Numbers
PLAYING WITH NUMBERS 249 Playing with Numbers CHAPTER 16 16.1 Introduction You have studied various types of numbers such as natural numbers, whole numbers, integers and rational numbers. You have also
ECON 459 Game Theory. Lecture Notes Auctions. Luca Anderlini Spring 2015
ECON 459 Game Theory Lecture Notes Auctions Luca Anderlini Spring 2015 These notes have been used before. If you can still spot any errors or have any suggestions for improvement, please let me know. 1
7 Gaussian Elimination and LU Factorization
7 Gaussian Elimination and LU Factorization In this final section on matrix factorization methods for solving Ax = b we want to take a closer look at Gaussian elimination (probably the best known method
Last time we had arrived at the following provisional interpretation of Aquinas second way:
Aquinas Third Way Last time we had arrived at the following provisional interpretation of Aquinas second way: 1. 2. 3. 4. At least one thing has an efficient cause. Every causal chain must either be circular,
Exact Nonparametric Tests for Comparing Means - A Personal Summary
Exact Nonparametric Tests for Comparing Means - A Personal Summary Karl H. Schlag European University Institute 1 December 14, 2006 1 Economics Department, European University Institute. Via della Piazzuola
Lecture 1. Basic Concepts of Set Theory, Functions and Relations
September 7, 2005 p. 1 Lecture 1. Basic Concepts of Set Theory, Functions and Relations 0. Preliminaries...1 1. Basic Concepts of Set Theory...1 1.1. Sets and elements...1 1.2. Specification of sets...2
Visual Basic Programming. An Introduction
Visual Basic Programming An Introduction Why Visual Basic? Programming for the Windows User Interface is extremely complicated. Other Graphical User Interfaces (GUI) are no better. Visual Basic provides
A Few Basics of Probability
A Few Basics of Probability Philosophy 57 Spring, 2004 1 Introduction This handout distinguishes between inductive and deductive logic, and then introduces probability, a concept essential to the study
Solutions to Math 51 First Exam January 29, 2015
Solutions to Math 5 First Exam January 29, 25. ( points) (a) Complete the following sentence: A set of vectors {v,..., v k } is defined to be linearly dependent if (2 points) there exist c,... c k R, not
What is a Loop? Pretest Loops in C++ Types of Loop Testing. Count-controlled loops. Loops can be...
What is a Loop? CSC Intermediate Programming Looping A loop is a repetition control structure It causes a single statement or a group of statements to be executed repeatedly It uses a condition to control
WRITING AN ESSAY Some thoughts to help you get started. A: 'Golden rules' of essay-writing
WRITING AN ESSAY Some thoughts to help you get started. A: 'Golden rules' of essay-writing 1. STRUCTURE Always make it clear to yourself and to your reader: "Where you are, how you got there, and where
Logistics. Software Testing. Logistics. Logistics. Plan for this week. Before we begin. Project. Final exam. Questions?
Logistics Project Part 3 (block) due Sunday, Oct 30 Feedback by Monday Logistics Project Part 4 (clock variant) due Sunday, Nov 13 th Individual submission Recommended: Submit by Nov 6 th Scoring Functionality
Genealogy apps for Android phones & tablets
Introduction Genealogy apps for Android phones & tablets Many of us use a genealogy program to record the details of our research and also to guide us where to add more details. But that is at home and
Cultural Relativism. 1. What is Cultural Relativism? 2. Is Cultural Relativism true? 3. What can we learn from Cultural Relativism?
1. What is Cultural Relativism? 2. Is Cultural Relativism true? 3. What can we learn from Cultural Relativism? What is it? Rough idea: There is no universal truth in ethics. There are only customary practices
Information Sheet Updated March 2007
Duty of Care and Negligence Villamanta Disability Rights Legal Service Inc. Information Sheet Updated March 2007 What is Negligence? Negligence is when someone who owes you a duty of care, has failed to
CS330 Design Patterns - Midterm 1 - Fall 2015
Name: Please read all instructions carefully. The exam is closed book & no laptops / phones / computers shall be present nor be used. Please write your answers in the space provided. You may use the backs
