Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic+specifications"
The University of Sydney
Status: FreeUniversity of Amsterdam
Skills you'll gain: Computational Logic, Computational Thinking, Critical Thinking, Decision Making, Mathematical Theory & Analysis, Problem Solving
Status: FreeCoursera Instructor Network
Skills you'll gain: Business Analysis
Status: FreeTecnológico de Monterrey
Skills you'll gain: Algebra, Calculus, Linear Algebra, Mathematics, Graph Theory, Mathematical Theory & Analysis, Data Visualization, Geometry
Coursera Project Network
L&T EduTech
The Hong Kong University of Science and Technology
Skills you'll gain: Mathematics, Calculus, Linear Algebra, Mathematical Theory & Analysis, Algebra, Differential Equations, Critical Thinking, Problem Solving, Computer Programming, Applied Mathematics, Computational Thinking, Matlab, Data Analysis, Continuous Integration, Geometry, Operational Analysis, Process Analysis, Data Science
UNSW Sydney (The University of New South Wales)
Skills you'll gain: Writing
Status: FreeUniversity of California, Santa Cruz
Status: FreeSkills you'll gain: Systems Design, Theoretical Computer Science
In summary, here are 10 of our most popular linear+temporal+logic+specifications courses
- Introduction to Linear Algebra:Â The University of Sydney
- Logic for Economists:Â University of Amsterdam
- Fine-tuning Language Models for Business Tasks:Â Coursera Instructor Network
- 1.- El Cálculo - Modelo Lineal: Tecnológico de Monterrey
- VLSI Chip Design and Simulation with Electric VLSI EDA Tool:Â L&T EduTech
- FEM - Linear, Nonlinear Analysis & Post-Processing:Â Coursera Project Network
- Power System Modelling and Fault Analysis:Â L&T EduTech
- Mathematics for Engineers:Â The Hong Kong University of Science and Technology
- Requirements Writing:Â UNSW Sydney (The University of New South Wales)
- Design of Transmission Line: Modelling and Performance:Â L&T EduTech
