Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "linear temporal logic"
Howard University
Skills you'll gain: Data Wrangling, Linear Algebra, Regression Analysis, NumPy, Predictive Modeling, Dimensionality Reduction, Data Science, Data Visualization, Python Programming, Statistical Modeling, Supervised Learning, Jupyter, Data Analysis, Scikit Learn (Machine Learning Library), Machine Learning Methods, Applied Mathematics, Mathematical Modeling, Algebra, Small Data, Exploratory Data Analysis
École Polytechnique
Skills you'll gain: Probability, Probability Distribution, Simulations, Probability & Statistics, Statistical Methods, Mathematical Modeling, Mathematical Theory & Analysis, Applied Mathematics, Analysis
Rice University
Skills you'll gain: Statistical Hypothesis Testing, Regression Analysis, Statistical Analysis, Statistical Modeling, Statistical Inference, Business Analytics, Microsoft Excel, Estimation, Data Analysis, Forecasting
EIT Digital
Skills you'll gain: Computational Logic, Combinatorics, Logical Reasoning, Computational Thinking, Mathematical Modeling, Operations Research, Theoretical Computer Science, Applied Mathematics, Algorithms, Linear Algebra, Verification And Validation, Arithmetic
- Status: Free
EIT Digital
Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, System Testing, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Software Testing, Statistical Modeling, Probability, Algorithms, Probability Distribution
EIT Digital
Skills you'll gain: Computational Logic, Theoretical Computer Science, Systems Analysis, Verification And Validation, Algorithms, Data Structures
- Status: Free
IIT Roorkee
Skills you'll gain: Linear Algebra, Machine Learning Algorithms, NumPy, Dimensionality Reduction, Advanced Mathematics, Applied Mathematics, General Mathematics, Data Transformation, Python Programming
Howard University
Skills you'll gain: Regression Analysis, Predictive Modeling, Statistical Modeling, Supervised Learning, Scikit Learn (Machine Learning Library), Applied Mathematics, Machine Learning Methods, Linear Algebra, Small Data, Statistical Analysis, Data Science, NumPy
Howard University
Skills you'll gain: Linear Algebra, NumPy, Applied Mathematics, Algebra, Python Programming, Data Manipulation, Data Science, Computer Programming
University of Colorado Boulder
Skills you'll gain: Computational Logic, Verification And Validation, Systems Design, Software Architecture, Theoretical Computer Science, Algorithms, Software Development Tools
University of California San Diego
Skills you'll gain: Algorithms, Network Routing, Network Model, Graph Theory, Advanced Mathematics, Operations Research, Theoretical Computer Science, Network Analysis, Data Structures, Computational Thinking, Linear Algebra, Computer Science, Big Data, Computational Logic, Probability & Statistics
University of California San Diego
Skills you'll gain: Logical Reasoning, Computational Logic, Deductive Reasoning, Computational Thinking, Theoretical Computer Science, Mathematical Theory & Analysis, Combinatorics, Algorithms, Python Programming, Computer Programming, Computer Science, Advanced Mathematics
In summary, here are 10 of our most popular linear temporal logic courses
- Linear Algebra for Data Science Using Python: Howard University
- Aléatoire : une introduction aux probabilités - Partie 1: École Polytechnique
- Linear Regression for Business Statistics: Rice University
- Automated Reasoning: satisfiability: EIT Digital
- Quantitative Model Checking: EIT Digital
- Automated Reasoning: Symbolic Model Checking: EIT Digital
- Linear Algebra Basics: IIT Roorkee
- Building Regression Models with Linear Algebra: Howard University
- Fundamental Linear Algebra Concepts with Python: Howard University
- Temporal Logic Model Checking : University of Colorado Boulder