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
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
- Status: Free
Universidad de Palermo
Skills you'll gain: Algebra, Arithmetic, General Mathematics, Applied Mathematics, Graphing
- 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: Algebra, Mathematical Modeling, Graphing, Arithmetic, Advanced Mathematics, Applied Mathematics, Analytical Skills, Probability & Statistics, Linear Algebra, Geometry, Calculus
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
DeepLearning.AI
Skills you'll gain: ChatGPT, OpenAI, Generative AI, Natural Language Processing, Application Development, Application Frameworks, Data Import/Export
- Status: Free
Universidad Nacional Autónoma de México
Skills you'll gain: Algebra, General Mathematics, Arithmetic, Geometry
- Status: Free
University of Pennsylvania
Skills you'll gain: Calculus, Integral Calculus, Mathematical Theory & Analysis, Algebra, Advanced Mathematics, Applied Mathematics, Derivatives
Skills you'll gain: Field-Programmable Gate Array (FPGA), Application Specific Integrated Circuits, Computational Logic, Computer Architecture, Hardware Design, Electronic Hardware, Hardware Architecture, Microarchitecture, Electronic Systems, Computer Hardware, Semiconductors, Computer Engineering, Electronic Components, Functional Design, Verification And Validation, Data Storage, Data Storage Technologies
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
- Large Language Model Operations (LLMOps): Duke University
- Matemática Preuniversitaria: Universidad de Palermo
- Introduction to Logic: Stanford University
- Algebra: Elementary to Advanced: Johns Hopkins University
- Mathematics for Engineers: The Hong Kong University of Science and Technology
- Functions, Tools and Agents with LangChain: DeepLearning.AI
- Álgebra básica: Universidad Nacional Autónoma de México