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
Stanford University
Skills you'll gain: Logical Reasoning, Computational Logic, Deductive Reasoning, Computational Thinking, Business Logic, Algorithms, Applied Mathematics
Johns Hopkins University
Skills you'll gain: Linear Algebra, Algebra, Applied Mathematics, Artificial Intelligence and Machine Learning (AI/ML), Mathematical Modeling, Advanced Mathematics, Engineering Analysis, Mathematical Theory & Analysis, Geometry, Graph Theory, Applied Machine Learning, Markov Model
Duke University
Skills you'll gain: Deductive Reasoning, Logical Reasoning, Computational Logic, Probability, Sampling (Statistics), Persuasive Communication, Research, Writing, Statistical Inference, Correlation Analysis, Scientific Methods, Interpersonal Communications, Interactive Learning, Learning Strategies
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, Machine Learning Algorithms, Geometry, Machine Learning Methods, Statistical Analysis, Artificial Neural Networks, Algorithms, Data Manipulation, Mathematical Modeling
- Status: Free
Stanford University
Skills you'll gain: Mathematical Theory & Analysis, Mathematics and Mathematical Modeling, Calculus, Deductive Reasoning, General Mathematics, Logical Reasoning
- Status: New AI skills
Google
Skills you'll gain: Storyboarding, Wireframing, UI/UX Research, Responsive Web Design, User Experience Design, Design Thinking, User Research, Information Architecture, Figma (Design Software), Usability Testing, User Story, Web Design, Design Reviews, Usability, Presentations, Design Research, Persona (User Experience), Ideation, User Centered Design, Mockups
The University of Sydney
Skills you'll gain: Linear Algebra, Markov Model, Geometry, Arithmetic, Algebra, General Mathematics, Advanced Mathematics, Probability, Mathematics and Mathematical Modeling, Mathematical Theory & Analysis, Applied Mathematics, Statistical Methods, Engineering Analysis
Multiple educators
Skills you'll gain: Unsupervised Learning, Supervised Learning, Artificial Intelligence and Machine Learning (AI/ML), Classification And Regression Tree (CART), Machine Learning Algorithms, Machine Learning, Jupyter, Applied Machine Learning, 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
Duke University
Skills you'll gain: Databricks, Generative AI, Performance Analysis, Apache Airflow, Workflow Management, Data Lakes, Extract, Transform, Load, OpenAI, AWS SageMaker, Performance Tuning, Scalability, Data Transformation, Data Infrastructure, Microsoft Azure, MLOps (Machine Learning Operations), Amazon Web Services, Natural Language Processing, PyTorch (Machine Learning Library), Risk Management Framework, Artificial Intelligence
Johns Hopkins University
Skills you'll gain: Linear Algebra, Algebra, Mathematical Modeling, Engineering Analysis, Applied Mathematics, Mathematical Theory & Analysis, Geometry
Skills you'll gain: Jupyter, Automation, Web Scraping, Python Programming, Data Manipulation, Data Import/Export, Scripting, Data Processing, Data Structures, Data Collection, Application Programming Interface (API), Pandas (Python Package), Programming Principles, NumPy, Object Oriented Programming (OOP), Computer Programming
DeepLearning.AI
Skills you'll gain: Linear Algebra, NumPy, Dimensionality Reduction, Jupyter, Data Manipulation, Data Science, Machine Learning Algorithms, Applied Mathematics, Python Programming
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Introduction to Logic:Â Stanford University
- Linear Algebra from Elementary to Advanced:Â Johns Hopkins University
- Introduction to Logic and Critical Thinking:Â Duke University
- Mathematics for Machine Learning:Â Imperial College London
- Introduction to Mathematical Thinking:Â Stanford University
- Google UX Design:Â Google
- Introduction to Linear Algebra:Â The University of Sydney
- Machine Learning:Â DeepLearning.AI
- Large Language Model Operations (LLMOps):Â Duke University
- Linear Algebra: Linear Systems and Matrix Equations:Â Johns Hopkins University