Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic+(ltl)"
- Status: Free
University of North Texas
Skills you'll gain: Arithmetic, Probability & Statistics, Graphing, Geometry, Statistics, Algebra, Applied Mathematics, Systems Of Measurement
Imperial College London
Skills you'll gain: Linear Algebra, NumPy, Applied Mathematics, Data Transformation, Data Science, Machine Learning Methods, Algorithms, Data Manipulation, Python Programming
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Systems Design, Electronic Hardware, Electrical and Computer Engineering, Simulation and Simulation Software, Embedded Systems, Verification And Validation, Computer Engineering, Development Testing, Debugging
- 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: 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: Algebra, Mathematical Modeling, Graphing, Arithmetic, Advanced Mathematics, Applied Mathematics, Analytical Skills, Probability & Statistics, Linear Algebra, Geometry, Calculus
- Status: Free
Universidad Nacional Autónoma de México
Skills you'll gain: Algebra, General Mathematics, Arithmetic, Geometry
The Hong Kong University of Science and Technology
Skills you'll gain: Differential Equations, Linear Algebra, Matlab, Engineering Calculations, Engineering Analysis, Numerical Analysis, Finite Element Methods, Integral Calculus, Mechanical Engineering, Calculus, Algebra, Applied Mathematics, Mathematical Modeling, Civil Engineering, Advanced Mathematics, Computational Thinking, Engineering, Mathematical Theory & Analysis, Simulation and Simulation Software, Geometry
- Status: Free
Universidad de Palermo
Skills you'll gain: Algebra, Arithmetic, General Mathematics, Applied Mathematics, Graphing
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
Columbia University
Skills you'll gain: Project Schedules, Project Risk Management, Scheduling, Risk Management, Construction Management, Timelines, Lean Methodologies, Architecture and Construction, Milestones (Project Management), Project Management, Project Planning, Project Management Software, Resource Allocation, Dependency Analysis
- Status: Free
University of Pennsylvania
Skills you'll gain: Calculus, Integral Calculus, Mathematical Theory & Analysis, Algebra, Advanced Mathematics, Applied Mathematics, Derivatives
In summary, here are 10 of our most popular linear+temporal+logic+(ltl) courses
- Math Prep: College & Work Ready: University of North Texas
- Mathematics for Machine Learning: Linear Algebra: Imperial College London
- Hardware Description Languages for FPGA Design: University of Colorado Boulder
- Introduction to Logic: Stanford University
- Large Language Model Operations (LLMOps): Duke University
- Algebra: Elementary to Advanced: Johns Hopkins University
- Álgebra básica: Universidad Nacional Autónoma de México
- Mathematics for Engineers: The Hong Kong University of Science and Technology
- Matemática Preuniversitaria: Universidad de Palermo
- Linear Algebra from Elementary to Advanced: Johns Hopkins University