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"
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
- Status: Free
Stanford University
Skills you'll gain: Logical Reasoning, Computational Logic, Deductive Reasoning, Computational Thinking, Business Logic, 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, Numerical Analysis, Geometry, Graph Theory, Applied Machine Learning, Markov Model
Multiple educators
Skills you'll gain: Unsupervised Learning, Supervised Learning, Artificial Intelligence and Machine Learning (AI/ML), Classification And Regression Tree (CART), Applied Machine Learning, Machine Learning Algorithms, 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, 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, Machine Learning Algorithms, Geometry, Machine Learning Methods, Artificial Neural Networks, Algorithms, Data Manipulation, Mathematical Modeling, Python Programming
- 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
DeepLearning.AI
Skills you'll gain: Descriptive Statistics, Bayesian Statistics, Statistical Hypothesis Testing, Probability & Statistics, Sampling (Statistics), Probability Distribution, Probability, Linear Algebra, Statistical Inference, A/B Testing, Statistical Analysis, Applied Mathematics, NumPy, Calculus, Dimensionality Reduction, Machine Learning, Jupyter, Python Programming, Data Manipulation, Data Science
Johns Hopkins University
Skills you'll gain: Algebra, Mathematical Modeling, Graphing, Arithmetic, Advanced Mathematics, Applied Mathematics, Analytical Skills, Probability & Statistics, Linear Algebra, Geometry, Calculus
Imperial College London
Skills you'll gain: Linear Algebra, NumPy, Applied Mathematics, Data Transformation, Data Science, Machine Learning Methods, Algorithms, Data Manipulation, Python Programming
- Status: Free
Stanford University
Skills you'll gain: Mathematical Theory & Analysis, Mathematics and Mathematical Modeling, Calculus, Deductive Reasoning, General Mathematics, Logical Reasoning
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
University of Pennsylvania
Skills you'll gain: Risk Modeling, Financial Statements, Probability Distribution, Mathematical Modeling, Statistical Modeling, Portfolio Management, Regression Analysis, Business Modeling, Financial Modeling, Strategic Decision-Making, Data Presentation, Risk Management, Decision Making, Data Visualization, Microsoft PowerPoint, Predictive Modeling, Investment Management, Spreadsheet Software, Google Sheets, Excel Formulas
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Introduction to Logic and Critical Thinking:Â Duke University
- Introduction to Logic:Â Stanford University
- Linear Algebra from Elementary to Advanced:Â Johns Hopkins University
- Machine Learning:Â DeepLearning.AI
- Mathematics for Machine Learning:Â Imperial College London
- Google UX Design:Â Google
- Mathematics for Machine Learning and Data Science:Â DeepLearning.AI
- Algebra: Elementary to Advanced:Â Johns Hopkins University
- Mathematics for Machine Learning: Linear Algebra:Â Imperial College London
- Introduction to Mathematical Thinking:Â Stanford University