Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic"
Status: Free
IIT Roorkee
Skills you'll gain: Linear Algebra, Machine Learning Algorithms, NumPy, Dimensionality Reduction, Advanced Mathematics, Applied Mathematics, General Mathematics, Data Transformation, Python Programming
EIT Digital
Skills you'll gain: Computational Logic, Combinatorics, Logical Reasoning, Computational Thinking, Mathematical Modeling, Operations Research, Theoretical Computer Science, Applied Mathematics, Algorithms, Linear Algebra, Verification And Validation, Arithmetic
Northeastern University
Skills you'll gain: Operations Research, Applied Mathematics, Mathematical Software, Linear Algebra, Mathematical Modeling, Algorithms, Business Modeling, Complex Problem Solving, Spreadsheet Software
Status: FreeSkills you'll gain: Verification And Validation, Systems Analysis, Mathematical Modeling, Data Structures, Theoretical Computer Science, Distributed Computing, Algorithms
Pontificia Universidad Católica de Chile
Skills you'll gain: Three-Phase, Electrical Engineering, Electronic Systems, Basic Electrical Systems, Power Electronics, Electronic Components, Engineering Analysis, Network Analysis, Simulation and Simulation Software
University of Leeds
Skills you'll gain: Logical Reasoning, Deductive Reasoning, Computational Logic, Computational Thinking, Algorithms, Theoretical Computer Science, Artificial Intelligence
University of Colorado Boulder
Skills you'll gain: Computational Logic, Theoretical Computer Science, System Requirements, Requirements Analysis, Verification And Validation, Linear Algebra, Applied Mathematics
Status: FreeSkills you'll gain: Verification And Validation, Computational Logic, System Requirements, Functional Requirement, Systems Design, Data Modeling
Pontificia Universidad Católica de Chile
Skills you'll gain: Electrical Engineering, Basic Electrical Systems, Electronic Systems, Network Analysis, Engineering Analysis, Differential Equations, Schematic Diagrams, Simulations, Simulation and Simulation Software
University of Colorado Boulder
Skills you'll gain: Bioinformatics, Mathematical Modeling, Engineering Analysis, Simulations, Differential Equations, Engineering Software, Computational Thinking, Engineering Design Process, Algorithms
EIT Digital
Skills you'll gain: Computational Logic, Theoretical Computer Science, Systems Analysis, Verification And Validation, Algorithms, Data Structures
Skills you'll gain: Data Structures, Java, Theoretical Computer Science, Programming Principles, Algorithms, Object Oriented Programming (OOP)
In summary, here are 10 of our most popular linear+temporal+logic courses
- Linear Algebra Basics: IIT Roorkee
- Automated Reasoning: satisfiability: EIT Digital
- Industrial Optimization: Models & Linear Programming: Northeastern University
- System Validation (2): Model process behaviour: EIT Digital
- Circuitos con SPICE: Sistemas trifásicos y análisis avanzado: Pontificia Universidad Católica de Chile
- An Introduction to Logic for Computer Science: University of Leeds
- Requirement Specifications for Autonomous Systems: University of Colorado Boulder
- System Validation (3): Requirements by modal formulas: EIT Digital
- Circuitos con SPICE: Análisis en el tiempo y la frecuencia: Pontificia Universidad Católica de Chile
- Engineering Genetic Circuits: Modeling and Analysis: University of Colorado Boulder
