Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic+(ltl)"
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
Johns Hopkins University
Skills you'll gain: Data Modeling, Graphing, Mathematical Modeling, Algebra, Trigonometry, Linear Algebra, Calculus, Advanced Mathematics, Applied Mathematics, Geometry
Johns Hopkins University
Skills you'll gain: Regression Analysis, Statistical Modeling, R Programming, Linear Algebra, Data Science, Mathematical Modeling, Data Modeling, Predictive Modeling, Statistical Analysis, Applied Mathematics
Johns Hopkins University
Skills you'll gain: Calculus, Integral Calculus, Advanced Mathematics, Applied Mathematics, Numerical Analysis, Mathematical Modeling, Derivatives
Status: Free
EIT Digital
Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, System Testing, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Software Testing, Statistical Modeling, Probability, Algorithms, Probability Distribution
Status: Free
University of California, Santa Cruz
Skills you'll gain: Systems Design, Model Based Systems Engineering, Mathematical Modeling, Simulations, Embedded Systems, Computational Logic, Basic Electrical Systems, Digital Communications, Differential Equations, Estimation, Algorithms, Linear Algebra
Howard University
Skills you'll gain: Linear Algebra, Data Visualization, NumPy, Jupyter, Mathematical Modeling, Data Science, Python Programming, Data Analysis, Software Installation, Git (Version Control System)
Columbia University
Skills you'll gain: Reinforcement Learning, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning, Algorithms, Markov Model, Data-Driven Decision-Making, Simulations, Probability & Statistics
Skills you'll gain: OpenAI, Application Development, Generative AI, Artificial Intelligence, Python Programming, Natural Language Processing, Application Frameworks, Data Processing, Semantic Web, Software Development, Query Languages, User Interface (UI), Development Environment, Application Programming Interface (API)
Deep Teaching Solutions
Skills you'll gain: Logical Reasoning, Critical Thinking, Problem Solving, Analytical Skills, Creative Thinking, Strategic Thinking, Innovation, Decision Making, Research, Communication, Language Interpretation, Translation, and Studies
Korea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Linear Algebra, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Applied Mathematics, Deep Learning, Machine Learning
Status: Free
Shanghai Jiao Tong University
Skills you'll gain: Combinatorics, Graph Theory, Theoretical Computer Science, Advanced Mathematics, Network Analysis, Logical Reasoning, Computational Thinking, Algorithms, Data Structures, Computer Science
In summary, here are 10 of our most popular linear+temporal+logic+(ltl) courses
- Introduction to Linear Algebra: The University of Sydney
- Calculus through Data & Modeling: Precalculus Review: Johns Hopkins University
- Advanced Linear Models for Data Science 1: Least Squares: Johns Hopkins University
- Calculus through Data & Modelling: Series and Integration: Johns Hopkins University
- Quantitative Model Checking: EIT Digital
- Cyber-Physical Systems: Modeling and Simulation: University of California, Santa Cruz
- Introduction to Linear Algebra and Python: Howard University
- Decision Making and Reinforcement Learning: Columbia University
- LangChain MasterClass: Build 15 LLM Apps with Python: Packt
- Critical Thinking & Logic: Real-World Skills: Deep Teaching Solutions
