Results for "linear temporal logic"
Status: Free TrialJohns Hopkins University
Skills you'll gain: Linear Algebra, Algebra, Applied Mathematics, Advanced Mathematics, Artificial Intelligence and Machine Learning (AI/ML), Mathematical Modeling, Engineering Analysis, Mathematical Theory & Analysis, Numerical Analysis, Geometry, Data Transformation, Applied Machine Learning, Dimensionality Reduction, Markov Model, Probability
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Verification And Validation, Systems Design, Software Design, Computational Logic, Computer Engineering, Embedded Systems, Hardware Architecture, Simulations, Test Automation
Status: NewStatus: PreviewUniversitat Politècnica de València
Skills you'll gain: Linear Algebra, Algebra, Geometry, General Mathematics, Applied Mathematics, Arithmetic
Status: NewBirla Institute of Technology & Science, Pilani
Skills you'll gain: Theoretical Computer Science, Computer Programming, Pseudocode, Algorithms, Computer Science, Formal Learning, Software Engineering, Program Development, Data Science, Analysis, Debugging, Technical Analysis
Status: Free TrialJohns Hopkins University
Skills you'll gain: Data Analysis, Applied Mathematics, Mathematical Modeling, Graphing, Trigonometry, R (Software), Analytical Skills, General Mathematics, Statistics, Algebra, Systems Of Measurement, Correlation Analysis, Regression Analysis, Calculus, Geometry
University of Colorado Boulder
Skills you'll gain: Computational Logic, Systems Architecture, Verification And Validation, Systems Design, Software Architecture, Systems Analysis, Theoretical Computer Science, Communication Systems, Model Evaluation, Computer Programming Tools, Algorithms
What brings you to Coursera today?
Status: PreviewUniversity of Leeds
Skills you'll gain: Logical Reasoning, Computational Logic, Computational Thinking, Algorithms, Theoretical Computer Science, Artificial Intelligence, Cryptography, Graph Theory
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Agentic systems, Mathematical Modeling, Systems Design, Theoretical Computer Science, Machine Controls, Computational Logic, Verification And Validation, System Requirements, System Design and Implementation, Engineering Analysis, Software Systems, Simulations, Automation Engineering, Automation, Mechanics, Diagram Design, Systems Analysis, Safety Assurance, Control Systems, Linear Algebra
Status: PreviewUniversity of Amsterdam
Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, General Mathematics
Status: Free TrialDuke University
Skills you'll gain: Deductive Reasoning, Critical Thinking, Logical Reasoning, Analysis, Diagram Design, Probability, Sampling (Statistics), Persuasive Communication, Research, Sample Size Determination, Writing, Case Studies, Oral Expression, Correlation Analysis, Communication, Scientific Methods, Information Architecture, Business Communication, Interactive Learning
The University of Sydney
Skills you'll gain: Linear Algebra, Markov Model, Geometry, Arithmetic, Algebra, General Mathematics, Advanced Mathematics, Probability, Mathematics and Mathematical Modeling, Mathematical Theory & Analysis, Mathematical Modeling, Applied Mathematics, Statistical Methods, Vector Databases, Engineering Analysis, Computational Logic
Status: PreviewStanford University
Skills you'll gain: Logical Reasoning, Computational Logic, Deductive Reasoning, Computational Thinking, Problem Solving, Business Logic, Complex Problem Solving, Decision Making
In summary, here are 10 of our most popular linear temporal logic courses
- Linear Algebra from Elementary to Advanced: Johns Hopkins University
- Hardware Description Languages for FPGA Design: University of Colorado Boulder
- Basic Math: Algebra: Universitat Politècnica de València
- Formal Languages and Applications: Birla Institute of Technology & Science, Pilani
- Precalculus through Data and Modelling: Johns Hopkins University
- Temporal Logic Model Checking : University of Colorado Boulder
- An Introduction to Logic for Computer Science: University of Leeds
- Foundations of Autonomous Systems: University of Colorado Boulder
- Logic for Economists: University of Amsterdam
- Introduction to Logic and Critical Thinking: Duke University
