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: Linear Algebra, Data Visualization, NumPy, Jupyter, Mathematical Modeling, Data Science, Python Programming, Data Analysis, Software Installation, Git (Version Control System)
EIT Digital
Skills you'll gain: Embedded Systems, Computer Programming, C (Programming Language), Real Time Data, System Design and Implementation, System Software, Operating Systems, System Requirements, Computer Architecture, Verification And Validation, Algorithms
Universidad Nacional Autónoma de México
Skills you'll gain: Bayesian Network, Computational Logic, Artificial Intelligence, Markov Model, Theoretical Computer Science, Decision Support Systems, Deductive Reasoning, Verification And Validation, Mathematical Modeling, Python Programming, Algorithms, Probability Distribution
Skills you'll gain: Data Mining, Artificial Intelligence, Generative AI, Data Ethics, OpenAI, Artificial Intelligence and Machine Learning (AI/ML), Big Data, Information Architecture, Strategic Decision-Making, Cloud Computing, Data Analysis, Data Science, Deep Learning, Digital Transformation, Data Strategy, Data-Driven Decision-Making, Artificial Neural Networks, Business Strategy, Business Process Automation, ChatGPT
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
In summary, here are 10 of our most popular linear temporal logic courses
- Introduction to Linear Algebra and Python:Â Howard University
- Development of Real-Time Systems:Â EIT Digital
- Razonamiento artificial: Universidad Nacional Autónoma de México
- IBM AI Foundations for Business:Â IBM
- 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