Interested in this College?
Get updates on Eligibility, Admission, Placements Fees Structure

Quick Facts

Medium Of Instructions	Mode Of Learning	Mode Of Delivery
English	Self Study	Video and Text Based

Course Overview

The LAFF – On Programming for Correctness aims at enabling candidates to master the skill of developing and constructing correct programs that will not cause a disaster later on. Since computers are now an integral part of our day-to-day lives, it is also necessary to have skilled professionals who know how to develop systematic and correct loop-based programs. The LAFF – On Programming for Correctness online course is spread over 7 weeks, during which candidates are expected to devote approximately 4 to 6 hours per week for successful completion. The course is free of cost, but students can upgrade to a verified track by paying the specified amount. The program is offered by the reputed University of Texas at Austin.

The LAFF – On Programming for Correctness training is an intermediate-level study, which implies that interested applicants must have prior basic knowledge of the course they are going to study. It is a self-paced LAFF – On Programming for a Correctness certification course to provide students with the utmost comfort while they learn new concepts in this course. They will learn how to achieve goal-oriented programming with proofs depicting correctness in their programs. It will commence with devising what is to be programmed and then working with its proofs of correctness. There are 2 available tracks which are on the edX website and can be chosen by the candidates to finish off the course. Both tracks have a self-paced mode and can be learned at one's progress. In the audit track, the candidates will get a chance to learn the course materials only for a limited time. On the other hand, the candidates will be getting full-time unlimited access to the course materials during the verified track.

The Highlights

7-week program
Online mode of education
Course offered by edX
In association with UTAustinX
Intermediate level program
Self-paced
Verified and shareable LAFF – On Programming for Correctness certification

Programme Offerings

Online Course
Instructor-led
Video transcription in English

Courses and Certificate Fees

Fees Informations	Certificate Availability	Certificate Providing Authority
INR 8248	yes	University of Texas, Austin

The LAFF – On Programming for Correctness certification fees structure is as follows:

Candidates can apply for the LAFF – On Programming for Correctness program by making an online payment.
The candidate can access the audit session without paying any amount.
However, it is the verified track that is priced at Rs. 8,248.

LAFF – On Programming for Correctness fee

Fee Category	Amount in Rs.
Basic fee	--
Upgradation fee	Rs. 8,248

Eligibility Criteria

Certification qualifying details

The candidates in order to get the certificate need to update to the verified track by paying the LAFF – On Programming for Correctness fee.

What you will learn

Programming skills

This intermediate-level LAFF – On Programming for Correctness by edX is a great opportunity for students to learn about the following concepts:

Less consumption of time taken to develop clear and correct programs.
Selecting the right algorithm which has desirable traits to suit the program to enhance its performance will be covered as a part of the training.
Deriving algorithms practically and being able to expand them to other domains as well is also a part of the course.
Gain access to MATLAB till the course goes on will be covered as a part of the LAFF – On Programming for Correctness certification syllabus.
Systematic implementation, development, and establishment of the correctness of a program will be covered under the course.
Construct and devise correct programs will also be covered under LAFF – On Programming for Correctness.

Who it is for

The following candidates can look forward to taking up the course:

Those who want to learn how to develop correct programs can opt for LAFF – On Programming for Correctness online course.
Those who want their programs to consume less time and attain better performance may want to enrol in LAFF – On Programming for Correctness certification course.
The ones who wish to study the methodology required for exceptional and systematic implementation, development, and establishment of the correctness of a program.
Candidates are interested in the fields of linear algebra algorithms and scientific computing.

Admission Details

The admission process is simple and hassle-free. The interested candidates can only register through an online process by following the steps given here:

Step: 1- Open the LAFF – On Programming for Correctness program homepage- https://www.edx.org/course/laff-on-programming-for-correctness

Step: 2- Become a member on edX either by creating a new account or linking any of your social media accounts to it

Step: 3- Fill in the email ID and verify it. This will enable you to enrol for the LAFF – On Programming for Correctness by edX you want to pursue

Step: 4- Choose the option of either going for direct purchase of the account upgrade or continue auditing the course.

Step: 5- Click on the verified track option and go directly towards payment

Step: 6- Complete the payment for the LAFF – On Programming for Correctness training with any of the given payment options and become a full benefit account holder.

The Syllabus

Opening Remarks
How to LAFF-On
Software to LAFF-On
Typesetting LAFF-On
Enrichments
Wrap Up

A Logical Beginning

Opening Remarks
Review of Logic
Proof Techniques for LAFF-On
Quantified Expressions
Weakening/strengthening
Enrichment
Wrapup
Videos with Transcripts of Selected Homeworks

Proving Programs Correct

Opening Remarks
Tools for Reasoning About Correctness
Basic Commands
The If Command
The While Command
Enrichment
Wrap Up

Deriving Programs to be Correct

Opening
Developing Simple Commands
Developing the if Command
Developing a While Command
Examples
Enrichment
Wrap Up

Matrix-Vector Operations

Opening
A Farewell to indices
Algorithms over two-dimensional arrays (matrices)
Enrichments
Wrap Up

Matrix Matrix Operations

Opening
Partitioning matrices into quadrants
Matrix-matrix multiplication
Symmetric Matrix-Matrix Multiplication
Enrichments
Wrap Up

Advanced Matrix Operations

Opening
LU Factorization
Related Operations
Enrichment
Wrap Up

Instructors

University of Texas, Austin Frequently Asked Questions (FAQ's)

1: When will the learners receive the LAFF – On Programming for Correctness certification?

The certificate will be granted to the candidate only upon the successful completion of the program along with all necessary requirements being fulfilled.

2: What is the duration of the program?

The program is 7 weeks long wherein candidates are advised to devote a minimum of 4-6 hours per week for successful completion.

3: Can students receive feedback directly from the instructors?

As the program receives a large number of applicants, the candidates cannot be provided with individual feedback from the instructors. However, they can always raise their queries which the instructors can answer for them.

4: Is there any course refund option available?

There is a fee refund option for students who apply on or before 14 days from commencement of the LAFF – On Programming for Correctness program or from purchase.

5: Can the submissions be done in languages other than English?

The official language of the LAFF – On Programming for Correctness course is English, therefore it is advisable to submit their assignments and tests in the same language. They are not yet provided with an option to give submissions in other languages.

6: Can a non-programming background student pursue LAFF – On Programming for Correctness certification course?

The course does not specify any prerequisites for prior qualifications in the field. However, since this is an intermediate level course, the candidate must be well versed with the basics of the field before joining the LAFF – On Programming for Correctness online course for better understanding.