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 (ltl)"
University of California San Diego
Skills you'll gain: Logical Reasoning, Computational Logic, Deductive Reasoning, Computational Thinking, Theoretical Computer Science, Mathematical Theory & Analysis, Combinatorics, Algorithms, Python Programming, Computer Programming, Computer Science, Advanced Mathematics
Rice University
Skills you'll gain: Computational Thinking, Event-Driven Programming, Algorithms, Combinatorics, Graph Theory, Programming Principles, Application Development, Object Oriented Programming (OOP), Data Structures, Theoretical Computer Science, Independent Thinking, Probability, Computer Programming, Interactive Design, Program Development, Big Data, Python Programming, Data Analysis, Network Analysis, Computational Logic
The Hong Kong University of Science and Technology
Skills you'll gain: Requirements Analysis, Unified Modeling Language, Object Oriented Design, Functional Requirement, Data Modeling, Systems Design, Object Oriented Programming (OOP), Systems Development Life Cycle, System Requirements, Software Development, Software Engineering, Software Systems
- Status: Free
University of Pennsylvania
Skills you'll gain: Calculus, Numerical Analysis, Applied Mathematics, Engineering Calculations, Integral Calculus, Engineering Analysis, Differential Equations, Mathematical Theory & Analysis, Advanced Mathematics, Estimation, Derivatives
University of Alberta
Skills you'll gain: Reinforcement Learning, Machine Learning, Sampling (Statistics), Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Machine Learning Algorithms, Deep Learning, Systems Development, Simulations, Solution Architecture, Markov Model, Supervised Learning, Artificial Neural Networks, Applied Machine Learning, Performance Testing, Algorithms, Statistical Methods, Pseudocode, Linear Algebra, Probability Distribution
- Status: AI skills
Skills you'll gain: Data Storytelling, Business Metrics, Key Performance Indicators (KPIs), Data Management, Data Collection, Data Governance, Bayesian Statistics, Data Analysis, Descriptive Statistics, Statistical Hypothesis Testing, Information Privacy, Data Cleansing, Pandas (Python Package), Data Visualization Software, Statistical Inference, Spreadsheet Software, Correlation Analysis, Google Sheets, Exploratory Data Analysis, Data Manipulation
California Institute of the Arts
Skills you'll gain: User Interface (UI) Design, Graphic and Visual Design, User Interface and User Experience (UI/UX) Design, Web Design, Design Elements And Principles, Human Computer Interaction, Responsive Web Design, Typography, UI Components, Information Architecture, Interaction Design, User Experience Design
Imperial College London
Skills you'll gain: Analytical Skills, Correlation Analysis, Regression Analysis, Sampling (Statistics), Statistical Hypothesis Testing, Statistical Analysis, Biostatistics, Data Analysis, R Programming, Descriptive Statistics, Statistical Modeling, Quantitative Research, Exploratory Data Analysis, Probability & Statistics, Statistics, Statistical Methods, Data Wrangling, Statistical Inference, Time Series Analysis and Forecasting, Probability Distribution
University of Washington
Skills you'll gain: Regression Analysis, Predictive Modeling, Supervised Learning, Statistical Modeling, Predictive Analytics, Machine Learning Algorithms, Feature Engineering, Machine Learning, Statistical Methods, Data Validation
University of Alberta
Skills you'll gain: Reinforcement Learning, Artificial Intelligence and Machine Learning (AI/ML), Systems Development, Solution Architecture, Simulations, Performance Testing, Artificial Neural Networks, Applied Machine Learning, Machine Learning Algorithms, Markov Model, Algorithms, Technical Writing
University of California San Diego
Skills you'll gain: Event-Driven Programming, Interactive Data Visualization, Java, Java Programming, Object Oriented Programming (OOP), User Interface (UI), Computer Programming, Algorithms, Graphical Tools, Software Engineering, Data Structures, Programming Principles, Software Documentation, Development Environment, Debugging
California Institute of the Arts
Skills you'll gain: Information Architecture, Wireframing, User Interface and User Experience (UI/UX) Design, Persona (User Experience), Mockups, User Experience Design, Responsive Web Design, Web Design, UI/UX Strategy, User Interface (UI) Design, User Centered Design, Interaction Design, Prototyping, Graphic and Visual Design, User Research, Web Language, User Interface (UI), HTML and CSS, User Flows, Design Elements And Principles
In summary, here are 10 of our most popular linear temporal logic (ltl) courses
- Mathematical Thinking in Computer Science:Â University of California San Diego
- Fundamentals of Computing:Â Rice University
- Software Engineering: Modeling Software Systems using UML:Â The Hong Kong University of Science and Technology
- Single Variable Calculus:Â University of Pennsylvania
- Reinforcement Learning:Â University of Alberta
- Meta Data Analyst:Â Meta
- Visual Elements of User Interface Design:Â California Institute of the Arts
- Statistical Analysis with R for Public Health:Â Imperial College London
- Machine Learning: Regression:Â University of Washington
- A Complete Reinforcement Learning System (Capstone):Â University of Alberta