Results for "linear+temporal+logic"
The Hong Kong University of Science and Technology
Skills you'll gain: Linear Algebra, Engineering Calculations, Algebra, Engineering Analysis, General Mathematics, Advanced Mathematics, Mathematics and Mathematical Modeling, Applied Mathematics
Universitat Politècnica de València
Skills you'll gain: Linear Algebra, Algebra, Applied Mathematics, General Mathematics
University of Colorado Boulder
Skills you'll gain: Computational Logic, Verification And Validation, Functional Testing, Theoretical Computer Science, Systems Design, Functional Specification, Process Modeling, Communication Systems, Algorithms
Johns Hopkins University
Skills you'll gain: Calculus, Integral Calculus, Advanced Mathematics, Mathematical Theory & Analysis, Applied Mathematics, Numerical Analysis, Mathematical Modeling, Mathematical Software, Derivatives
The Hong Kong University of Science and Technology
Skills you'll gain: Differential Equations, Linear Algebra, Matlab, Engineering Analysis, Numerical Analysis, Integral Calculus, Mathematical Software, Calculus, Engineering Calculations, electromagnetics, Algebra, Applied Mathematics, Mathematical Modeling, Engineering, Advanced Mathematics, Geometry, Computational Thinking, Simulation and Simulation Software, Mechanics, Scripting
Johns Hopkins University
Skills you'll gain: Graphing, Data Analysis, R (Software), R Programming, General Mathematics, Mathematical Modeling, Algebra, Mathematical Software, Applied Mathematics, Calculus, Business Mathematics
Johns Hopkins University
Skills you'll gain: Algebra, Graphing, Advanced Mathematics, Logical Reasoning, Applied Mathematics, Mathematical Modeling, Visualization (Computer Graphics), Correlation Analysis, Predictive Modeling
Imperial College London
Skills you'll gain: Regression Analysis, Calculus, Model Optimization, Mathematical Software, Numerical Analysis, Applied Mathematics, Applied Machine Learning, Linear Algebra, Artificial Neural Networks, Derivatives
University of Pennsylvania
Skills you'll gain: Calculus, Applied Mathematics, Derivatives, Estimation
University of Colorado Boulder
Skills you'll gain: Computational Logic, Systems Design, Verification And Validation, Computer Engineering, Communication Systems, Systems Analysis, Software Systems, Process Modeling, Functional Testing, Theoretical Computer Science, Computational Thinking, Functional Specification, Software Architecture, Model Optimization, Software Design, Graph Theory, Software Testing, Software Quality Assurance, Computer Architecture, Logical Reasoning
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, System Design and Implementation, Application Specific Integrated Circuits, Test Case, Test Script Development, Verification And Validation, Electronic Hardware, Computational Logic, Electrical and Computer Engineering, Electronics, Test Tools, Development Testing, Simulation and Simulation Software, Programming Principles, Simulations, Functional Testing, Debugging, Computer Programming
Universidad Nacional Autónoma de México
Skills you'll gain: Algebra, General Mathematics, Arithmetic, Applied Mathematics, Geometry
In summary, here are 10 of our most popular linear+temporal+logic courses
- Matrix Algebra for Engineers: The Hong Kong University of Science and Technology
- Bases matemáticas: Álgebra: Universitat Politècnica de València
- Temporal Logic Model Checking : University of Colorado Boulder
- Calculus through Data & Modelling: Series and Integration: Johns Hopkins University
- Mathematics for Engineers: The Hong Kong University of Science and Technology
- Precalculus: Relations and Functions: Johns Hopkins University
- Honors Algebra 2: Linear and Quadratic Functions: Johns Hopkins University
- Mathematics for Machine Learning: Multivariate Calculus: Imperial College London
- Calculus: Single Variable Part 2 - Differentiation: University of Pennsylvania
- Fundamentals of Model Checking: University of Colorado Boulder
