Search result for Automated reasoning Online Courses & Certifications
FollowFilter ![]()
Filter ![]()
Showing 5 courses
By Category ![]()
By Subject![]()
By Language![]()
By Duration![]()
By Price![]()
Get Course Alerts by Email
Automated Reasoning: satisfiability
by Hans Zantema- 4.8
-
![]()
![]()
![]()
![]()
![]()
Approx. 25 hours to complete
In this course you will learn how to apply satisfiability (SAT/SMT) tools to solve a wide range of problems. Several basic examples are given to get the flavor of the applications: fitting rectangles to be applied for printing posters, scheduling problems, solving puzzles, and program correctness. To get a flavor of the topic this may work out fine....
Automated Reasoning: Symbolic Model Checking
by Hans Zantema- 0.0
-
![]()
![]()
![]()
![]()
![]()
Approx. 13 hours to complete
This course presents how properties of acting systems and programs can be verified automatically. The basic notion is a transition system: any system that can be described by states and steps. We present how in CTL (computation tree logic) properties like reachability can be described. Typically, a state space may be very large....
Starting with NodeJS-HapiJS and ReactJS
by Evans Boateng Owusu- 4.4
-
![]()
![]()
![]()
![]()
![]()
2 hours on-demand video
Moreover, sentiment analysis allows automated reasoning about sentences to determine whether they are positive, negative or neutral....
$11.99
Artificial Intelligence Expert Certification (2021 Edition)
by Srinidhi Ranganathan- 3.9
-
![]()
![]()
![]()
![]()
![]()
16 hours on-demand video
Everything is automated in the concept of AI-powered programming....
$9.99
Master Discrete Math 2020: More Than 5 Complete Courses In 1
by Kody Amour- 4.4
-
![]()
![]()
![]()
![]()
![]()
16 hours on-demand video
Concepts and notations from discrete mathematics are useful in studying and describing objects and problems in all branches of computer science, such as computer algorithms, programming languages, cryptography, automated theorem proving, and software development. It is an excellent tool for improving reasoning and problem-solving abilities....
$12.99
