Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic"
- 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
- Status: Free
Universidad de Palermo
Skills you'll gain: Algebra, Arithmetic, General Mathematics, Applied Mathematics, Graphing
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
Johns Hopkins University
Skills you'll gain: Data Analysis, Applied Mathematics, Mathematical Modeling, Graphing, Trigonometry, Analytical Skills, R Programming, General Mathematics, Data Modeling, Statistics, Correlation Analysis, Regression Analysis, Calculus, Systems Of Measurement, Geometry, Algebra
- Status: Free
DeepLearning.AI
Skills you'll gain: ChatGPT, OpenAI, Generative AI, Natural Language Processing, Application Development, Application Frameworks, Data Import/Export
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
Coursera Project Network
Skills you'll gain: Finite Element Methods, Engineering Analysis, Simulation and Simulation Software, Simulations, Mechanical Design, Structural Analysis, Engineering Design Process
- Status: Free
Korea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Differential Equations, Mathematical Modeling, Applied Mathematics, Calculus, Vibrations, Mechanics
In summary, here are 10 of our most popular linear+temporal+logic 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
- Matemática Preuniversitaria: Universidad de Palermo
- Algebra: Elementary to Advanced: Johns Hopkins University
- Álgebra básica: Universidad Nacional Autónoma de México
- Precalculus through Data and Modelling: Johns Hopkins University
- Functions, Tools and Agents with LangChain: DeepLearning.AI
- Mathematics for Engineers: The Hong Kong University of Science and Technology