38 Courses and Certifications

Free Algorithms Courses & Certifications

Career Category
Specialization
Job Role
Skills
Automated Reasoning Symbolic Model Checking

Offered by

Certificate

Automated Reasoning: Symbolic Model Checking

The Automated Reasoning: Symbolic Model Checking certification course offers to learn through online mode. The course talks about the properties of acting systems and programs. The course can be pursued as a free programme in the audit mode, provided the students will not be able to get access to the graded quizzes, assessments, and certification. 

The Automated Reasoning: Symbolic Model Checking certification syllabus includes four weekly modules that can be completed in the time period of 13 hours. Students can also enable English subtitles in the programme. 

There are no restrictions regarding the timings of the sessions or attendance percentage since this is a self-paced programme that lets the user choose their own deadlines. The certification of the Automated Reasoning: Symbolic Model Checking online course is achievable at the end of the course if the participants successfully complete the course after taking the subscription of the programme.

...Read More
3 Weeks
Intermediate
Free
Skills Covered:
Programming skills
Automated Reasoning Satisfiability

Offered by

Certificate

Automated Reasoning: Satisfiability

If you want to learn the applications for satisfiability tools, Automated Reasoning: satisfiability course is perfect for you. The programme uses several examples to give you a glimpse into the various scenarios where satisfiability can be applied. These examples include program correctness, scheduling problems, puzzle-solving and fitting rectangles used for printing posters. 

Besides this, Automated Reasoning: satisfiability training also offers the underlying theory of using the resolution as a primary approach to propositional satisfiability, applying simplex methods for solving linear inequalities and using the CDCL framework for scaling up big formulas. You will learn these concepts through a series of video lessons, reading material, practise assignments and graded assignments. However, the course encourages you to use the knowledge you receive and apply SAT/SMT to several other problems, such as the problems presented in the honour’s assignment.

Automated Reasoning: satisfiability certification is an online course that takes about 25 hours to complete. It is an intermediate course taught by Hans Zantema and is offered by EIT Digital. You can either join the course for free or take the Coursera membership and secure a certificate of completion.

...Read More
3 Weeks
Intermediate
Free
Skills Covered:
Knowledge of computer application
NP-Complete Problems

Offered by

Certificate

NP-Complete Problems

3 Weeks
Intermediate
Free
Data Structures and Algorithms with C++

Offered by

Certificate

Data Structures and Algorithms with C++ Course

Data Structures and Algorithms with C++ Course is an online certification course offered by Board Infinity which is an online educational platform that offers numerous certifications and programmes on various topics. The curriculum of the Data Structures and Algorithms with C++ Course Online Training is intended to assist the students to make a clear picture of the data structures and algorithms with C++  and cover the programming language C++. 

Provided by Board Infinity, the Data Structures and Algorithms with C++ Course Programme will enable the students to build the capacity to solve various programming problems and challenges using the data structures. By opting for the course, the learners will be able to upgrade their knowledge of data structures and algorithms. During the programme, the learners will be assigned multiple projects including Search Engines, Graph-based projects and Stack-based text editors. 

...Read More
1 Weeks
Beginner
Free
Skills Covered:
C++ Knowledge of Algorithms
Data Structures and Algorithms for Beginners

Offered by

Certificate

Data Structures and Algorithms for Beginners

Data Structures & Algorithms for Beginners Course is an online course administered by  Board Infinity, the online learning platform that provides various online courses and certifications on a wide range of topics. The curriculum of  Data Structures & Algorithms for Beginners Online Course -developed by Abhilash Rudra, Quantitative Research at JPMorgan Chase & Co., will explore the data structures,  arrays, linked lists, and dynamic programming. 

Data Structures & Algorithms for Beginners Programme, offered by Board Infinity, will render the students a certificate after the completion of the course that will facilitate them to get certified and hired for a successful career opportunity. 

...Read More
20 Hours
Beginner
Free
Skills Covered:
Knowledge of Algorithms

Offered by

Certificate

Binary Trees

Intermediate
Free

Offered by

Certificate

Data Structures in C

Beginner
Free

Offered by

Certificate

Data Structures & Algorithms in Java

Beginner
Free

Articles

Popular Articles

Latest Articles

Trending Courses

Popular Courses

Popular Platforms

Learn more about the Courses

Download the Careers360 App on your Android phone

Regular exam updates, QnA, Predictors, College Applications & E-books now on your Mobile

Careers360 App
  • 150M+ Students
  • 30,000+ Colleges
  • 500+ Exams
  • 1500+ E-books
  • Economic Times
  • Financial Express
  • Firstpost
  • Livemint