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"
University of Colorado Boulder
Skills you'll gain: Linear Algebra, Applied Mathematics, Data Science, Data Analysis, Statistical Methods, Algebra, Numerical Analysis
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
DeepLearning.AI
Skills you'll gain: Linear Algebra, NumPy, Dimensionality Reduction, Data Transformation, Data Manipulation, Data Science, Machine Learning Algorithms, Applied Mathematics, Python Programming
- 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
Rice University
Skills you'll gain: Programming Principles, Python Programming, Computational Logic, Development Environment, Computer Programming, Scripting Languages, Debugging
Skills you'll gain: Supervised Learning, Feature Engineering, Jupyter, Unsupervised Learning, Scikit Learn (Machine Learning Library), Machine Learning Algorithms, Python Programming, Applied Machine Learning, Statistical Machine Learning, Predictive Modeling, Machine Learning, Dimensionality Reduction, Classification And Regression Tree (CART), Matplotlib, Regression Analysis, Random Forest Algorithm, Statistical Modeling, Data Manipulation
University of Alberta
Skills you'll gain: Reinforcement Learning, Machine Learning, Artificial Intelligence, Markov Model, Applied Machine Learning, Algorithms
University of Colorado Boulder
Skills you'll gain: Operations Research, Algorithms, Network Model, Linear Algebra, Combinatorics, Computational Thinking, Mathematical Modeling, Theoretical Computer Science, Computer Programming, Python Programming
- Status: Free
Universitat Autònoma de Barcelona
Skills you'll gain: Computer Architecture, Computer Engineering, Hardware Architecture, System Design and Implementation, Application Specific Integrated Circuits, Digital Design, Computer Hardware, Design Software, Simulations
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
Skills you'll gain: Data Wrangling, Data Cleansing, Data Analysis, Data Manipulation, Data Transformation, Data Import/Export, Exploratory Data Analysis, Predictive Analytics, Statistical Analysis, Regression Analysis, Predictive Modeling, Pandas (Python Package), Scikit Learn (Machine Learning Library), Statistical Modeling, Machine Learning Methods, Feature Engineering, Python Programming, Data Pipelines, NumPy
Skills you'll gain: Jupyter, Automation, Web Scraping, Python Programming, Data Manipulation, Data Import/Export, Scripting, Data Structures, Data Processing, Data Collection, Application Programming Interface (API), Pandas (Python Package), Programming Principles, NumPy, Object Oriented Programming (OOP), Computer Programming
In summary, here are 10 of our most popular linear temporal logic courses
- Essential Linear Algebra for Data Science:Â University of Colorado Boulder
- Automated Reasoning: satisfiability:Â EIT Digital
- Linear Algebra for Machine Learning and Data Science:Â DeepLearning.AI
- Quantitative Model Checking:Â EIT Digital
- Python Programming Essentials:Â Rice University
- Machine Learning with Python:Â IBM
- Fundamentals of Reinforcement Learning:Â University of Alberta
- Approximation Algorithms and Linear Programming :Â University of Colorado Boulder
- Digital Systems: From Logic Gates to Processors: Universitat Autònoma de Barcelona
- Linear Regression for Business Statistics:Â Rice University