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 specifications"
University of Leeds
Skills you'll gain: Logical Reasoning, Deductive Reasoning, Computational Logic, Computational Thinking, Algorithms, Theoretical Computer Science, Artificial Intelligence
Multiple educators
Skills you'll gain: Unsupervised Learning, Supervised Learning, Classification And Regression Tree (CART), Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Algorithms, Applied Machine Learning, Machine Learning, Jupyter, Data Ethics, Decision Tree Learning, Tensorflow, Scikit Learn (Machine Learning Library), NumPy, Predictive Modeling, Deep Learning, Artificial Intelligence, Reinforcement Learning, Random Forest Algorithm, Feature Engineering, Artificial Neural Networks
DeepLearning.AI
Skills you'll gain: Classification And Regression Tree (CART), Machine Learning Algorithms, Machine Learning, Data Ethics, Decision Tree Learning, Tensorflow, Supervised Learning, Deep Learning, Random Forest Algorithm, Artificial Neural Networks, Regression Analysis, Performance Tuning
- Status: Free
Skills you'll gain: Linear Algebra, Applied Mathematics, Algebra, Calculus, Advanced Mathematics, Differential Equations, Mathematical Modeling, Mathematical Theory & Analysis
Johns Hopkins University
Skills you'll gain: Linear Algebra, Algebra, Mathematical Modeling, Engineering Analysis, Applied Mathematics, Mathematical Theory & Analysis, Geometry
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)
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
Johns Hopkins University
Skills you'll gain: Regression Analysis, Statistical Modeling, R Programming, Linear Algebra, Data Science, Mathematical Modeling, Data Modeling, Predictive Modeling, Statistical Analysis, Applied Mathematics
University of Colorado Boulder
Skills you'll gain: Computational Logic, Verification And Validation, Systems Design, Software Architecture, Theoretical Computer Science, Algorithms, Software Development Tools
Imperial College London
Skills you'll gain: Linear Algebra, NumPy, Applied Mathematics, Data Transformation, Data Science, Machine Learning Methods, Algorithms, Data Manipulation, Python Programming
DeepLearning.AI
Skills you'll gain: Supervised Learning, Applied Machine Learning, Jupyter, Scikit Learn (Machine Learning Library), Machine Learning, NumPy, Predictive Modeling, Feature Engineering, Artificial Intelligence, Classification And Regression Tree (CART), Python Programming, Regression Analysis, Unsupervised Learning, Statistical Modeling, Data-Driven Decision-Making, Algorithms
- Status: Free
University of Amsterdam
Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, General Mathematics
In summary, here are 10 of our most popular linear temporal logic specifications courses
- An Introduction to Logic for Computer Science:Â University of Leeds
- Machine Learning:Â DeepLearning.AI
- Advanced Learning Algorithms:Â DeepLearning.AI
- Doğrusal Cebir I: Uzaylar ve İşlemciler / Linear Algebra I: Spaces and Operators: Koç University
- Linear Algebra: Linear Systems and Matrix Equations:Â Johns Hopkins University
- Introduction to Linear Algebra and Python:Â Howard University
- Linear Algebra for Data Science Using Python:Â Howard University
- Advanced Linear Models for Data Science 1: Least Squares:Â Johns Hopkins University
- Temporal Logic Model Checking :Â University of Colorado Boulder
- Mathematics for Machine Learning: Linear Algebra:Â Imperial College London