Write Proofs Using Proof-Checking Tool

Your responsibility consists of using our proof-checking tool to describe proofs in predicate logic. A tutorial video for our application is available here: http://www.youtube.com/watch?v=vLn9C0nyw0U

This is part of a research study done at Stanford University on measuring student confusion while using this proof tool. Based on previous feedback, we estimate that it will take you about an hour to complete the four proofs.

To qualify for this job, you should have at least two years of programming experience, and you must have exposure to or experience in predicate logic. You must also be comfortable understanding instructions and problems in English.

If we select you, we will send you instructions on how to proceed, and mark your job completed once you complete the four predicate logic proofs. We pay as soon as you have completed these proofs.

We pay $40 per completed set of proofs, and we will hire about 70 people to complete these proofs. We have already tested our tool using a pilot study and have added in a video tutorial in response to their feedback.

Search All Jobs:

Experienced Virtual Assistants With Proven Track Record

Experienced Virtual Assistants With Proven Track Record Virtual Real Estate Sales And Marketing People / Assistants With Proven Track Record Of Success Job Description: I am looking to create a team to assist an Australian / Global property firm to list, market and negotiate the sales of...

  • Fixed Price Project
  • Max $100
  • 2 years, 5 months left

Link Builder, Brazilian Market

We are looking a link builder for our Brazilian market...

  • Fixed Price Project
  • Max $800
  • 10 months, 3 weeks left

Personal Assistant And Programs Administrator

This is a part-time permanent position which could become full time. I need/want a personal assistant to work with me and to administer many of ours services which are run with online software. Must possess excellent English speaking skills as communication is important...

  • Fixed Price Project
  • Max $40
  • 2 years, 6 months left

Administrative Support Professionals In TAMPA

I am looking for any Tampa natives to join my team. Must be knowledgeable of the area (there will be a test question or two to ensure you are from the area)...

Skills Required: test english
  • Fixed Price Project
  • Max $200
  • 2 years, 7 months left

150+w Article - General Or Narrative

Write a fiction stories about of anything related to the keyword. The story should between 150+w. Must be high quality content and good English structure. All must be written in first person, second person or general. Plagiarism free is a must. Each writer will be assigned 20 articles. Rate per 15

  • Fixed Price Project
  • Max $10
  • 1 month, 1 week left

Bulk Order Articles

We are looking for a number of writers (5) who can handle bulk work daily to join our team, need to be passionate about writing and can handle any kind of writing work at any given time they are required. English is a plus plus. Must have passed U.S basic skills test as well...

Skills Required: english test
  • Fixed Price Project
  • Max $500
  • 7 months, 1 week left

Needed For Long Term: Reader Of Erotic Short Stories To Correct, Rate And Improve Stories (adult Content)

Perfect candidate is someone who: - loves reading erotic stories; - writes their own erotic stories; - knows what makes a good erotic story which will be loved by many; - is a native English speaker with great grammar and punctuation skills. The stories are on average 6000 words...

  • Fixed Price Project
  • Max $5
  • 5 years, 8 months left

Easy And Good Paid Programs For Individual Agents, Call Centers And Brokers (Several Sales Every Day)

We have several Programs where you and your agents will be able to make SEVERAL DEALS CLOSED per day and per agent...

  • Fixed Price Project
  • Max $20
  • 3 years, 5 months left

Teachers And Instructors Are Needed For An Online Learning High School & College

==Job Overview== We are looking for teachers and instructors in college level and high school level for the subjects listed below. ==Job Description== Teachers will be requested to teach 1-5 classes per semester. It includes syllabus writing and materials developed unless agreed otherwise...

  • Fixed Price Project
  • Max $150
  • 1 month, 1 week left

Russian E-mail Customer Service For E-Commerce, 8 Hours A Day, Long Term

IMPORTANT: note that if you are not a Russian native or fluent speaker, your proposal will be reported to oDesk as spam...

  • Fixed Price Project
  • Max $3000
  • 5 months, 1 week left

Job Details

  • Job Type
  • Fixed Price Job
  • Budget
  • Max $40
  • Start Date
  • 12/07/2011 03:00:22 AM
  • Job Status
  • Job Expired