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"
- 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
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
The Hong Kong University of Science and Technology
Skills you'll gain: Linear Algebra, Engineering Calculations, Algebra, Engineering Analysis, Advanced Mathematics, General Mathematics, Applied Mathematics, Geometry
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
University of Colorado Boulder
Skills you'll gain: Linear Algebra, Applied Mathematics, Data Science, Data Analysis, Statistical Methods, Algebra, Numerical Analysis
- Status: Free
The University of Sydney
Skills you'll gain: Calculus, Integral Calculus, Algebra, Advanced Mathematics, Geometry, Trigonometry, Arithmetic, Derivatives, Mathematical Modeling, Graphing
DeepLearning.AI
Skills you'll gain: Linear Algebra, NumPy, Dimensionality Reduction, Data Transformation, Data Manipulation, Data Science, Machine Learning Algorithms, Applied Mathematics, Python Programming
Imperial College London
Skills you'll gain: Linear Algebra, Dimensionality Reduction, NumPy, Regression Analysis, Calculus, Applied Mathematics, Probability & Statistics, Data Transformation, Jupyter, Data Science, Advanced Mathematics, Statistics, Numerical Analysis, Geometry, Statistical Analysis, Machine Learning Methods, Artificial Neural Networks, Algorithms, Data Manipulation, Machine Learning
Johns Hopkins University
Skills you'll gain: Algebra, Mathematical Modeling, Graphing, Arithmetic, Advanced Mathematics, Applied Mathematics, Analytical Skills, Probability & Statistics, Linear Algebra, Geometry, Calculus
Skills you'll gain: Computer Hardware, Technical Support, Software Installation, Help Desk Support, Information Technology, Hardware Troubleshooting, Microsoft Windows, Linux, Computer Networking, Computational Logic, Technical Documentation
Johns Hopkins University
Skills you'll gain: Linear Algebra, Applied Mathematics, Algebra, Advanced Mathematics, Graph Theory, Geometry, Applied Machine Learning, Markov Model
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Digital Systems: From Logic Gates to Processors: Universitat Autònoma de Barcelona
- An Introduction to Logic for Computer Science:Â University of Leeds
- Machine Learning:Â DeepLearning.AI
- Matrix Algebra for Engineers:Â The Hong Kong University of Science and Technology
- Data Analysis with Python:Â IBM
- Essential Linear Algebra for Data Science:Â University of Colorado Boulder
- Introduction to Calculus:Â The University of Sydney
- Linear Algebra for Machine Learning and Data Science:Â DeepLearning.AI
- Mathematics for Machine Learning:Â Imperial College London
- Algebra: Elementary to Advanced:Â Johns Hopkins University