• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Linear Temporal Logic

Results for "linear+temporal+logic"


  • Status: New
    New
    Status: Preview
    Preview
    U

    Universitat Politècnica de València

    Bases Matemáticas: Derivadas

    Skills you'll gain: Calculus, Applied Mathematics, Graphing, Algebra, Derivatives, Mathematical Theory & Analysis, Geometry

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Precalculus: Relations and Functions

    Skills you'll gain: Graphing, Data Analysis, R (Software), General Mathematics, Mathematical Modeling, Algebra, Applied Mathematics, Calculus

    4.7
    Rating, 4.7 out of 5 stars
    ·
    224 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free
    Free
    D

    DeepLearning.AI

    LangChain for LLM Application Development

    Skills you'll gain: LangChain, LLM Application, Large Language Modeling, Retrieval-Augmented Generation, Generative AI Agents, Prompt Engineering, Generative AI, Embeddings, AI Workflows

    4.7
    Rating, 4.7 out of 5 stars
    ·
    292 reviews

    Beginner · Project · Less Than 2 Hours

  • Status: Preview
    Preview
    S

    Shanghai Jiao Tong University

    Discrete Mathematics

    Skills you'll gain: Combinatorics, Graph Theory, Theoretical Computer Science, Mathematical Theory & Analysis, Advanced Mathematics, Network Analysis, Computational Thinking, Algorithms, Data Structures, Computer Science

    3.3
    Rating, 3.3 out of 5 stars
    ·
    202 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Essential Linear Algebra for Data Science

    Skills you'll gain: Linear Algebra, Applied Mathematics, Data Science, Data Analysis, Statistical Methods, Algebra, Numerical Analysis

    4.5
    Rating, 4.5 out of 5 stars
    ·
    189 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    T

    Tecnológico de Monterrey

    1.- El Cálculo - Modelo Lineal

    Skills you'll gain: Arithmetic, Mathematics Education, Mathematical Modeling, Digital pedagogy, Calculus, Applied Mathematics, Mathematical Theory & Analysis, Algebra, Graphing

    4.8
    Rating, 4.8 out of 5 stars
    ·
    1K reviews

    Mixed · Course · 1 - 4 Weeks

  • 2

    28DIGITAL

    System Validation: Automata and behavioural equivalences

    Skills you'll gain: Verification And Validation, Theoretical Computer Science, Software Systems, Communication Systems, Systems Analysis, System Design and Implementation, Embedded Systems

    4.4
    Rating, 4.4 out of 5 stars
    ·
    182 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    U

    Universitat Politècnica de València

    Basic Math: Numbers and Terminology

    Skills you'll gain: Taxonomy, Deductive Reasoning, Applied Mathematics

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Build & Adapt LLM Models with Confidence

    Skills you'll gain: Model Deployment, LLM Application, Large Language Modeling, System Monitoring, Scalability, Hugging Face, Cloud Deployment, Performance Tuning, MLOps (Machine Learning Operations), Prompt Engineering, Transfer Learning, AI Security, Applied Machine Learning, Application Security, Artificial Intelligence, API Design, Model Evaluation

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    É

    École Polytechnique

    Aléatoire : une introduction aux probabilités - Partie 2

    Skills you'll gain: Probability, Simulations, Advanced Mathematics, Probability & Statistics, Probability Distribution, Statistical Methods, Mathematical Theory & Analysis, Sampling (Statistics), Mathematical Modeling, Statistical Inference

    4.6
    Rating, 4.6 out of 5 stars
    ·
    40 reviews

    Mixed · Course · 1 - 3 Months

  • 2

    28DIGITAL

    Automated Reasoning: Symbolic Model Checking

    Skills you'll gain: Computational Logic, Theoretical Computer Science, Model Evaluation, Systems Analysis, Graph Theory, Verification And Validation, Algorithms, Data Structures

    4.7
    Rating, 4.7 out of 5 stars
    ·
    26 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    H

    Howard University

    Introduction to Linear Algebra and Python

    Skills you'll gain: Linear Algebra, Data Visualization, Applied Mathematics, NumPy, Jupyter, Mathematical Modeling, Data Science, Python Programming, Software Installation, Data Manipulation, Git (Version Control System)

    4.4
    Rating, 4.4 out of 5 stars
    ·
    16 reviews

    Beginner · Course · 1 - 4 Weeks

1…678…9

In summary, here are 10 of our most popular linear+temporal+logic courses

  • Bases Matemáticas: Derivadas: Universitat Politècnica de València
  • Precalculus: Relations and Functions: Johns Hopkins University
  • LangChain for LLM Application Development: DeepLearning.AI
  • Discrete Mathematics: Shanghai Jiao Tong University
  • Essential Linear Algebra for Data Science: University of Colorado Boulder
  • 1.- El Cálculo - Modelo Lineal: Tecnológico de Monterrey
  • System Validation: Automata and behavioural equivalences: 28DIGITAL
  • Basic Math: Numbers and Terminology: Universitat Politècnica de València
  • Build & Adapt LLM Models with Confidence: Coursera
  • Aléatoire : une introduction aux probabilités - Partie 2: École Polytechnique

Other topics to explore

Arts and Humanities
338 courses
Business
1095 courses
Computer Science
668 courses
Data Science
425 courses
Information Technology
145 courses
Health
471 courses
Math and Logic
70 courses
Personal Development
137 courses
Physical Science and Engineering
413 courses
Social Sciences
401 courses
Language Learning
150 courses

Coursera Footer

Skills

  • Accounting
  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • Human Resources (HR)
  • Microsoft Excel
  • Project Management
  • Python
  • SQL

Professional Certificates

  • Google AI Certificate
  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM AI Engineering Certificate
  • IBM AI Product Manager Certificate
  • IBM Data Science Certificate
  • Intuit Academy Bookkeeping Certificate

Courses & Specializations

  • AI Essentials Specialization
  • AI For Business Specialization
  • AI For Everyone Course
  • AI in Healthcare Specialization
  • Deep Learning Specialization
  • Excel Skills for Business Specialization
  • Financial Markets Course
  • Machine Learning Specialization
  • Prompt Engineering for ChatGPT Course
  • Python for Everybody Specialization

Career Resources

  • Career Aptitude Test
  • CAPM Certification Requirements
  • CompTIA A+ Certification Requirements
  • CompTIA Security+ Certification Requirements
  • Essential IT Certifications
  • Free IT Certifications and Courses
  • High-Income Skills to Learn
  • How to Learn Artificial Intelligence
  • PMP Certification Requirements
  • Popular Cybersecurity Certifications

Coursera

  • About
  • What We Offer
  • Leadership
  • Careers
  • Catalog
  • Coursera Plus
  • Professional Certificates
  • MasterTrack® Certificates
  • Degrees
  • For Enterprise
  • For Government
  • For Campus
  • Become a Partner
  • Social Impact
  • Free Courses
  • Share your Coursera learning story

Community

  • Learners
  • Partners
  • Beta Testers
  • Blog
  • The Coursera Podcast
  • Tech Blog

More

  • Press
  • Investors
  • Terms
  • Privacy
  • Help
  • Accessibility
  • Contact
  • Articles
  • Directory
  • Affiliates
  • Modern Slavery Statement
  • Do Not Sell/Share
Learn Anywhere
Download on the App Store
Get it on Google Play
Logo of Certified B Corporation
© 2026 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok