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, Applied Mathematics
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
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
- 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
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, 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: Free
Stanford University
Skills you'll gain: Mathematical Theory & Analysis, Mathematics and Mathematical Modeling, Calculus, Deductive Reasoning, General Mathematics, Logical Reasoning
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
University of Leeds
Skills you'll gain: Logical Reasoning, Deductive Reasoning, Computational Logic, Computational Thinking, Algorithms, Theoretical Computer Science, Artificial Intelligence
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 Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Electronic Hardware, Electronic Systems, Embedded Systems, Systems Design, Application Specific Integrated Circuits, Integrated Development Environments, Electrical and Computer Engineering, System Design and Implementation, Computer Architecture, Software Development Tools, Hardware Architecture, Software Development, Simulation and Simulation Software, Development Environment, Verification And Validation, Debugging, Computer Engineering, Microarchitecture
Imperial College London
Skills you'll gain: Linear Algebra, NumPy, Applied Mathematics, Data Transformation, Data Science, Machine Learning Methods, Algorithms, Data Manipulation, Python Programming
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Introduction to Logic:Â Stanford University
- Introduction to Logic and Critical Thinking:Â Duke University
- Linear Algebra from Elementary to Advanced:Â Johns Hopkins University
- Google UX Design:Â Google
- Machine Learning:Â DeepLearning.AI
- Mathematics for Machine Learning:Â Imperial College London
- Introduction to Mathematical Thinking:Â Stanford University
- Introduction to Linear Algebra:Â The University of Sydney
- An Introduction to Logic for Computer Science:Â University of Leeds
- Python for Data Science, AI & Development:Â IBM